frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Type-constrained code generation with language models

https://arxiv.org/abs/2504.09246
127•tough•5h ago•48 comments

I’ve built an IoT device to let my family know when I’m in a meeting

https://nullonerror.org/2025/05/11/i-have-built-an-iot-device-to-let-my-family-know-when-i-am-in-a-meeting/
40•delduca•2d ago•22 comments

Flattening Rust’s learning curve

https://corrode.dev/blog/flattening-rusts-learning-curve/
115•birdculture•5h ago•97 comments

Branch Privilege Injection: Exploiting branch predictor race conditions

https://comsec.ethz.ch/research/microarch/branch-privilege-injection/
337•alberto-m•11h ago•132 comments

I failed a take-home assignment from Kagi Search

https://bloggeroo.dev/articles/202504031434
130•josecodea•1h ago•81 comments

Mipmap selection in too much detail

https://pema.dev/2025/05/09/mipmaps-too-much-detail/
14•luu•2d ago•3 comments

Google is building its own DeX: First look at Android's Desktop Mode

https://www.androidauthority.com/android-desktop-mode-leak-3550321/
241•logic_node•13h ago•202 comments

Build real-time knowledge graph for documents with LLM

https://cocoindex.io/blogs/knowledge-graph-for-docs/
102•badmonster•8h ago•16 comments

Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit

https://www.space.com/space-exploration/launches-spacecraft/failed-soviet-venus-lander-kosmos-482-crashes-to-earth-after-53-years-in-orbit
120•taubek•3d ago•75 comments

Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust)

https://github.com/HelixDB/helix-db/
136•GeorgeCurtis•10h ago•59 comments

Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses

169•bestwillcui•15h ago•92 comments

Airbnb is in midlife crisis mode

https://www.wired.com/story/airbnb-is-in-midlife-crisis-mode-reinvention-app-services/
89•thomasjudge•8h ago•148 comments

PDF to Text, a challenging problem

https://www.marginalia.nu/log/a_119_pdf/
246•ingve•13h ago•139 comments

Multiple security issues in GNU Screen

https://www.openwall.com/lists/oss-security/2025/05/12/1
354•st_goliath•16h ago•216 comments

How “The Great Gatsby” took over high school

https://www.newyorker.com/books/page-turner/how-the-great-gatsby-took-over-high-school
14•pseudolus•14h ago•2 comments

Replicube: A puzzle game about writing code to create shapes

https://store.steampowered.com/app/3401490/Replicube/
12•poetril•2h ago•0 comments

It Awaits Your Experiments

https://www.rifters.com/crawl/?p=11511
143•pavel_lishin•12h ago•48 comments

Fingers wrinkle the same way every time they’re in the water too long

https://www.binghamton.edu/news/story/5547/do-your-fingers-wrinkle-the-same-way-every-time-youre-in-the-water-too-long-new-research-says-yes
96•gnabgib•4h ago•36 comments

A visual history of the safety pin

https://museumofeverydaylife.org/current-exhibitions/a-visual-history-of-the-safety-pin
16•andsoitis•2d ago•0 comments

Map of Palaeohispanic Coins and Inscriptions

http://hesperia.ucm.es/consulta_hesperia/mapas.php
16•brendanashworth•4h ago•0 comments

DeepSeek’s founder is threatening US dominance in AI race

https://www.bloomberg.com/news/features/2025-05-13/deepseek-races-after-chatgpt-as-china-s-ai-industry-soars
52•blumpy22•3h ago•35 comments

Garbage collection of object storage at scale

https://www.warpstream.com/blog/taking-out-the-trash-garbage-collection-of-object-storage-at-massive-scale
52•ko_pivot•3d ago•8 comments

How (memory) safe is Zig? (2021)

https://www.scattered-thoughts.net/writing/how-safe-is-zig/
33•vortex_ape•6h ago•36 comments

Cardiac: A CARDboard Illustrative Aid to Computation [pdf]

https://www.cs.drexel.edu/~bls96/museum/CARDIAC_manual.pdf
25•throwaway71271•6h ago•13 comments

The world could run on older hardware if software optimization was a priority

https://twitter.com/ID_AA_Carmack/status/1922100771392520710
608•turrini•17h ago•572 comments

A tool to verify estimates, II: a flexible proof assistant

