fp.

1•afrazullal•10s ago

ESC: Next-gen security where secrets erase upon observation, verified with TLA+

https://drive.google.com/file/d/1Rd9xLYwaS-YmP6OVtR_xx30RbGP6_hsd/view?usp=sharing

1•shogotoda•16s ago•0 comments

Germany's Fuggerei is oldest social housing project (2022)

https://www.dw.com/en/germanys-fuggerei-the-worlds-oldest-social-housing-project/a-58928076

1•Tomte•1m ago•0 comments

The Year in Computer Science

https://www.quantamagazine.org/the-year-in-computer-science-20251216/

1•utopcell•3m ago•0 comments

Rust: Using String and andstr in your APIs

https://dx13.co.uk/articles/2024/02/24/rust-string-and-str/

1•ashvardanian•4m ago•0 comments

Attempting to explain the higher costs of infrastructure in the Anglosphere

https://www.niskanencenter.org/the-problem-factory-preemptive-risk-aversion-in-infrastructure-pla...

2•throw0101c•5m ago•2 comments

You have reached the end of the internet

https://hmpg.net/

2•raytopia•12m ago•0 comments

Conductor: Context-driven development for Gemini CLI

https://developers.googleblog.com/conductor-introducing-context-driven-development-for-gemini-cli/

1•simonpure•12m ago•0 comments

Calm: Consistency as Logical Monotonicity

http://bloom-lang.net/calm/

1•forks•13m ago•0 comments

An Empirical Study of Bugs in the rustc Compiler (OOPSLA 2025) [video]

https://www.youtube.com/watch?v=c-7Mx3Fkzp0

1•matt_d•14m ago•0 comments

Bloom: an open source tool for automated behavioral evaluations

https://www.anthropic.com/research/bloom

1•Garbage•15m ago•0 comments

Built a content system that 6x'd traffic. Turning it into product. Want to test?

1•zchmael•17m ago•0 comments

Ask HN: Looking for contributors and maintainers for a open source launcher

1•yongdohyun•18m ago•0 comments

I got ripped off by YouTube "coach" using AI and how you might avoid it [video]

https://www.youtube.com/watch?v=l8yvsHFbzMI

1•zdw•23m ago•0 comments

Wisconsin town will use accessible voting machines after federal lawsuit

https://www.votebeat.org/wisconsin/2025/12/19/thornapple-agrees-to-use-voting-machines-after-bann...

1•hn_acker•26m ago•0 comments

Cto.new launches new benchmark using real end-to-end coding tasks

https://cto.new/bench

1•Perefin•26m ago•0 comments

Ex-ASML workers reverse-engineered state of the art chipmaking machines in China

https://www.pcgamer.com/hardware/processors/ex-asml-workers-reverse-engineered-state-of-the-art-c...

2•manidoraisamy•26m ago•0 comments

Show HN: Dragon (programming lang, also known as Dragonlang)

https://github.com/eotter-beep/dragonlang

1•telui•27m ago•0 comments

Show HN: Simple snow simulation in C using raylib

https://github.com/Sieep-Coding/snow-simulation

1•sieep•30m ago•0 comments

Online Gaming's Final Boss: The Copyright Bully

https://www.eff.org/deeplinks/2025/12/online-gamings-final-boss-copyright-bully

2•hn_acker•30m ago•1 comments

Show HN: Movely – Auto-scheduled micro-breaks based on your calendar free slots

https://movelyapp.com/

1•olivdums•35m ago•0 comments

Pure Silicon Demo Coding: No CPU, No Memory, Just 4k Gates

https://www.a1k0n.net/2025/12/19/tiny-tapeout-demo.html

15•a1k0n•36m ago•0 comments

Clean, Limitless Energy Exists. China Is Going Big in the Race to Harness It

https://www.nytimes.com/2025/12/13/climate/china-us-fusion-energy.html

2•bookofjoe•37m ago•1 comments

AI Code assistants has made completing side projects so easy

1•akmittal•39m ago•0 comments

Tell HN: PSN Stealth ID Verification

1•A4ET8a8uTh0_v2•39m ago•0 comments

Show HN: Sigma Runtime – 550-cycle identity stability benchmark on GPT-5.2

https://github.com/sigmastratum/documentation/blob/main/sigma-runtime/SR-EI-037/SIGMA_Runtime_0_3...

1•teugent•42m ago•0 comments

Tolkien's Secret: Why Lord of the Rings Outlasted Every Imitator

