You are viewing archived messages.
Go here to search the history.

Mariano Guerra 2024-10-07 09:06:21

This document serves as an overview to the Adobe Source Libraries (ASL). The goal of ASL is to develop the technology necessary to construct commercial applications by assembling generic algorithms through declarative descriptions.

The first two significant libraries in ASL are known as the property model library (Adam) and layout library (Eve). They are components for modeling the human interface appearance and behavior in a software application. The property model library and layout library are described along with related libraries.

Mariano Guerra 2024-10-07 09:08:15

SenseMap for Online Sensemaking

What are the challenges in online sensemaking?

Very often, users get lost when solving a task online, such as buying a camera or planning a holiday.

  • Where is that information I saw before?

  • How do I compare different options?

  • Where did I left off two days ago?

SenseMap captures sensemaking actions and visualise their relationships, making it easier to:

  • Find previous information,

  • Re-trace the thinking process,

  • Make sense of the topic,

  • And many other things ...

Jarno Montonen 2024-10-07 16:05:56

Lex Fridman interviewed the founders of maybe the #1 AI-programming tool atm. With a title like this, should be relevant to this community 🙂. Haven't had a chance to listen yet, but interested to hear thoughts in case any of you find couple hours for this: youtube.com/watch?v=oFfVt3S51T4

William Taysom 2024-10-08 05:39:12

I've had Cursor's website open in a tab for quite a while now and an hour into this conversation, I'm feeling more motivated to try it for their attention to human factors.

Greg Bylenok 2024-10-12 13:47:10

Fascinating interview. To avoid the 2.5 hour listen, this summary from a commenter on YouTube sums it up well:

T he result of this conversation is that you should think really hard about your next ai business idea. Don't just rush off and make a wrapper, but try to create a product that will use the ai tools we have today on a new level - know the steps of your user beforehand and make your product go through them instead of the user. The user saves time in the process. Now, what's the next step of improvement? do that! What's the third step? do that!

Jack Rusher 2024-10-08 13:56:35

So many nice ideas in this demo 🙂

youtube.com/watch?v=ehR-KIgw7T8

em 2024-10-10 05:50:14

This is incredible, would love to explore the design choices/implementation if any part is released

Jonathan Edwards 2024-10-08 14:50:11

“My simple answer is that we need better programming languages and less AI.” - Alan Blackwell

moralcodes.pubpub.org

📝 Moral Codes

Mariano Guerra 2024-10-09 08:06:58

I want an AI that removes code 🙂

Dany 2024-10-09 11:56:24

It's not that AI is good at writing code, it's us humans that really suck at it.

Mariano Guerra 2024-10-09 11:57:31

The apple doesn't fall far from the tree

Konrad Hinsen 2024-10-09 13:01:51

Does any of the coding copilots support requests such as "simplify this code base"?

Andreas S. 2024-10-10 08:35:59

Its nice to read something which is grounded in experience and a bit more breadth of knowledge.

Andreas S. 2024-10-10 08:37:47

And there it was again, this simplistic, techno optimistic -progressiv - view of the world.

Andreas S. 2024-10-10 08:41:21

I am a programmer myself. Some people might say "but technology is just a tool its neutral". This was and probably is also the way of thinking in blockchain related circles which inspired projects like Ethereum, Polkadot and Cardano.

Andreas S. 2024-10-10 08:44:13

Technology can not ever be alegal or apolitical. Heidegger(Frage zur Technik) makes very good points about how technology has ways to influence the mindset of people using the technology.

Andreas S. 2024-10-10 08:45:44

Going back to the oh but wiki was great and so is wikipedia, maybe the wiki tech had some potential benefits. But I doubt very much that the author has spend much time on the immense problems that exist within wikipedia.

Andreas S. 2024-10-10 08:46:58

Here are some thoughts on the - naive progress - narrative:

Andreas S. 2024-10-10 08:47:54

