Implementing Logic Programming (btmc.substack.com)

35 points by sirwhinesalot 2h ago 7 comments

Self-Adapting Language Models (arxiv.org)

74 points by archon1410 4h ago 21 comments

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

626 points by sdoering 15h ago 208 comments

The Claude Bliss Attractor (astralcodexten.com)

46 points by lukeplato 21h ago 33 comments

OxCaml - a set of extensions to the OCaml programming language. (oxcaml.org)

244 points by lairv 9h ago 70 comments

I convinced HP's board to buy Palm and watched them kill it (philmckinney.substack.com)

411 points by AndrewDucker 5h ago 355 comments

Whatever Happened to Sandboxfs? (blogsystem5.substack.com)

13 points by zdw 2d ago 1 comments

Student discovers fungus predicted by Albert Hoffman (wvutoday.wvu.edu)

39 points by zafka 2d ago 25 comments

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

41 points by walterbell 1h ago 19 comments

Jemalloc Postmortem (jasone.github.io)

697 points by jasone 22h ago 211 comments

Using computers more freely and safely (2023) (akkartik.name)

57 points by surprisetalk 6h ago 3 comments

Meta invests $14.3B in Scale AI to kick-start superintelligence lab (nytimes.com)

376 points by RyanShook 10h ago 390 comments

Frequent reauth doesn't make you more secure (tailscale.com)

1130 points by ingve 1d ago 477 comments

The Emperor's New LLM (dayafter.substack.com)

9 points by shmval 1h ago 2 comments

Show HN: Tattoy – a text-based terminal compositor (tattoy.sh)

144 points by tombh 9h ago 41 comments

EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf] (spcl.inf.ethz.ch)

10 points by matt_d 3d ago 0 comments

The Hat, the Spectre and SAT Solvers (2024) (nhatcher.com)

69 points by todsacerdoti 8h ago 4 comments

Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh (omc345.substack.com)

134 points by lightningcable 3h ago 149 comments

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

87 points by Bogdanp 8h ago 84 comments

When random people give money to random other people (2017) (quomodocumque.wordpress.com)

64 points by munificent 6h ago 46 comments

MUMPS (en.wikipedia.org)

54 points by surprisetalk 2h ago 52 comments

RISC-V in AI and HPC Part 1: Per Aspera Ad Astra? (eetimes.com)

3 points by fork-bomber 3d ago 0 comments

High-speed fluorescence light field tomography of whole freely moving organisms (opg.optica.org)

23 points by PaulHoule 3d ago 0 comments

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

272 points by jupiterglimpse 9h ago 160 comments

The concurrency trap: How an atomic counter stalled a pipeline (conviva.com)

81 points by delifue 6d ago 40 comments

U.S. Army bringing in big tech executives as lieutenant colonels (taskandpurpose.com)

15 points by cempaka 35m ago 5 comments

Simulink (Matlab) Copilot (github.com)

25 points by kaamuli 4h ago 4 comments

Kyber (YC W23) Is Hiring a Technical Account Manager (ycombinator.com)

1 points by asontha 11h ago 0 comments

A receipt printer cured my procrastination (laurieherault.com)

1124 points by laurieherault 1d ago 564 comments

Rendering Crispy Text on the GPU (osor.io)

383 points by ibobev 21h ago 121 comments

Thiings (thiings.co)

140 points by pentagrama 3d ago 63 comments

Luxe Game Engine (luxeengine.com)

138 points by garrypettet 8h ago 49 comments

Geometry from Quantum Temporal Correlations (arxiv.org)

42 points by ljosifov 10h ago 20 comments

Subtype Inference by Example (blog.polybdenum.com)

18 points by azhenley 3d ago 4 comments

iPhone 11 emulation done in QEMU (github.com)

363 points by 71bw 1d ago 30 comments

A dark adtech empire fed by fake CAPTCHAs (krebsonsecurity.com)

221 points by todsacerdoti 1d ago 113 comments

Radio pulses detected coming from ice in Antarctica (psu.edu)

50 points by geox 5h ago 20 comments

Show HN: Tritium – The Legal IDE in Rust (tritium.legal)

293 points by piker 1d ago 164 comments

Show HN: Qrkey – Offline private key backup on paper (github.com)

59 points by techwolf12 9h ago 35 comments

We found a germ that 'feeds' on hospital plastic – new study (theconversation.com)

9 points by PaulHoule 2h ago 3 comments

Introducing Sulka, the Hardened Yocto Distro (ejaaskel.dev)

7 points by FrankSansC 2h ago 1 comments

Slow and steady, this poem will win your heart (nytimes.com)

95 points by mrholme 18h ago 33 comments

Maximizing Battery Storage Profits via High-Frequency Intraday Trading (arxiv.org)

278 points by doener 1d ago 262 comments

Rust compiler performance (kobzol.github.io)

269 points by mellosouls 3d ago 238 comments

The Missing Manual for Signals: State Management for Python Developers (bui.app)

70 points by buibuibui 11h ago 33 comments

Worldwide power grid with glass insulated HVDC cables (omattos.com)

133 points by londons_explore 1d ago 129 comments

How I program with agents (crawshaw.io)

525 points by bumbledraven 4d ago 288 comments

Zero-Shot Forecasting: Our Search for a Time-Series Foundation Model (parseable.com)

64 points by tiwarinitish86 18h ago 22 comments

Wing and Walmart are bringing drone delivery to 100 new stores (theverge.com)

11 points by gmays 2h ago 15 comments

The crisis of zombie social science (forkingpaths.co)

9 points by fanf2 3h ago 0 comments

Show HN: I created an AI search engine for the Quebec Civil Code

4 Dontizi 4 6/12/2025, 1:03:56 AM codex-nuvia.ca ↗

Comments (4)

Dontizi · 1d ago

https://www.codex-nuvia.ca/app

newusertoday · 17h ago

not working says deployment not found

sandra_vu · 1d ago

that is so cool. Care to share a clickable link?

Dontizi · 1d ago

I don’t know why it’s not working, but here it is: https://www.codex-nuvia.ca/app