news newest ask show jobs

Open Source @Github

fp.

Can a coding agent prove what real Rust code does, in Lean 4?

https://i5h.dev/benchmark/

1•syumei•48s ago•0 comments

Show HN: Snap – local first decision engine open weight

https://emnlmn.github.io/snap/

1•emnlmn•1m ago•0 comments

Show HN: Kuiper – a physics merge game in one HTML file, wrapped for iOS/Android

https://playkuiper.com/jugar

1•angrydadgames•1m ago•0 comments

Tencent signed a $7B deal to lease 100k AI chips from Oracle

https://qz.com/tencent-oracle-ai-chips-lease-deal-100126

1•01-_-•1m ago•0 comments

Show HN: Solarite – web components with no compilation and minimal DOM updates

https://eric-frost.github.io/solarite/

1•EricFrost•4m ago•0 comments

Kill the code review theater, keep the review

https://thenewstack.io/kill-code-review-theater/

1•tonkkatonka•4m ago•0 comments

Cannabis use is associated with increased risk of violence

https://www.cambridge.org/core/journals/psychological-medicine/article/cannabis-use-is-associated...

2•bookofjoe•5m ago•0 comments

Electrification Special Report 2026 [pdf]

https://iea.blob.core.windows.net/assets/1c696cc3-e251-46a9-8d4d-9edb2a4e806a/Electrification.pdf

2•gmays•6m ago•0 comments

Beware of the Meeting Minutes

https://daily.jstor.org/beware-of-the-meeting-minutes/

1•wawayanda•6m ago•0 comments

OKI Develops 124-Layer PCB Technology

https://www.oki.com/global/press/2025/z25006e.html

1•luu•6m ago•0 comments

AI coding agents leaked 13,000 screenshots, and nobody hacked them

https://thenewstack.io/coding-agents-leaked-screenshots/

1•Brajeshwar•7m ago•0 comments

Open-ended data is a bottleneck for AI systems tackling real knowledge work

https://www.fig.inc/blog/open-ended-data-is-a-bottleneck/

3•joehabeebs•7m ago•0 comments

United States Postal Service Creed

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

1•helsinkiandrew•8m ago•0 comments

AI agents inadvertently leak 13,000 internal screenshots from 300 organizations

https://www.tomshardware.com/tech-industry/cyber-security/ai-agents-inadvertently-leak-13-000-int...

2•rbanffy•8m ago•0 comments

Show HN: Helo – An email API from former Postmark folks

https://www.helohq.com

2•Archanian•8m ago•0 comments

Turbo Haskell

https://comonad.com/reader/2026/turbo-haskell/

2•pjmlp•9m ago•0 comments

Reddit will shut off RSS feeds on November 13

https://www.theverge.com/tech/1002788/old-reddit-ai-scraping

3•clircle•10m ago•1 comments

Show HN: DAW with Modular Synth, running in a browser using stock WebAudio nodes

https://seven.systems/xequence2/demo/demo-deploy/www/index.html

1•intrr•11m ago•0 comments

Ask HN: Is vibe coding bad for SaaS projects?

3•gsngsn•11m ago•1 comments

US-based Doxx raises $38M to create no log VPN

https://refreshmiami.com/news/doxx-net-raises-38m-to-put-ai-agents-on-a-shorter-leash/

4•TheWeiHu•11m ago•3 comments

Canary Islands live – Large, cool LLM-summarized news feed

http://canano.live/

1•rdn86•14m ago•0 comments

Site: *.si "Domain for Sale"

https://www.google.com/search?q=site%3A*.si+%22Domain+for+sale%22

5•novateg•14m ago•0 comments

Positron – Purpose-built hardware for the age of generative AI

https://www.positron.ai

2•peter_d_sherman•19m ago•0 comments

NFL standings if every game were replayed 4k times

https://luckadjusted.com/nfl

3•cppcrunch•20m ago•1 comments

CTE Can't Be Detected in the Living. New Brain Research Offers Hope.

https://www.nytimes.com/2026/09/22/science/cte-diagnosis-brain-injury.html

2•bookofjoe•20m ago•1 comments

Show HN: SundaeDB – Multimodal Analytics for Agents

https://sundaedb.com/

2•itrummer•21m ago•0 comments

Sriti Core – Local-first LLM router that cascades Ollama to cloud to frontier

https://github.com/sriti-ai/sriti-core

2•sudevs•21m ago•0 comments

SteamOS Ported to ARM Handhelds

https://www.notebookcheck.net/SteamOS-wasn-t-supposed-to-run-on-Snapdragon-based-Android-handheld...

3•wicket•22m ago•0 comments

Stop Recomputing Context: Introducing ContextCube

https://www.turingdata.io/blog/stop-recomputing-context-introducing-contextcube

2•simonpure•22m ago•0 comments

AI Agents Targeted U.S. and Canadian Government Websites

https://transluce.org/us-canada-gov

2•geox•23m ago•0 comments

Open in hackernews

China funding UK research and sending it to Beijing's spies, MI5 warns

https://www.bbc.com/news/articles/cwy7zrljp527o

4•snarky-comments•1h ago

Comments

jjgreen•59m ago

MI5 commits perjury in defending its Nazi staff, China warns.

https://www.bbc.co.uk/news/articles/c3j4jz07e2v8o

lenerdenator•56m ago

whataboutism.

password54321•51m ago

He was used to spy on extremist right wing groups. Spies becoming influenced or sometimes aligned is not unheard of.

BLKNSLVR•35m ago

> UK academics have contributed to CGTRI-funded projects on topics including AI, cyber-security, covert communications systems and steganography, which means hiding a secret message or file inside an ordinary message or object.

Aren't these things that are worthwhile research topics.

Covert communications systems and steganography are just things that intelligence agencies don't like, so they'd be suspicious of any research into them, funded by China or otherwise.

I find it strange that they wouldn't expect China to be wanting 'something' back since they're finding the research. In which case, why allow funding from China at all?