fp.

Mathlib Initiative: Roadmap

https://mathlib-initiative.org/roadmap/

1•tosh•35s ago•0 comments

Jank now has its own custom IR

https://jank-lang.org/blog/2026-05-08-optimization/

1•DASD•2m ago•0 comments

I designed a nibble-oriented CPU in Verilog to build a scientific calculator

https://github.com/gdevic/FPGA-Calculator

1•gdevic•3m ago•0 comments

Show HN: Find local farms near you with raw dairy, pasture eggs, and more

https://farm-to-door.com/

1•YoungGato•4m ago•0 comments

Peter Norvig Joins $4B Effort to Build Self-Improving AI at 'Recursive'

https://www.nytimes.com/2026/05/13/technology/recursive-superintelligence-funding-ai.html

2•alhazrod•5m ago•1 comments

Aperio Lang

https://aperio-lang.github.io/aperio/introduction.html

2•mmcclure•6m ago•0 comments

Anthropic Raising $30B More as AI Labs Absorb Majority of VC Funding

https://www.wsj.com/tech/ai/anthropic-raising-30-billion-more-as-ai-labs-absorb-majority-of-vc-fu...

1•JumpCrisscross•8m ago•0 comments

Hitchhiker's Guide to Logical Verification (2023 Edition)

https://lean-forward.github.io/hitchhikers-guide/2023/

1•tosh•8m ago•0 comments

Predictions for the Next 30 Years of Cybersecurity (2018)

https://utkusen.substack.com/p/predictions-for-the-next-30-years

1•utku1337•8m ago•0 comments

Nordstjernen Web Browser

https://github.com/nordstjernen-web/nordstjernen

3•roschdal•8m ago•0 comments

Free Energy from the Vacuum? NASA Pioneer Unveils Battery-Free CPU

https://thedebrief.org/free-energy-from-the-vacuum-warp-drive-pioneer-unveils-battery-free-micros...

1•alhazrod•9m ago•1 comments

Finland: Failures to deliver public warnings (Finnish)

https://yle.fi/a/74-20226095

1•fastforwardius•10m ago•1 comments

Ten Red Flags to Investigate When Evaluating AI Pentesting Vendors

https://xbow.com/blog/ai-pentest-vendors-red-flags

1•wslh•12m ago•0 comments

Infineon Unveils Auto Industry's First RISC-V MCU: Linux Era for Semiconductors

https://en.infomaxai.com/news/articleView.html?idxno=116421

1•fork-bomber•13m ago•0 comments

Traitorous Eight

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

1•o4c•13m ago•0 comments

Use Your ChatGPT Subscription in Zed

https://zed.dev/blog/chatgpt-subscription-in-zed

1•meetpateltech•13m ago•0 comments

Teens Helped Bring Malls Back to Life. Now They're Getting Banned.

https://www.wsj.com/business/retail/teens-helped-bring-malls-back-to-life-now-theyre-getting-bann...

2•bookofjoe•14m ago•1 comments

Best Business Ideas in Tamil Nadu – SMFG India Credit

https://www.smfgindiacredit.com/knowledge-center/business-ideas-in-tamil-nadu.aspx

1•saumyaraut11•15m ago•0 comments

Show HN: Sx – an open-source package manager for AI skills, MCPs, and commands

https://github.com/sleuth-io/sx

2•detkin•15m ago•0 comments

Ask HN: What happened to the movie "Pirates of the Silicon Valley"

2•acossta•16m ago•0 comments

The Download: China's AI drama factory and the WHO's missing health targets

https://www.technologyreview.com/2026/05/15/1137341/the-download-china-short-drama-ai-who-health-...

1•joozio•17m ago•0 comments

Ledger: Cost MenuBar for Claude Code

https://github.com/delta-hq/cc-ledger

1•tsv650•17m ago•1 comments

Berget Code – Agentic coding on European infrastructure

https://berget.ai/code

1•adunk•17m ago•0 comments

If a machine can think, why can it not also feel?

1•MCIAIR•21m ago•2 comments

We don't know why Malawi is poor

https://newsletter.deenamousa.com/p/we-dont-know-why-malawi-is-poor

3•alphabetatango•22m ago•2 comments

Bipedalism and brain expansion explain human handedness

https://www.ox.ac.uk/news/2026-05-15-why-is-almost-everyone-right-handed-the-answer-may-lie-in-ho...