As long as people think technology can fix their problems, there will be more problems. The problem is the more capable technology you create the more severe the problems get you create.

Mariano Guerra 2024-10-10 08:56:04

Generalizing:

Going back to the oh but X was great and so is X', maybe the X had some potential benefits. But I doubt very much that the author has spend much time on the immense problems that exist within X'.

Mariano Guerra 2024-10-10 08:57:56

I came across this today and I think it's useful in many discussions and frustrations here and in general:

Everyone will not just

If your solution to some problem relies on “If everyone would just...” then you do not have a solution. Everyone is not going to just. At not time in the history of the universe has everyone just, and they’re not going to start now.

📝 Everyone will not just

If your solution to some problem relies on â€œIf everyone would just...” then you do not have a solution. Everyone is not going to just. At not time in the history of the universe has everyone just, an


Konrad Hinsen 2024-10-10 09:34:36

The article by the Consilience Project shared by Andreas S is very much worth reading. My TL;DR: whenever you think you make progress on something, look for undesirable side effects, in particular long-term ones.

Stefan Lesser 2024-10-08 22:01:48

Naturalizing relevance realization: why agency and cognition are fundamentally not computational

This is a psychology paper, so perhaps not what you usually consume, but I want to encourage you to give this a go. I think it’s super useful to leave our bubble from time to time and learn about what other disciplines’ perspectives on computation are. I’ll quote the summary at the end, but there is so much more building up to that that you don’t want to miss, certainly not before commenting on it. :)

The view that intelligence equals some kind of computational optimization is no longer tenable. It does not help us make sense of a large world. Therefore, claims that the study of intelligence is converging onto computational rationality as its ultimate foundation are not only premature, but outright misguided. Quite the opposite: we have shown here that the basic foundation of natural agency and cognition, and therefore of anything we could reasonably call “intelligence,” cannot be computational at all because it cannot be completely formalized. The dream of generating purely algorithmic systems able to think and act like human beings is and remains a pipe dream, because purely symbolic machines exist in small worlds, in which there is no problem of relevance to be solved.

Jack Rusher 2024-10-09 08:19:40

👎 This is like the dual of AI people who want to reduce everything to oversimplified computational models because they don’t know enough biology to realize how stupid that is.

Stefan Lesser 2024-10-09 11:00:47

Jack Rusher If one was so misguided to be motivated enough wanting to teach those AI people just enough biology to realize their stupidity, what would one do?

Paul Tarvydas 2024-10-09 11:01:28

I believe that computational thinking is a corner that we've painted ourselves into and is causing a great deal of self-flagellation and accidental complexity. I haven't finished reading the paper, but, it seems that this paper, as far as I've read, supports my belief. Does the paper go too far in the opposite direction by proposing new corner-y solutions in lieu of computational thinking?

Stefan Lesser 2024-10-09 11:14:42

Paul Tarvydas Oh, I think you’ll be very interested in finishing reading it, because I guess you will quickly make a connection between the adaptive dynamic process they suggest lies behind relevance realization (which makes it non-computational or rather non-formalizable) and independent parallel processing, which you seem to be interested in judging from several other posts here. Although I’d be particularly careful about that mapping, as of course our understanding of parallelism and concurrency is heavily colored by computational models.

Jack Rusher 2024-10-09 11:30:26

Stefan Lesser if I knew a short path to that goal, I’d have already written that essay 😆

One the other side, “computational” does not mean deterministic/formalizable — i.e. the fact that something is stochastic or heuristic doesn’t prevent it from being modeled via computation. Church/Kleene/Turing stands, though it’s clear that working strictly from a function call perspective is not always the right practical approach (which Paul Tarvydas has recently been trying to demonstrate).

Stefan Lesser 2024-10-09 11:43:27

Jack Rusher I think you should read it. I’d love to hear your thoughts on that taking into account what they write about exactly this. I think they are very thorough in their definition and use of these words.

The paragraph I chose to quote I did for grabbing attention. That’s what social media taught me to do. I realize that in your case that had the opposite effect, and I regret the error.

