Implementing Logic Programming

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

62•sirwhinesalot•3h ago•15 comments

The Emperor's New LLM

https://dayafter.substack.com/p/the-emperors-new-llm

48•shmval•3h ago•22 comments

Self-Adapting Language Models

https://arxiv.org/abs/2506.10943

89•archon1410•6h ago•32 comments

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

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

665•sdoering•16h ago•212 comments

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

https://oxcaml.org/

253•lairv•11h ago•73 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

55•zafka•3d ago•32 comments

Whatever Happened to Sandboxfs?

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

18•zdw•2d ago•3 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

441•AndrewDucker•7h ago•383 comments

Meta invests $14.3B in Scale AI to kick-start superintelligence lab

https://www.nytimes.com/2025/06/12/technology/meta-scale-ai.html

389•RyanShook•12h ago•405 comments

RISC-V in AI and HPC Part 1: Per Aspera Ad Astra?

https://www.eetimes.com/risc-v-in-ai-and-hpc-part-1-per-aspera-ad-astra/

8•fork-bomber•3d ago•0 comments

Using computers more freely and safely (2023)

https://akkartik.name/freewheeling/

60•surprisetalk•7h ago•4 comments

The Hat, the Spectre and SAT Solvers (2024)

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

77•todsacerdoti•10h ago•4 comments

Show HN: Tattoy – a text-based terminal compositor

https://tattoy.sh

148•tombh•11h ago•42 comments

The International Standard for Identifying Postal Items

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

11•surprisetalk•1d ago•0 comments

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

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

91•Bogdanp•10h ago•89 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

151•lightningcable•5h ago•168 comments

How the Alzheimer's Research Scandal Set Back Treatment 16 Years (2022)

https://www.discovermagazine.com/the-sciences/false-alzheimers-study-could-set-research-back-16-years

58•walterbell•3h ago•31 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/

68•munificent•8h ago•48 comments

EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf]

https://spcl.inf.ethz.ch/Publications/.pdf/shen-ics-2025-edan.pdf

14•matt_d•3d ago•1 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

31•PaulHoule•3d ago•1 comments

The concurrency trap: How an atomic counter stalled a pipeline

https://www.conviva.com/platform/the-concurrency-trap-how-an-atomic-counter-stalled-a-pipeline/

84•delifue•6d ago•41 comments

MUMPS

https://en.wikipedia.org/wiki/MUMPS

65•surprisetalk•4h ago•60 comments

A Study of the Winston Red: The Smithsonian's New Fancy Red Diamond

https://www.gia.edu/gems-gemology/spring-2025-winston-red-diamond

7•bookofjoe•3h ago•1 comments

Ask HN: How do I give back to people helped me when I was young and had nothing?

288•jupiterglimpse•11h ago•163 comments

The Claude Bliss Attractor

https://www.astralcodexten.com/p/the-claude-bliss-attractor

63•lukeplato•23h ago•57 comments

Simulink (Matlab) Copilot

https://github.com/Kaamuli/Bloxi

28•kaamuli•6h ago•5 comments

Jemalloc Postmortem

https://jasone.github.io/2025/06/12/jemalloc-postmortem/

703•jasone•23h ago•214 comments

Frequent reauth doesn't make you more secure

https://tailscale.com/blog/frequent-reath-security

1135•ingve•1d ago•478 comments

Thiings

https://www.thiings.co/things

149•pentagrama•3d ago•67 comments

Geometry from Quantum Temporal Correlations

https://arxiv.org/abs/2502.13293

44•ljosifov•11h ago•20 comments

Implementing Logic Programming

The Emperor's New LLM

Self-Adapting Language Models

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

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

Student discovers fungus predicted by Albert Hoffman

Whatever Happened to Sandboxfs?

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

Meta invests $14.3B in Scale AI to kick-start superintelligence lab

RISC-V in AI and HPC Part 1: Per Aspera Ad Astra?

Using computers more freely and safely (2023)

The Hat, the Spectre and SAT Solvers (2024)

Show HN: Tattoy – a text-based terminal compositor

The International Standard for Identifying Postal Items

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

How the Alzheimer's Research Scandal Set Back Treatment 16 Years (2022)

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

EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf]

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

The concurrency trap: How an atomic counter stalled a pipeline

MUMPS

A Study of the Winston Red: The Smithsonian's New Fancy Red Diamond

Ask HN: How do I give back to people helped me when I was young and had nothing?

The Claude Bliss Attractor

Simulink (Matlab) Copilot

Jemalloc Postmortem

Frequent reauth doesn't make you more secure

Thiings

Geometry from Quantum Temporal Correlations

Implementing Logic Programming

The Emperor's New LLM

Self-Adapting Language Models

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

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

Student discovers fungus predicted by Albert Hoffman

Whatever Happened to Sandboxfs?

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

Meta invests $14.3B in Scale AI to kick-start superintelligence lab

RISC-V in AI and HPC Part 1: Per Aspera Ad Astra?

Using computers more freely and safely (2023)

The Hat, the Spectre and SAT Solvers (2024)

Show HN: Tattoy – a text-based terminal compositor

The International Standard for Identifying Postal Items

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

How the Alzheimer's Research Scandal Set Back Treatment 16 Years (2022)

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

EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf]

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

The concurrency trap: How an atomic counter stalled a pipeline

MUMPS

A Study of the Winston Red: The Smithsonian's New Fancy Red Diamond

Ask HN: How do I give back to people helped me when I was young and had nothing?

The Claude Bliss Attractor

Simulink (Matlab) Copilot

Jemalloc Postmortem

Frequent reauth doesn't make you more secure

Thiings

Geometry from Quantum Temporal Correlations

Roundtable (YC S23) Is Hiring a President / CRO