TuringTest

8 ms·

91.
by TuringTest 1y ago
> APL makes it really convenient to take a different tack. Instead of designing abstractions, we can carefully design our data to be easily operated on with simple expressions. Where you would normally see a library function or DSL term,
92.
by TuringTest 1y ago
Seeing that diamond metaphor, and then learning how APL sees "operators" as building "functions that are variants of other functions"(1), made me think of currying and higher-order functions in Haskell. The high regulari
93.
by TuringTest 1y ago
> If you mean LLMs, I actually view them as a regression with respect to basically every one of the "characteristics of notation" desired by the article. LLMs are not used for notation; you are right that they're not preci
94.
by TuringTest 1y ago
Developers are not deterministic either ;-) What matters is if the current output after each request complies with the given specifications, and if it's possible to solve the bugs until the code converges into stability.
95.
by TuringTest 1y ago
> how do you know that the code it just created actually does what you want it to I believe that problem can be solved, and will be with the correct new tools. I think a new type of "low-code" programming language will evolve t
96.
by TuringTest 1y ago
The classical answer of why more hardware resources are needed for the same tasks is that the new system allows for way much more flexibility. A problem domain can be thoroughly optimized for a single purpose, but then it can only be used f
97.
by TuringTest 1y ago
You can typically trick them into thinking that you're returning an object with a single method ;-)
98.
by TuringTest 1y ago
The article is deliberately ignoring the history of software, which in the 90's gave a very clear definition of "open source" by the OSI as a synonym of "free software", which also historically means the four freedo
99.
by TuringTest 1y ago
You've just described how laws actually work - but we have created modern judiciary system so that it will tend to produce outcomes considered fair by the majority. Algorithmic enforcement of justice without human deliberation of case-
100.
by TuringTest 2y ago
It could, but it doesn't want to. The whole MS Office dominance came into being by making sure other tools can't properly open documents created by MS tools; plus being able to open standard formats but creating small incompatibil
101.
by TuringTest 2y ago
> Yea - I know. Works much better to upsell "wifi enabled" A good marketer could give a catchy name to sell the advantages of that system too. Top of my head I can think of "near-fi", but certainly could be done bette
102.
by TuringTest 2y ago
You might enjoy the experimental editor Lapis. This Pantograph somewhat reminds me of that lightweight structure editor, though Lapis is able to find regularities on the fly without a need to follow a perfect tree structure, just by finding
103.
by TuringTest 2y ago
Excuse me for sounding rough, but - isn't this reinventing comp-sci, one step at a time? I learned about distributed incrementally -monotonic logs back at the late 90s, with many other ways to do guaranteed transactional database acti
104.
by TuringTest 2y ago
> As far as the market goes, I think part of the problem is that most industries are not true free markets, AKA: high competition, low barriers to entry. That sounds like the classic "if all you have is a hammer, all problems look
105.
by TuringTest 2y ago
I'd recommend The Fractal Organization ,[1] or any other about Viable System Models.[2] This framework based on cybernetic science provides good heuristics to both understand and design complex social structures. [1] https:/&#x2
106.
by TuringTest 2y ago
> chomsky would present examples like this for decades as untracktable by any algorithm, and as a proof that language is a uniquely human thing Generatove AI has all but solved the Frame Problem. Those expressions where intractable bc
107.
by TuringTest 2y ago
Haskell can be taught as recursive programming, learning about accumulator parameters and high order functions. A background in logic (which most programmers have to some degree) is more useful than an approach in math in that regard.
108.
by TuringTest 2y ago
> What does it matter if they are doing that with a mouse or with a keyboard? It happens to matter a lot, in large part by a cognitive principle that most programmers should know, but very few do: recognition vs recall. Text prompts in g
109.
by TuringTest 2y ago
*> Am I alone in thinking it is perfectly acceptable to ask a non-technical user to open a command line and type something?* You're not alone, but that doesn't make it right; rather it puts you in the large bucket of developers
110.
by TuringTest 2y ago
As the article explains, fold functions are a simpler way to think about monoids. So in recursive pure functional programming, many important iterative processes (pipelines, accumulators, machine states...) can be expressed as an applicatio
111.
by TuringTest 2y ago
The thing is that you are conflating CPU architectures with computer architectures; In academia they are treated as two different educational topics, for good reason. The first one covers the lowest level of how logic gates are physically w
112.
by TuringTest 2y ago
Yeah but that has something to do with 1) commercial hardware pipelinea being improved for decades in handling 3D polygons, and 2) graphical AI models are trained on understanding natural language in addition to rendering. I can imagine a n
113.
by TuringTest 2y ago
Yeah, that's the point. The initial preference function will guide the whole process; unless you change after each step the preference function used to compare, in which case it may never converge to a stable point. And even if it conv
114.
by TuringTest 2y ago
>> IOW, he thinks he's found a preference function that's strictly better than any other preference function >Yes - this seems like a major philosophical reach On the contrary, I see as containing a trivial contradict
115.
by TuringTest 2y ago
Bob Shaw's Night Walk has something like that as a major plot point. It's not aliens but humans, and it's not an 8-loop geometry, but without spoiling it too much it's safe to say that discovering how hyperspace works
116.
by TuringTest 2y ago
> While I applaud the OP for the initiative, if this ever takes off it will cause people to exploit the system in the following ways It's true that the metrics used in this story could lead to being exploited. But the value of the
117.
by TuringTest 2y ago
It's penguins all the way down
118.
by TuringTest 2y ago
It does have method dispatching, which is the same beast with a different name.
119.
by TuringTest 2y ago
A better analogy is a tapestry. Developers are like weavers, threading designs line by line on a substrate. Some task like "add a leaf to this flower's stem" can be done incrementally, but others like "move the flower on
120.
by TuringTest 2y ago
> despite astrology not being accurate or grounded in science, it can still be useful for some of the people some of the time. That's what an art form does. The problem with astrology is that it's framed as a science giving a

More ›