Peano arithmetic is enough, because Peano arithmetic encodes computation

https://math.stackexchange.com/a/5075056/6708

36•btilly•15h ago•5 comments

SIMD-friendly algorithms for substring searching

http://0x80.pl/notesen/2016-11-28-simd-strfind.html

55•Rendello•4h ago•2 comments

Filedb: Disk-based key-value store inspired by Bitcask

https://github.com/rajivharlalka/filedb

53•todsacerdoti•5h ago•2 comments

TimeGuessr

https://timeguessr.com/

41•stefanpie•4d ago•13 comments

Implementing Logic Programming

https://btmc.substack.com/p/implementing-logic-programming

125•sirwhinesalot•10h ago•34 comments

The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More

https://www.wsj.com/tech/army-reserve-tech-executives-meta-palantir-796f5360

46•aspenmayer•18h ago•81 comments

"The Illusion of Thinking" – Thoughts on This Important Paper

https://hardcoresoftware.learningbyshipping.com/p/233-the-illusion-of-thinking-thoughts

20•rbanffy•3d ago•7 comments

Endometriosis is an interesting disease

https://www.owlposting.com/p/endometriosis-is-an-incredibly-interesting

125•crescit_eundo•9h ago•45 comments

Self-Adapting Language Models

https://arxiv.org/abs/2506.10943

140•archon1410•12h ago•37 comments

Liquid Glass – WWDC25 [video]

https://developer.apple.com/videos/play/wwdc2025/219

57•lnrd•3d ago•73 comments

The international standard for identifying postal items

https://www.akpain.net/blog/s10-upu/

52•surprisetalk•1d ago•11 comments

Student discovers fungus predicted by Albert Hoffman

https://wvutoday.wvu.edu/stories/2025/06/02/wvu-student-makes-long-awaited-discovery-of-mystery-fungus-sought-by-lsd-s-inventor

91•zafka•3d ago•63 comments

AI agent startups at Y Combinator’s Spring ’25 Demo Day

https://www.businessinsider.com/y-combinator-yc-demo-day-spring-ai-agent-startups-2025-6

17•aspenmayer•2h ago•14 comments

Shaping Light – Volumetric Lighting

https://blog.maximeheckel.com/posts/shaping-light-volumetric-lighting-with-post-processing-and-raymarching/

17•bj-rn•3d ago•0 comments

UK unis to cough up to £10M on Java to keep Oracle off their backs

https://www.theregister.com/2025/06/13/jisc_java_oracle/

72•miles•5h ago•48 comments

Green Tea Garbage Collector

https://github.com/golang/go/issues/73581

60•cirwin•3h ago•1 comments

How I uncovered a potential ancient Rome wine scam

https://phys.org/news/2025-06-uncovered-potential-ancient-rome-wine.html

3•samizdis•2d ago•0 comments

Caltrain official lived in secret apartment built illegally inside train station

https://sfstandard.com/2025/06/12/caltrain-employee-secret-apartment-burlingame-station-photos/

34•panic•2h ago•16 comments

$100 Hamburger

https://en.wikipedia.org/wiki/$100_hamburger

68•TMWNN•4h ago•17 comments

Whatever Happened to Sandboxfs?

https://blogsystem5.substack.com/p/whatever-happened-to-sandboxfs

44•zdw•2d ago•6 comments

I convinced HP's board to buy Palm and watched them kill it

https://philmckinney.substack.com/p/i-convinced-hps-board-to-buy-palm

535•AndrewDucker•13h ago•438 comments

If the moon were only 1 pixel: A tediously accurate solar system model (2014)

https://joshworth.com/dev/pixelspace/pixelspace_solarsystem.html

737•sdoering•23h ago•227 comments

100 years of Zermelo's axiom of choice: What was the problem with it? (2006)

https://research.mietek.io/mi.MartinLof2006.html

107•Bogdanp•17h ago•106 comments

Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh

