Breaking News
Saturday, September 19, 2026
Show HN: OpenWand – A mission to remove chat interface from working with AI https://ift.tt/yBXFn6e
Show HN: OpenWand – A mission to remove chat interface from working with AI Hi everyone, I'm working on OpenWand, an "LLM chat interface" that is optimized for AI co-work. Its function is to truly integrate AI into your workflow, so no more switching windows, no more copying context, less prompt typing. You can focus on working, not prompting. You can think of it as a free Chatgpt (the interface/frontend) alternative for your everyday work. I would be very grateful for any help, testing, feedback and/or bug reports. What's shown here is just my current implementation. But with your help and feedback, we can add or adjust features to further this mission. Thank you for reading. Website: https://sunnylich.github.io/OpenWand/#overview https://ift.tt/81mX5sI September 20, 2026 at 12:11AM
Show HN: Play DSS and DS2 dictation files online without uploading your audio https://ift.tt/70mtlkp
Show HN: Play DSS and DS2 dictation files online without uploading your audio https://ift.tt/RVQiTLc September 20, 2026 at 12:34AM
Show HN: KillSwitch – a programming language designed to be difficult for LLMs https://ift.tt/KmoF4BW
Show HN: KillSwitch – a programming language designed to be difficult for LLMs https://ift.tt/E6BzQeo September 19, 2026 at 11:40PM
Friday, September 18, 2026
Show HN: A model index from the AI Gateways https://ift.tt/GnDEPaf
Show HN: A model index from the AI Gateways https://ift.tt/q53zc1o September 18, 2026 at 10:56PM
Thursday, September 17, 2026
Show HN: Radio – a shared workspace for your agents and teammates https://ift.tt/NZ2t5pO
Show HN: Radio – a shared workspace for your agents and teammates An internal tool we've been using to coordinate coding agents running in parallel across different machines. Just share the channel link with your existing agent chats, and your agents can reply to you and to each other in real time. Would love feedback. https://ift.tt/Qra0gJc September 18, 2026 at 12:47AM
Wednesday, September 16, 2026
Show HN: AttaLambda: a language where types and data are made of untyped lambdas https://ift.tt/10N4ZGK
Show HN: AttaLambda: a language where types and data are made of untyped lambdas I made a programming language! I call it AttaLambda. The idea is this: a usable Lisp-shaped language where all the meaningful computation is done in untyped lambda calculus. Logic, arithmetic, data structures, control flow, even the types — all untyped lambdas. A small, explicit Racket layer sits at the boundary to handle the outside world, plus some macros for syntactic sugar. This is its story: A couple years ago, I wanted to play with untyped lambda calculus and go beyond where tutorials usually stop. They show booleans, numbers, arithmetic, maybe the Y-combinator — and then stop. I wanted them to keep going. So I started a project called All The Lambdas. Using Racket set to lazy, I used only one Racket construct for actual computation — lambda — and built integers, rationals, lists, binary digit-list number encodings, search algorithms, and more. Then I found Functional Programming Through Lambda Calculus by Greg Michaelson. In it, Michaelson sketches the bones of a language built in untyped lambda calculus, including a type system where typed objects are themselves pair functions containing a type tag and value. I found that intriguing and implemented and extended the idea, still entirely with untyped lambdas. I don't have a background in programming language theory, so I was figuring it out as I went. Then I stopped tinkering with it for a while. Recently I came back and thought: why not turn this into a real usable language with the help of coding agents? I reused most of All The Lambdas as the foundation. Thus AttaLambda was born. Some additional details: * Rat, its number type, uses binary digit-list encodings instead of Church numerals, so numbers scale with their number of binary digits rather than their value * errors are lambda-encoded values, not Racket exceptions, and propagate through the language like ordinary data * the Racket host only performs irreducibly external operations; even things like HTTP parsing, routing, and response construction stay in the pure lambda world * recursion uses lambda-calculus recursion: no loops or true self-reference, just the Y-combinator underneath * automated purity checks catch accidental cheating, like native computation leaking into the pure parts * syntax like multi-argument lambdas, let, cond, and list is just macro sugar that reduces to unary lambdas and application A couple code examples:
(short of print, every single thing here reduces to unary untyped lambdas) Factorial: #lang attalambda
(rec factorial n =
(cond
((eq n 0) 1)
(else (mult n (factorial (sub n 1))))))
(print (factorial 10))
Which prints: 3628800
Or an exact harmonic sum: #lang attalambda
(print
(reduce add 0
(map (lambda (n)
(unwrap-ok (div 1 n)))
(range 1 8))))
Which prints exactly: 363/140
As far as I know, no programming language combines all these features: Michaelson-style type tags built from untyped lambdas, exact rationals backed by binary digit lists, errors as lambda values, and real-world programs where almost all computation stays inside the lambda core. None of those pieces are individually new, but I don't know of another language combining them this way. Download:
https://ift.tt/0chvlpU Code:
https://ift.tt/8fEg7Pe Original All The Lambdas:
https://ift.tt/46XrPtQ https://attalambda.com September 14, 2026 at 08:21PM
Show HN: Restarted – a 2026 remake of the classic 2015 startup generator https://ift.tt/WTUOb60
Show HN: Restarted – a 2026 remake of the classic 2015 startup generator The original startup website generator by Tiff Zhang and Mike Bradley landed on Hacker News in April 2015 ( https://ift.tt/etYiSDP ) and has been one of my favorite little novelties of that era ever since. It perfectly captures the saturated colors, cliché hero shots, gimmicky names, buzzword-heavy slogans, and proudly hirsute team photos of the time. A lot has changed since then, so I thought it would be fun to make a contemporary remake: https://restarted.io/ By default you get the minimalist aesthetic and clean-cut faces of 2026. The classic 2015 look is still available — just click the link at the bottom of the page or change the “z” parameter in the URL to the more familiar “s”. The universe of partner sites and competing startups is just as expansive as it ever was. The original site is entirely client-side and requires downloading all of the data tables locally. It leans on a mix of jQuery 1.11.2, Bootstrap 3.3.2, and Font Awesome 4.3.0, and if you view the source, it instantly gives away all of its secrets. For restarted.io I replaced all of that with a server-side renderer written in Go, so this time view-source tells you nothing. There are many Easter eggs in there — see how many you can find before I write them up. My original goal was to stay faithful to the 2015 appearance, and that turned out to be a technical adventure. The original's sine-based random number generator is... the worst, and different implementations of sine give different results. The eventual solution was to extract the exact sine function from Chrome’s V8 engine, as vendored C behind cgo and as a line-by-line Go port that keeps cgo optional, so the seeds and results line up the way they used to. Both are checked against V8’s own test cases. Then I discovered a bug in the original code that made half of its vocabulary unreachable — the first half of the verb table and the second half of the noun table, exactly complementary, so nothing about the output ever looked truncated. My goal then shifted from remaking the generator as it was in 2015 to remaking the site as the authors intended it to be in 2015. Over the years several people asked for their photos to be removed, so the remake instead draws from a broad pool of era-appropriate AI-generated profiles. A perceptual hash helps keep everyone looking distinct, and there’s a bit of extra care to make sure the Wang Fangs of the world don’t appear as Irish lasses. The hero image pool is much larger now, and all the old Rio de Janeiro shots have been retired, though you’ll still recognize plenty of the 2015 photos. Have fun poking around! https://restarted.io/ September 15, 2026 at 03:34PM
Subscribe to:
Posts (Atom)