https://medium.com/@gp2030/tolkiens-secret-why-lord-of-the-rings-outlasted-every-imitator-c82e4ad...

3•light_triad•45m ago•1 comments

Construct in 2025: Year in Review

https://www.construct.net/en/blogs/construct-official-blog-1/construct-2025-year-review-1898

1•AshleysBrain•46m ago•0 comments

Unix v4 tape dumped and booted

https://oldbytes.space/@flexion/115752573933914452

2•homarp•47m ago•2 comments

Show HN: RAXE Open Source – LLM Prompt Threat Detection (EmbeddingGemma L2)

https://github.com/raxe-ai/raxe-ce

1•raxe•47m ago•1 comments

ESC: Next-gen security where secrets erase upon observation, verified with TLA+

Germany's Fuggerei is oldest social housing project (2022)

The Year in Computer Science

Rust: Using String and andstr in your APIs

Attempting to explain the higher costs of infrastructure in the Anglosphere

You have reached the end of the internet

Conductor: Context-driven development for Gemini CLI

Calm: Consistency as Logical Monotonicity

An Empirical Study of Bugs in the rustc Compiler (OOPSLA 2025) [video]

Bloom: an open source tool for automated behavioral evaluations

Built a content system that 6x'd traffic. Turning it into product. Want to test?

Ask HN: Looking for contributors and maintainers for a open source launcher

I got ripped off by YouTube "coach" using AI and how you might avoid it [video]

Wisconsin town will use accessible voting machines after federal lawsuit

Cto.new launches new benchmark using real end-to-end coding tasks

Ex-ASML workers reverse-engineered state of the art chipmaking machines in China

Show HN: Dragon (programming lang, also known as Dragonlang)

Show HN: Simple snow simulation in C using raylib

Online Gaming's Final Boss: The Copyright Bully

Show HN: Movely – Auto-scheduled micro-breaks based on your calendar free slots

Pure Silicon Demo Coding: No CPU, No Memory, Just 4k Gates

Clean, Limitless Energy Exists. China Is Going Big in the Race to Harness It

AI Code assistants has made completing side projects so easy

Tell HN: PSN Stealth ID Verification

Show HN: Sigma Runtime – 550-cycle identity stability benchmark on GPT-5.2

Tolkien's Secret: Why Lord of the Rings Outlasted Every Imitator

Construct in 2025: Year in Review

Unix v4 tape dumped and booted

Show HN: RAXE Open Source – LLM Prompt Threat Detection (EmbeddingGemma L2)

Benchmarking Kdb+, ClickHouse, QuestDB, TimescaleDB, and InfluxDB with TSBS

ESC: Next-gen security where secrets erase upon observation, verified with TLA+

Germany's Fuggerei is oldest social housing project (2022)

The Year in Computer Science

Rust: Using String and andstr in your APIs

Attempting to explain the higher costs of infrastructure in the Anglosphere

You have reached the end of the internet

Conductor: Context-driven development for Gemini CLI

Calm: Consistency as Logical Monotonicity

An Empirical Study of Bugs in the rustc Compiler (OOPSLA 2025) [video]

Bloom: an open source tool for automated behavioral evaluations

Built a content system that 6x'd traffic. Turning it into product. Want to test?

Ask HN: Looking for contributors and maintainers for a open source launcher

I got ripped off by YouTube "coach" using AI and how you might avoid it [video]

Wisconsin town will use accessible voting machines after federal lawsuit

Cto.new launches new benchmark using real end-to-end coding tasks

Ex-ASML workers reverse-engineered state of the art chipmaking machines in China

Show HN: Dragon (programming lang, also known as Dragonlang)

Show HN: Simple snow simulation in C using raylib

Online Gaming's Final Boss: The Copyright Bully

Show HN: Movely – Auto-scheduled micro-breaks based on your calendar free slots

Pure Silicon Demo Coding: No CPU, No Memory, Just 4k Gates

Clean, Limitless Energy Exists. China Is Going Big in the Race to Harness It

AI Code assistants has made completing side projects so easy

Tell HN: PSN Stealth ID Verification

Show HN: Sigma Runtime – 550-cycle identity stability benchmark on GPT-5.2

Tolkien's Secret: Why Lord of the Rings Outlasted Every Imitator

Construct in 2025: Year in Review

Unix v4 tape dumped and booted

Show HN: RAXE Open Source – LLM Prompt Threat Detection (EmbeddingGemma L2)