From what I know about you based on your contributions here, I don’t think you’d let your assessment from above stand after reading it. Or you would at least have a profound insight about why you’d still think so.

On the other hand I also totally understand if you don’t have time for reading dense 20 pages about something that may only be tangentially interesting to you.

Btw, I think a concise answer to the question I asked you would be, “Write exactly that paper.”

Konrad Hinsen 2024-10-09 13:07:26

I see a lot of miscommunication in this space due to people applying specific interpretations "computational" without checking that others' interpretation is sufficiently close.

This paper (which I read a while ago, so I don't remember the details) uses "computation" in the Church-Turing sense, and under that interpretation I agree with the authors. And there are indeed people who make weird claims about life being "just computation" based on the same interpretation, so the criticism is somewhat justified. But then, there are also people with a wider view of computation. I used to be one of them, but I have moved to using less loaded terms (e.g. "information processing") just in order to avoid misunderstandings.

Stefan Lesser 2024-10-09 15:07:37

Konrad Hinsen Can you say more about what exactly this misunderstanding is about? What makes you yearn for a different and less loaded term for computation or a wider view on it?

Stefan Lesser 2024-10-09 15:14:25

And am I the only one who thinks we’re discussing a minor point of that paper (which, I admit, I have pulled into the spotlight to grab attention), when the real insights are really about a pretty elaborate scientific model that brings us closer to understanding what differentiates minds from machines?

Konrad Hinsen 2024-10-09 18:17:46

I don't think it's a minor point because computation in the Church-Turing sense is by definition/construction the action of a machine. Brains do information processing, but it's neither fully symbolic, nor fully deterministic, and in particular not decoupled from an organism's agency which is related to it pursuing goals shaped by evolution. Can you still call that "computation"? Some people say yes, others say no. And then there are those, against which the authors argue, who deny there's a difference.

Jack Rusher 2024-10-10 15:08:50

I either read this paper as a preprint last year, or read a nearly identical set of arguments from the same authors. It is, in my opinion, a load of wooly metaphysics that doesn’t advance anyone’s understanding of anything. I put it in the same drawer as Wolfram’s philosophical stuff. Unfortunately, doing a proper job of explaining the ways in which it is not even wrong is a non-trivial undertaking (see en.wikipedia.org/wiki/Brandolini%27s_law). My best attempt at extremely lossy compression:

I am sympathetic to — and frequently make — related arguments with regards to “AI” claims for the current generation of machine learning systems. They are not agents, and non-agentic things are not intelligent in anything like the definition we use for biological entities. Any attempt to make something actually intelligent would start from drives (something more like what we call emotions ) than from simulating what many regard as intelligent activity (“write an essay based on a prompt”, &c). Failure to understand this is part of a long running tendency of clever humans who have been rewarded for “being smart” to over index on tasks for which they were rewarded rather than tasks that allowed 4 billion years of their ancestors to survive. On this general point I think I am in complete agreement with the authors.

But this doesn’t actually argue against the idea that biological entities are made of networks of parts undergoing processes, and that the behaviors of those parts (the nature of those processes) could be encoded in a different chemical substrate. Nor does it suggest that a mechanism that can model arbitrary processes (e.g. Turing machine) cannot model the specific processes going on inside the parts within those networks. The arguments they make against Deutsch-style pancomputationalism hinge on things like determinism/syntactic formal systems that feel completely irrelevant in this context (Turing machines can model stochastic processes, and they are “symbolic” only in the sense that we use symbols to understand/encode them).

Konrad Hinsen 2024-10-11 07:05:27

There's a fine metaphysical line between "Turing machines can model X" and "X is equivalent to a Turing machine". The authors of the paper argue against the second stance, adopting the opposite one. Personally, I am happy to remain uncommitted.

Estebe Sylvain 2024-10-11 07:14:38

Hello from a cognitive science perspective I can recommend this paper: link.springer.com/article/10.1007/s42113-024-00217-5

📝 Reclaiming AI as a Theoretical Tool for Cognitive Science

Computational Brain & Behavior - The idea that human cognition is, or can be understood as, a form of computation is a useful conceptual tool for cognitive science. It was a foundational...

Stefan Lesser 2024-10-11 10:23:52

Jack Rusher Thank you for elaborating on this. I appreciate you taking the time to write this. I am very interested in positions against what they argue to make up my mind of how profound their ideas really are, and being left to my own (and at this point fairly biased) interpretations probably means I’m at risk to overlook something.

So far, however, I only hear criticisms that seem to be rooted in the fear that the authors take some possibility away. I tend to see their attempt in differentiating algorithmic (both symbolic and stochastic) models from a totally different constraint-based dynamical systems approach that provides characteristics that the computational approach can’t as a revelatory insight that, while perhaps putting algorithmic approaches in their slightly more restricted place, doesn’t at all prevent those approaches from continuing to improve their approximations of reality. Which maps nicely to what’s happening in AI, mostly by increasing complexity in the form of increasing both data and compute. That probably also explains why I find their point about computation rather minor, Konrad Hinsen.

At the same time it paves the way for a new and different path of exploration that tries to integrate human cognition, which I personally find much more refreshing than the “If we just throw enough data and compute at it” approaches that are so en vogue in AI currently. There’s lots of space (and tons more resources, apparently) to build more and better models the “classic” way. I don’t think anyone is trying to take that away. However, there is also a refined understanding of an alternative path emerging, that seems (to me at least) to be based in good science.

Of course, I am an enthusiastic amateur at best, and my judgement of how good the science is means nothing to anybody else. But having spent a lot of time with some of the adjacent research, mainly relevance realization (Vervaeke) and constraint-based meta-stability in complex dynamical systems (Juarrero), there is something here that endlessly fascinates me. And it is so sad that it is so difficult to share that fascination and excitement with others.

Jack Rusher 2024-10-11 19:17:15

I seem to completely failed to communicate my point, for which I’m sorry. But I also don’t have enough bandwidth at present to make another pass at it. đŸ€·â€â™‚ïž

Kartik Agaram 2024-10-09 11:52:25
Lu Wilson 2024-10-09 12:18:22

see also the critiques and discussions present in this mastodon thread, particularly from @Alex McLean

mas.to/@TodePond/113270453514073487

Dave Liepmann 2024-10-10 11:55:17

Interesting interplay between the ethnographic and analytical approaches.

I see the motivation for looking at the tradition with an ethnographic lens but I'm not sure it's the most productive for producing workable definitions, since (almost?) by definition ethnographic differences originate in such minutiae of luck and squirrelly personal preference.

Examining individual dimensions of how liveness is achieved feels super productive though, in that they can be considered independently from the communities they originate in. This feels like a more FoC approach than splitting by social group — we're trying to bridge these communities and take the useful from each.

Christopher Shank 2024-10-11 00:26:07

“Why Computing Education is Critical for Democracy” by Mark Guzdial

m.youtube.com/watch?v=mj9PZHrIcgU

Personal Dynamic Media 2024-10-11 01:04:03

I was a little nervous watching this because although I love the subject of the talk, in the past I found Guzdial's book on Squeak incomprehensible.

However, this talk was interesting, cogent, and understandable.

Alex McLean 2024-10-11 16:06:11

Heh I haven't read the Squeak book but I've found Mark Guzdial's work on computing education really insightful and very well communicated

Mariano Guerra 2024-10-12 14:19:27
Kartik Agaram 2024-10-13 02:26:47

He's chosen a hybrid workflow between a notebook and the classic Emacs/Slime approach of sending regions of code to a REPL.

Kartik Agaram 2024-10-13 02:46:59

It's a really nice idea to have the environment take a snapshot of the world every time you see a comment, and then restore the snapshot the next time you're asked to execute code containing that comment.