I'd rather read the prompt (claytonwramsey.com)

403 points by claytonwramsey 5h ago 288 comments

Design for 3D-Printing (blog.rahix.de)

351 points by q3k 6h ago 89 comments

Helmdar: 3D Scanning Brooklyn on Rollerblades (owentrueblood.com)

31 points by todsacerdoti 2h ago 2 comments

On Not Carrying a Camera – Cultivating memories instead of snapshots (hedgehogreview.com)

8 points by pseudolus 45m ago 1 comments

Dummy's Guide to Modern LLM Sampling (rentry.co)

152 points by nkko 7h ago 25 comments

Graceful Shutdown in Go: Practical Patterns (victoriametrics.com)

49 points by mkl95 3h ago 8 comments

Cyborg cicadas play Pachelbel's Canon (arstechnica.com)

19 points by tomrod 1d ago 5 comments

Thunderscope update: My take: Why open source is better (crowdsupply.com)

32 points by ChuckMcM 4d ago 6 comments

The complicated business of electing a Doge (theballotboy.com)

50 points by dr_dshiv 5h ago 25 comments

Typed Lisp, a Primer (alhassy.com)

55 points by todsacerdoti 7h ago 17 comments

An Alabama landline that keeps ringing (oxfordamerican.org)

249 points by bookofjoe 12h ago 84 comments

TScale – Distributed training on consumer GPUs (github.com)

111 points by zX41ZdbW 10h ago 23 comments

KaiPod Learning (YC S21) Is Hiring VP of Engineering (ycombinator.com)

1 points by amarkumar81 3h ago 0 comments

Why Archers Didn't Volley Fire (acoup.blog)

102 points by StefanBatory 1d ago 50 comments

Minimal Linux Bootloader (2018) (raw.githubusercontent.com)

53 points by 1vuio0pswjnm7 7h ago 15 comments

Evidence of controversial Planet 9 uncovered in sky surveys taken 23 years apart (space.com)

148 points by spchampion2 2d ago 120 comments

Orders of Infinity (terrytao.wordpress.com)

54 points by matt_d 6h ago 5 comments

Oberon Pi (pascal.hansotten.com)

158 points by tosh 15h ago 29 comments

In kids, EEG monitoring of consciousness safely reduces anesthetic use (news.mit.edu)

106 points by LorenDB 4d ago 66 comments

Technical analysis of TM SGNL, the unofficial Signal app Trump officials used (micahflee.com)

99 points by micahflee 2d ago 29 comments

Ask HN: Hackathons feel fake now – anyone else noticing this?

68 points by sepidy 3h ago 47 comments

Load-Store Conflicts (zeux.io)

75 points by ashvardanian 6h ago 5 comments

Critical Program Reading (1975) [video] (youtube.com)

24 points by blahaj 6h ago 3 comments

Show HN: Driverless print server for legacy printers, profit goes to open-source (printserver.ink)

36 points by ValdikSS 6h ago 11 comments

An appeal to companies doing AI (soatok.blog)

34 points by todsacerdoti 49m ago 22 comments

Reconstructing dopamine's link to reward (2024) (thetransmitter.org)

5 points by rkp8000 2d ago 1 comments

Show HN: EZ-TRAK Satellite Hand Tracking Suite (github.com)

36 points by benbojangles 8h ago 5 comments

What went wrong with wireless USB (oldvcr.blogspot.com)

305 points by goldenskye 22h ago 184 comments

The Speed of VITs and CNNs (lucasb.eyer.be)

61 points by jxmorris12 2d ago 14 comments

AI code is legacy code? (text-incubation.com)

133 points by krrishd 6h ago 135 comments

LLMs as Unbiased Oracles (jazzberry.ai)

26 points by MarcoDewey 5h ago 20 comments

People are losing loved ones to AI-fueled spiritual fantasies (rollingstone.com)

6 points by wzm 23m ago 0 comments

Predictions from the METR AI scaling graph are based on a flawed premise (garymarcus.substack.com)

44 points by nsoonhui 17h ago 22 comments

A visual feast of galaxies, from infrared to X-ray (esa.int)

73 points by giuliomagnifico 2d ago 3 comments

How Riot Games is fighting the war against video game hackers (techcrunch.com)

38 points by badmonster 5h ago 96 comments

When flat rate movers won't answer your calls (aphyr.com)

359 points by kevincox 1d ago 295 comments

Feather: Feather: A web framework that skips Rust's async boilerplate and jus (github.com)

35 points by todsacerdoti 8h ago 39 comments