https://omc345.substack.com/p/from-skeuomorphic-to-liquid-glass

233•lightningcable•12h ago•227 comments

The Hat, the Spectre and SAT Solvers (2024)

https://www.nhatcher.com/post/on-hats-and-sats/

87•todsacerdoti•16h ago•7 comments

When random people give money to random other people (2017)

https://quomodocumque.wordpress.com/2017/06/27/when-random-people-give-money-to-random-other-people/

92•munificent•15h ago•67 comments

Show HN: Tattoy – a text-based terminal compositor

https://tattoy.sh

169•tombh•17h ago•48 comments

Using computers more freely and safely (2023)

https://akkartik.name/freewheeling/

87•surprisetalk•14h ago•16 comments

OxCaml - a set of extensions to the OCaml programming language.

https://oxcaml.org/

285•lairv•17h ago•96 comments

High-speed fluorescence light field tomography of whole freely moving organisms

https://opg.optica.org/optica/fulltext.cfm?uri=optica-12-5-674&id=570897

39•PaulHoule•3d ago•2 comments

Peano arithmetic is enough, because Peano arithmetic encodes computation

SIMD-friendly algorithms for substring searching

Filedb: Disk-based key-value store inspired by Bitcask

TimeGuessr

Implementing Logic Programming

The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More

"The Illusion of Thinking" – Thoughts on This Important Paper

Endometriosis is an interesting disease

Self-Adapting Language Models

Liquid Glass – WWDC25 [video]

The international standard for identifying postal items

Student discovers fungus predicted by Albert Hoffman

AI agent startups at Y Combinator’s Spring ’25 Demo Day

Shaping Light – Volumetric Lighting

UK unis to cough up to £10M on Java to keep Oracle off their backs

Green Tea Garbage Collector

How I uncovered a potential ancient Rome wine scam

Caltrain official lived in secret apartment built illegally inside train station

$100 Hamburger

Whatever Happened to Sandboxfs?

I convinced HP's board to buy Palm and watched them kill it

If the moon were only 1 pixel: A tediously accurate solar system model (2014)

100 years of Zermelo's axiom of choice: What was the problem with it? (2006)

Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh

The Hat, the Spectre and SAT Solvers (2024)

When random people give money to random other people (2017)

Show HN: Tattoy – a text-based terminal compositor

Using computers more freely and safely (2023)

OxCaml - a set of extensions to the OCaml programming language.

High-speed fluorescence light field tomography of whole freely moving organisms

Kyber (YC W23) Is Hiring a Technical Account Manager

Peano arithmetic is enough, because Peano arithmetic encodes computation

SIMD-friendly algorithms for substring searching

Filedb: Disk-based key-value store inspired by Bitcask

TimeGuessr

Implementing Logic Programming

The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More

"The Illusion of Thinking" – Thoughts on This Important Paper

Endometriosis is an interesting disease

Self-Adapting Language Models

Liquid Glass – WWDC25 [video]

The international standard for identifying postal items

Student discovers fungus predicted by Albert Hoffman

AI agent startups at Y Combinator’s Spring ’25 Demo Day

Shaping Light – Volumetric Lighting

UK unis to cough up to £10M on Java to keep Oracle off their backs

Green Tea Garbage Collector

How I uncovered a potential ancient Rome wine scam

Caltrain official lived in secret apartment built illegally inside train station

$100 Hamburger

Whatever Happened to Sandboxfs?

I convinced HP's board to buy Palm and watched them kill it

If the moon were only 1 pixel: A tediously accurate solar system model (2014)

100 years of Zermelo's axiom of choice: What was the problem with it? (2006)

Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh

The Hat, the Spectre and SAT Solvers (2024)

When random people give money to random other people (2017)

Show HN: Tattoy – a text-based terminal compositor

Using computers more freely and safely (2023)

OxCaml - a set of extensions to the OCaml programming language.

High-speed fluorescence light field tomography of whole freely moving organisms