https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-estimates-ii-a-flexible-proof-assistant/
27•jjgreen•3d ago•0 comments

I learned Snobol and then wrote a toy Forth

https://ratfactor.com/snobol/
122•ingve•2d ago•31 comments

OpenTelemetry protocol with Apache Arrow

https://opentelemetry.io/blog/2025/otel-arrow-phase-2/
73•tanelpoder•10h ago•14 comments

Coffee for people who don't like coffee

https://ostwilkens.se/blog/coffee
47•ostwilkens•3d ago•130 comments

Membrane: Media Framework for Elixir

https://membrane.stream/
124•lawik•3d ago•36 comments
Open in hackernews

Cardiac: A CARDboard Illustrative Aid to Computation [pdf]

https://www.cs.drexel.edu/~bls96/museum/CARDIAC_manual.pdf
25•throwaway71271•6h ago

Comments

rootbear•5h ago
I was given one of these by my eighth grade science teacher, ca. 1970. I still have it. It helped spark my interest in computers.
JKCalhoun•5h ago
I go one of these as well. Sadly, I was too dense to "get it" at the time.

(It was Trek on the TRS-80 though that put the hook in me.)

raddan•4h ago
My father recently gave me a big pile of stuff from my childhood (cleaning out the attic) and this was mixed in. I think he must have acquired it during HIS teenage years, since he would have been in high school at the time. It was fun looking it over and it makes me wonder whether it might not be a bad idea to return to paper exercises for students in some form.
musicale•2h ago
Student-as-datapath is a great idea.
Prunkton•4h ago
> Fig. No.5 Flow chart of repairing a flat tire

> Start: Are you a girl?

man, I was not prepared for that lol

manithree•3h ago
This one is higher quality (https://content.instructables.com/F84/WG7G/K2XU5LKV/F84WG7GK...) and it's all kinda pointless without the "machine" https://www.instructables.com/CARDIAC-CARDboard-Illustrative...

I didn't get mine until about 1979 or 1980. Still have it, though.

musicale•2h ago
That instructables page is great because you can actually print out the cardboard components and build your own cardboard "computer" system!

The instructional manual probably makes a lot more sense with the actual system that it describes in hand.

As I see it, the genius of CARDIAC is this (emphasis mine):

> You will serve as CARDIAC's control unit by visually following its internal flow chart. While doing so, you will perform all of the operations described above.

Human-as-datapath is a fantastic idea for learning the basics of not just programming, but of microarchitecture. Once you start thinking, "hey, I could make a machine/circuit/etc. to do all of this stuff that I'm doing by hand" then you are on your way.

musicale•1h ago
> While there are a number of great CARDIAC simulators out there (see Building a CPU simulator in Python for instance) and even an FPGA implementation (Al Williams - Paper to FPGA) there is nothing like holding and operating a physical device.

"Paper to FPGA" sounds like a cool idea, though the point of CARDIAC seems to be that you perform the operations yourself (by carefully following its flowchart/control specification and manipulating the cardboard device.)

andrehacker•1h ago
FYI, the link to the Al Williams article on DrDobb's website from the Instructables page seems dead but.. Wayback machine to the rescue:

https://web.archive.org/web/20180306072013/https://www.drdob...

That article has a link to an Excel implementation which allows you to "perform the operations" yourself without having to cut and assemble the computer.

earleybird•36m ago
It give me the concrete basis for "being the computer" that I put to use a year or two later programming assembler on a PDP-8I

:-)

jleyank•3h ago
I suspect this had a two-step teaching process for neophytes... First, they'd play with the cardboard machine and get a feel for assembly programming, instruction processing, memory, etc. Once then, after a bit more hacking on things like Star Trek or 4x4x4 tic-tac-toe they'd set out to write an electronic version (virtual machine!) of the cardiac "computer". Debugging that process taught all sorts of relevant things.

And it vaguely felt like a PDP-8, and I suspect it also felt like whatever very early minicomputer that was available.

andrehacker•1h ago
Related, from 1959, many years before CARDIAC:

PAPAC-00 A 2-register, 1 bit, Fixed Instruction Binary Digital Computer

https://longstreet.typepad.com/thesciencebookstore/2010/11/a...

musicale•27m ago
Published in CACM no less. Also:

> (3) that the typical 12-year-old youngster has the interest, skill and basic knowledge necessary to build and understand simple working models of practically anything

Indeed.