news newest ask show jobs

Open Source @Github

fp.

Show HN: Xu – A GC-free systems language

https://github.com/xulang-org/xu

1•qorm•46s ago•0 comments

Sandboxing Claude Code on Ubuntu

https://gshell.dev/blog/claude-code-sandbox/

1•gstoychev•3m ago•0 comments

Gas-Only Cars Fall Below 50% of Global New Car Sales for the First Time

https://www.gadgetreview.com/gas-only-cars-fall-below-50-of-global-new-car-sales-for-the-first-time

1•tosh•3m ago•0 comments

'Nightmare Scenario': Zero-Click Spyware Is Infecting Phones via Targeted Ads

https://www.wired.com/story/nightmare-scenario-zero-click-spyware-is-infecting-phones-via-targete...

1•GloVin•4m ago•0 comments

Will AI Grow the Pie or Just Hand It to Fewer People?

https://www.vincentschmalbach.com/will-ai-grow-the-pie-or-hand-it-to-fewer-people/

1•vincent_s•7m ago•0 comments

DesktopBrain – Organize your Mac files in one click, privately and effortlessly

https://apps.apple.com/us/app/desktopbrain-ai-organizer/id6772357589?mt=12

1•jimmy_lee•8m ago•0 comments

Varieties of Bayesianism [pdf]

https://jonathanweisberg.org/pdf/VarietiesvF.pdf

2•Tomte•11m ago•0 comments

US Air Force pilots used malware-laden USB drives to plan Afghanistan missions

https://www.theregister.com/security/2026/10/15/us-air-force-pilots-used-malware-laden-usb-drives...

1•nephihaha•12m ago•1 comments

Consider verbose 'usage' messages for infrequently used scripts

https://utcc.utoronto.ca/~cks/space/blog/sysadmin/ConsiderVerboseUsageMessages

1•ingve•12m ago•0 comments

Zero-Click Spyware Delivered via Targeted Ads: AdFection

https://citizenlab.ca/research/how-discover-tech-turned-targeted-ads-into-a-pipeline-for-spyware/

1•jcomp•12m ago•0 comments

Radio 4: And now an urgent SOS message

https://swling.com/blog/2012/09/radio-4-and-now-an-urgent-sos-message/

1•Bluestein•15m ago•0 comments

Pg_lake 3.5: Universal Iceberg REST Catalog Support for Postgres

https://www.snowflake.com/en/blog/engineering/pg-lake-iceberg-rest-catalog/

1•plaur782•15m ago•0 comments

What Is Jev Good For?

https://sayora.ai/many-hands/what-is-jev-good-for/

4•Bocajmai•16m ago•2 comments

Show HN: NjordDeploy – Agentless self-hosting engine with Docker and Podman

https://github.com/HenkVanHoek/njord-deploy

1•HenkVanHoek•18m ago•0 comments

Anthropic warns of AI 'worms' spreading across smart gadgets

https://techxplore.com/news/2026-10-anthropic-ai-worms-smart-gadgets.html

1•tagawa•18m ago•0 comments

How to stop underselling yourself

https://coached.com/essays/how-to-brag/

2•rohanm93•19m ago•0 comments

Sipeed announces MaixStation local AI computer

https://sipeed.com/maixstation/

1•seikixtc•19m ago•0 comments

WCAG 3: a different future for accessibility

https://tetralogical.com/blog/2026/10/15/wcag3/

1•robin_reala•19m ago•0 comments

Management in the Age of AI

https://staysaasy.com/management-in-the-age-of-ai/

2•thisismytest•22m ago•0 comments

Mastodon Stories for Systemd v262

https://0pointer.net/blog/mastodon-stories-for-systemd-v262.html

3•pekim•23m ago•0 comments

How Is Music Possible

https://www.henrikkarlsson.xyz/p/music

2•jger15•26m ago•0 comments

The Aesthetics of Quantum Computing

https://www.ft.com/content/f0c877e2-7f9c-4c5a-8b06-e2f9e659fa12

1•giuliomagnifico•28m ago•0 comments

How Researchers Made Contact with a Chinese AI Agent Fleet

https://quickchat.ai/post/chinese-ai-agent-fleet

3•piotrgrudzien•30m ago•0 comments

Laser Fault Injection on a Budget: RP2350 Edition

https://courk.cc/rp2350-challenge-laser

2•gregsadetsky•31m ago•0 comments

What's on That Access Port?

https://danielmangum.com/posts/whats-on-that-access-port/

1•hasheddan•32m ago•0 comments

Cat-Belling Problems

https://www.lesswrong.com/posts/SwYBLQvo8MddDcCwz/cat-belling-problems

1•amanverasia•33m ago•0 comments

Ling 3.1 Flash: 560B open-weight MoE, MIT license, 1M context

https://huggingface.co/inclusionAI/Ling-3.1-flash

1•joshcsimmons•34m ago•0 comments

How are you centralising AI for development at your company?

1•simianwords•40m ago•0 comments

Anthropic's Claude AI submitted false murder tip to Philadelphia police

https://arstechnica.com/tech-policy/2026/10/anthropics-claude-ai-submitted-false-murder-tip-to-ph...

2•vintagedave•40m ago•0 comments

Google Deep Review

https://research.google/blog/analyzing-technical-documents-with-deep-review/

1•vcf•42m ago•0 comments

Open in hackernews

Certified State Reductions and Semantics of Conjecture-Checking Turing Machines

https://github.com/google-deepmind/cryptids

1•lairv•45m ago

Comments

lairv•45m ago

Context: DeepMind released Turing machines for which the termination is equivalent to various conjectures being true/false. The equivalence is certified in Lean, and they also improved the minimum number of states required to encode certain theorems, e.g. Goldbach is now down to 21!!

Very relevant to the discussion people had a few days ago on why busy beaver numbers are interesting https://news.ycombinator.com/item?id=50070741