A Texan who built an empire of ecstasy (texasmonthly.com)

86 points by wallflower 10h ago 82 comments

Why Flatpak apps use so much disk space on Linux (ostechnix.com)

60 points by dxs 9h ago 102 comments

pdfCropMargins – auto-detect and cut PDF margins for small-screen reading (github.com)

7 points by aragonite 6h ago 0 comments

Metagenomics test saves woman's sight after mystery infection (bbc.co.uk)

190 points by neversaydie 4d ago 66 comments

Pascal for Small Machines (pascal.hansotten.com)

107 points by ibobev 22h ago 20 comments

Show HN: VoltAgent – Open-Source Observability-First TS AI Agent Framework (github.com)

18 points by omeraplak 6h ago 2 comments

Anyon_e: A highly integrated, high end, open source laptop (github.com)

19 points by rishikeshs 6h ago 2 comments

Why I Am Not Going to Buy a Computer (1987) [pdf] (classes.matthewjbrown.net)

174 points by bookofjoe 1d ago 127 comments

Show HN: I taught AI to commentate Pong in real time (github.com)

187 points by pncnmnp 2d ago 50 comments

Tippy Coco: A Free, Open-Source Game Inspired by Slime Volleyball (tippycoco.com)

60 points by stefankuehnel 12h ago 15 comments

Brian Eno's Theory of Democracy (programmablemutter.com)

158 points by akkartik 19h ago 181 comments

Show HN: Free, in-browser PDF editor (breezepdf.com)

707 points by philjohnson 1d ago 147 comments

Reading Zanzibar (macwright.com)

19 points by surprisetalk 1d ago 2 comments

Typed Lisp, a Primer

55 todsacerdoti 17 5/4/2025, 5:17:35 PM alhassy.com ↗

Comments (17)

breadchris · 1h ago

I have really fallen in love with LISP recently, specifically clojure. A strong type system is really needed for it to make me feel like I can confidently develop with it.

vindarel · 40m ago

just get Common Lisp with this new Clojure collection and sequence API! https://github.com/dtenny/clj-coll

nextos · 7m ago

A modern CL that borrows ideas from Clojure, and with a strongly typed language (Coalton) is indeed very appealing!

gitroom · 10m ago

honestly i kinda love when deep dives like this pop up, makes me rethink stuff i thought i'd settled on - you think things ever get simple with lisp or it always stays quirky no matter how you do it

codr7 · 2h ago

The main issue I have with CLs type checking is the clunky syntax and the fact that it looks different in different contexts.

I made an attempt to fix that for eli: https://github.com/codr7/eli#type-checking

rjsw · 2h ago

Your eli looks clunky to me.

codr7 · 1h ago

Well, use something else.

And maybe ask yourself why you felt saying so was important to you.

dokyun · 1h ago

    (the number (+ 35 7))

is a lot less clunky than

    (+ 35 7)@Numeric

HexDecOctBin · 39m ago

One problem with Lisp is everything, including variable bindings, increases the nesting level making the code illegible. Last thing you want is for the type declaration to have their own nesting.

codr7 · 1h ago

That's your opinion, I don't agree. And the other reason is I can use the same syntax wherever I want type checking.

NikkiA · 2h ago

praising 'loop' in the same post as describing lisp as 'elegant' shakes head

kagevf · 1h ago

My opinion of LOOP started to change when I read (the much maligned) "Land of Lisp" and went over that "periodic" diagram in TFA. Seeing the elements of LOOP broken down like that went a long way to get me to overcome my original aversion to it.

codr7 · 2h ago

Some people seem to like it, and be very effective using it.

The problem is it's a walled garden, with its own quirky syntax; nothing that happens inside of loop is applicable outside, and the other way around.

shawn_w · 1h ago

I feel bad for people who haven't discovered ITERATE yet.

Jtsummers · 1h ago

ITERATE still breaks when you use `count` inside it, the built-in CL function. If they ever address that problem I'll get back to use it but having a time bomb in my programs isn't something I like.

Trivial example of breakage:

  (iter (for i from 1 to 10)
    (print (count i some-sequence)))

shawn_w · 48m ago

Breaks how? I'm on my phone, not a computer right now and can't test, but that should call the CL function - ITERATE uses `counting` for that particular operation to avoid conflicts; see https://iterate.common-lisp.dev/doc/Gathering-Clauses.html

Or is the documentation wrong?

Jtsummers · 38m ago

Apparently this is a quicklisp problem, they haven't updated the release since 2021 when it was still broken.