agambrahma
E.g.
> The task of writing a program ... is traditionally characterized by a specific set of disciplines.
> In essence, the programmer must define some sort of algorithm which will accomplish the objective, then map that algorithm onto the available resources of the computer using a specific set of tools — the programming language.
> Conversion of an idea from its conceptual form into its coded form involves the acceptance of *nearly brutal language restrictions* which result in strict formalization of the process.
> The programmer starts with an idea of WHAT he wants the system to do, then spends hours or months describing HOW it should be done.
> The generally-accepted complexity of this task has spawned some rather elaborate disciplines which reduce the probability of error.
I think the fact that LLMs are "eating up" so much of software development is that software development itself never properly matured. It remained in this form for decades longer than it should've (for various reasons)
One annoyance that I anticipate though: can we have a "separate identity" for these 'home devices' ?
[note: this is not a concern if you live alone]
I.e. when used in a family environment, you have to pick one person's identity as the 'main' identity ... but we'd rather have a 'home' person with whom we share stuff, whom we add on calendars etc, and then view THAT info on the home devices.
This sidesteps the whole "WHOSE calendar/reminders are showing" issue.
This is a problem on the homepod, and will only be exacerbated on the HomeView.
Or ... how do other folks solve this?
Nothing wrong with that, it's a good thing that stuff is discovered anew [as opposed to being lost/forgotten], but it did bring a smile to me.
And a scripting version: https://smelter.app/
It's less about browsers, and more about server/edge/local-agent runtimes.
Wasm lets you have
- sandboxing (untrusted actor code)
- clean snapshot/restore
- portability of actor across machines
If you don’t need those properties, then yes ... native is obviously the better choice
The value would be in actor processes, where you can delegate inference without paying the 'copy tax' for crossing the sandbox boundary.
So, less "inference engine" and more "Tmux for AI agents"
Think pausing, moving, resuming, swapping model backend.
I scoped the post to memory architecture, since it was the least obvious part ... will follow up with one about the actor model aspect.
What is different then is the combination of
1. UMA memory (and yes, iGPU had this, pre-M1) 2. enough bandwidth / GPU throughput for local inference 3. straightforward `makeBuffer(bytesNoCopy:)` path
So, the novelty isn't the shared memory itself, but the whole chain lining up to make the Wasm linear memory -> Metal-buffer approach practical + performant enough.
(and not saying there's some Apple Silicon magic here either ... it'd work anywhere there was UMA and no-copy host-pointer path)
Show HN: Try Gerbil Scheme in the Browser
Gerbil is a Scheme built on Gambit that compiles to native code via C. It has an actor-oriented concurrency model, a rich module system, and a batteries- included stdlib. I built a browser playground to make it easy to try without installing anything.Briefly: - A real REPL with state that persists between expressions - 10 guided examples from basic Scheme through pattern matching, hash...
Show HN: Patchwork – async collaborative image quilts
When my kids were young we'd flip restaurant menus over and fill a hand-drawn grid with crayon doodles, one square at a time. I wanted to turn that ritual into an app.Patchwork lets you create an NxN grid, share an invite link, and have collaborators claim and fill squares with images asynchronously.Squares are visible as they're filled: the quilt builds up slowly over hours or days, and...
Cannot place an order to ship (!)
UAPs as Coherent Field Entities
Speculative but grounded in real physics (I used ChatGPT/Gemini as thinking partners, then verified claims)
"EVM-compatible, built on Reth" => they're essentially building a private Ethereum fork with a fancy validator selection process.
Couldn't they just get these benefits (predictable fees, fast settlement) by ... running a database between these financial institutions?
If Stripe controls the validator set (even indirectly), then ... just a distributed database with extra steps, no?
Show HN: macOS Gemini/Cerebras text quick-chat app
https://www.janusapp.me/download
I've built a native macOS AI chat application that supports both Gemini and Cerebras providers through a single interface. You can choose between either depending on what each conversation needs, then select a model from either. Text only. Everything stays local to your mac.
Show HN: Coalton Playground – Type-Safe Lisp in the Browser
I built a browser-based REPL for Coalton, a statically typed Lisp dialect that merges Haskell’s type system with Common Lisp.Coalton gives you: - Algebraic data types, pattern matching, static guarantees - Full interoperability with dynamic Lisp functionsDemo & examples: https://coalton.appUnder the hood: Prebuilt SBCL cores with Coalton preloaded, running on a droplet
I have a Lamy Safari that I got in 2012 and works just as well today.
It's what I still recommend to anyone who asks what to get.
Just get the pen, with its cartridge, add more cartridges -- you can stay here and already you're way better than with most standard ball pens that you'd be using otherwise.
Then, get the small converter, plop it in, get your first bottle of ink -- and again you can stay here and enjoy your pen-and-ink experience for a long long time.
Now if you want to try a few different inks, do that next. Maybe get a second pen, see whether 'fine' or 'medium' sized nibs is more your thing.
Go further than that if you want, but you don't have to.
Either way, that first step is enough to improve your life a lot