2•geox•22m ago•0 comments

Blocking DDoS from scraper bots the easy way via HTTP-401 Basic Auth

https://blog.fraggod.net/2026/05/15/blocking-ddos-from-scraper-bots-the-easy-way-via-http-401-bas...

3•speckx•24m ago•1 comments

Toward Zero-Copy OCI Layers

https://amlalabs.com/blog/toward-zero-copy-oci-layers/

1•xfr•24m ago•0 comments

The Feed Is Fake

https://www.vulture.com/article/social-media-feeds-chaotic-good-projects-clipping.html

1•_tk_•26m ago•0 comments

Show HN: We made a back end agnostic SDK for Agent Memory

https://github.com/atomicstrata/atomicmemory-sdk

1•ethanjoffe•27m ago•2 comments

Mathlib Initiative: Roadmap

Jank now has its own custom IR

I designed a nibble-oriented CPU in Verilog to build a scientific calculator

Show HN: Find local farms near you with raw dairy, pasture eggs, and more

Peter Norvig Joins $4B Effort to Build Self-Improving AI at 'Recursive'

Aperio Lang

Anthropic Raising $30B More as AI Labs Absorb Majority of VC Funding

Hitchhiker's Guide to Logical Verification (2023 Edition)

Predictions for the Next 30 Years of Cybersecurity (2018)

Nordstjernen Web Browser

Free Energy from the Vacuum? NASA Pioneer Unveils Battery-Free CPU

Finland: Failures to deliver public warnings (Finnish)

Ten Red Flags to Investigate When Evaluating AI Pentesting Vendors

Infineon Unveils Auto Industry's First RISC-V MCU: Linux Era for Semiconductors

Traitorous Eight

Use Your ChatGPT Subscription in Zed

Teens Helped Bring Malls Back to Life. Now They're Getting Banned.

Best Business Ideas in Tamil Nadu – SMFG India Credit

Show HN: Sx – an open-source package manager for AI skills, MCPs, and commands

Ask HN: What happened to the movie "Pirates of the Silicon Valley"

The Download: China's AI drama factory and the WHO's missing health targets

Ledger: Cost MenuBar for Claude Code

Berget Code – Agentic coding on European infrastructure

If a machine can think, why can it not also feel?

We don't know why Malawi is poor

Bipedalism and brain expansion explain human handedness

Blocking DDoS from scraper bots the easy way via HTTP-401 Basic Auth

Toward Zero-Copy OCI Layers

The Feed Is Fake

Show HN: We made a back end agnostic SDK for Agent Memory

Even mild blows to the head disrupt the microbiome

Mathlib Initiative: Roadmap

Jank now has its own custom IR

I designed a nibble-oriented CPU in Verilog to build a scientific calculator

Show HN: Find local farms near you with raw dairy, pasture eggs, and more

Peter Norvig Joins $4B Effort to Build Self-Improving AI at 'Recursive'

Aperio Lang

Anthropic Raising $30B More as AI Labs Absorb Majority of VC Funding

Hitchhiker's Guide to Logical Verification (2023 Edition)

Predictions for the Next 30 Years of Cybersecurity (2018)

Nordstjernen Web Browser

Free Energy from the Vacuum? NASA Pioneer Unveils Battery-Free CPU

Finland: Failures to deliver public warnings (Finnish)

Ten Red Flags to Investigate When Evaluating AI Pentesting Vendors

Infineon Unveils Auto Industry's First RISC-V MCU: Linux Era for Semiconductors

Traitorous Eight

Use Your ChatGPT Subscription in Zed

Teens Helped Bring Malls Back to Life. Now They're Getting Banned.

Best Business Ideas in Tamil Nadu – SMFG India Credit

Show HN: Sx – an open-source package manager for AI skills, MCPs, and commands

Ask HN: What happened to the movie "Pirates of the Silicon Valley"

The Download: China's AI drama factory and the WHO's missing health targets

Ledger: Cost MenuBar for Claude Code

Berget Code – Agentic coding on European infrastructure

If a machine can think, why can it not also feel?

We don't know why Malawi is poor

Bipedalism and brain expansion explain human handedness

Blocking DDoS from scraper bots the easy way via HTTP-401 Basic Auth

Toward Zero-Copy OCI Layers

The Feed Is Fake

Show HN: We made a back end agnostic SDK for Agent Memory