News for hackers. Stuff that matters.

alt0_

Re:Microprogramming: A New Way to Program on Wednesday September 25, 2024 @11:07AM (#41648353)
I think I understand what the author is trying to get at here (The gardening metaphor clicked with me in particular). The question asked is, "Why are functions not like programs?". For example...

- Why do programs get their own processes, but not functions?[0]

- Why can't I load and use any function from any package in my program at any time? Or run it from my shell? Genera had this.

- Why are functions organized into files?[1] you can have multiple functions in a file, which implies that they are somehow related. This creates structure, which is often unnecessary or downright confusing. The structure can only be hierarchical (files of functions or directories with files of functions). If I change the definition of a function somewhere (e.g. a REPL), it's textual representation will grow out of sync with the actual implementation. Smalltalk didn't have this.

- Why do we only ship collections of functions (programs)?[2]

- Why should all the functions in my program be written in the same language? And why is doing otherwise a pain in the ass everywhere except for Lisps?

This, to me, sounds like a lot of invisible coupling. We don't question it because it's always been this way, but I strongly believe (without having much data to prove it), that this prevents interoperability, and makes programs more bloated by increasing redundancy. I like to think that rather than reinventing "functions and function calls" or "the UNIX command line" the author described what OOP was supposed to be when it was just being rolled out in the 70s at Xerox PARC.

The project in OP addresses none of these, except maybe the bit about languages, but it did bring up an interesting point. For me, anyway.

[0] This one's easy, the process overhead on UNIX systems is a few kilobytes so you can't have everything be a process. In e.g. Erlang you can spawn a bajillion processes at will, so it's not that big of a deal. Still, AFAIK Erlang makes a process per actor rather than function.

[1] During development, I mean. You'd obviously need to put them into text files at some point. Making a Github repo and dumping a new Smalltalk image into it every day is not the way to develop software. Unless... \s

[2] scrapscript.org has an interesting take on this, where every expression (a "scrap") is content-addressable and can be replaced with it hash. They then store these expressions in "scrapyards" over IPFS. You could pull the same expression from different timeframes with built-in syntax. I think it's quite interesting.

Re:The Intelligence Age on Wednesday September 25, 2024 @10:15AM (#41647803)
> it all gets open sourced shortly after

Ah, of course. OpenAI, the company famous for open-sourcing it's developments. How could I forget?

Re:Why Does EmacsLisp Suck? on Monday August 26, 2024 @01:58AM (#41354410)
It is also graphical, and multi-threaded!
Re:The TrueType font system is also a byte code VM on Sunday August 04, 2024 @10:05AM (#41153631)
HN really needs to introduce some rules regarding twitter links. Not everyone can access them, not everyone wants to, but they're increasingly prevalent on the front page.
Re:Adequate Sleep Is Necessary for Sanity and Success on Sunday July 14, 2024 @10:14AM (#40961095)
Maybe he's just one of those lucky people that only need 4-5 hours of sleep every night ¯ \ _ ( ツ ) _ / ¯
Re:Sei pays out $2M bug bounty on Monday June 17, 2024 @11:00PM (#40713672)
It may just be a matter of where they live. I got used to sending money in btc to my grandmother because the countries we live in currently happened to be at war with each other and bank transfers were not an option.
Re:Where did you go, Ms. Pac-Man? on Monday June 17, 2024 @09:41PM (#40713242)
Not from US and this is the first time of my life I even heard of Ms. Pac-Man
Re:Fifty Years of Diff on Monday June 17, 2024 @08:54PM (#40712956)
> Computer Science seems unable to invent new things since 1980

Can you tell me more about this and why you think that's true?

Keep in mind that modern Emacs also has tabs out of the box, but really they're what other software calls 'workspaces'.
Re:My Favourite Gleam Feature on Wednesday June 12, 2024 @07:55AM (#40657040)
Forth as well
Why did it work, though? Wouldn't the disks die halfway through the game? Did they end up cutting / optimizing the feature?
Re:Google Search Is Now a Giant Hallucination on Friday May 24, 2024 @01:49PM (#40468624)
I think one of the techniques underexplored in all the hype is guiding the evaluation process depending on the context. I.e. if you're generating code, it has to satisfy the parser for the given language. If the token is unsatisfactory, throw it out and try another one. Thought chains could be generated in a similar way (you can do so with special tokens, see "Recursion of Thought").

But yeah overall GenAI tends to remain hype-over-substance.

Re:A Road to Common Lisp on Wednesday May 22, 2024 @03:31AM (#40438268)
It's pretty raw and buggy still, but if you're already a cl hacker, you'll certainly enjoy it.

It is missing most useful Emacs features but also seems to have some of it's own, particularly for CL.

Re:Truffle ISLISP on Tuesday May 14, 2024 @03:51PM (#40359406)
Does that book happen to have a particular image of a wizard on it's cover? :)
I didn't get the reference, but thanks for the heads-up.
Re:What happened to 3D midair plasma displays? on Tuesday May 14, 2024 @01:08PM (#40357415)
I'm incredibly curious as to what that even looks like. Where do you study? Can you give us a photo?
Re:Most of Europe is glowing pink under the aurora on Saturday May 11, 2024 @11:58AM (#40328911)
Feel free to go outside in headphones and put this[0] on.

[0] https://www.youtube.com/watch?v=086uhG3Rf3U

Re:Bostrom's Deep Utopia on Sunday April 21, 2024 @10:54AM (#40106214)
TBH even uttering the words "cancel culture" on the internet nowadays is enough to make me physically cringe.
Re:Bostrom's Deep Utopia on Sunday April 21, 2024 @10:51AM (#40106187)
> Nick Bostrom’s new tome … has a great cover

True, but I wish they went with the Sisyphus one.

For context, they did a survey on the cover of the book, and one of them features Sisyphus, on top of the hill, with his boulder. I found it captures the topic of the book quite well.

Re:Self-reasoning tokens: teaching models to think ahead on Saturday April 20, 2024 @06:41PM (#40101658)
> definately

relevant xkcd: https://xkcd.com/2871/

Re:Htmx and the Rule of Least Power on Saturday April 13, 2024 @05:47AM (#40021820)
Not writing javascript is a good enough reason for me tbh. Makes the world a better place.