frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

The Birth of Prolog (1996)

https://dl.acm.org/doi/10.1145/234286.1057820
30•Jtsummers•3d ago

Comments

classichasclass•42m ago
I actually asked Dr Colmerauer once if the original program code had survived, but sadly he did not believe any of it was still around.

OpenAI and Hugging Face address security incident during model evaluation

https://openai.com/index/hugging-face-model-evaluation-security-incident/
426•mfiguiere•2h ago•273 comments

FreeInk: Open ecosystem for e-readers

https://freeink.org/
305•FriedPickles•3h ago•68 comments

A digestion of the Jacobian conjecture counterexample

https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/
58•jeremyscanvic•1h ago•16 comments

Gemini 3.6 Flash, 3.5 Flash-Lite, and 3.5 Flash Cyber

https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-3-6-flash-3-5-flas...
554•logickkk1•7h ago•445 comments

Long presumed dead, a thriving coral reef is discovered in West Africa

https://e360.yale.edu/digest/benin-coral-reef
263•speckx•6h ago•48 comments

Jack Dorsey launches Buzz to combine team chat, AI agents and Git hosting

https://runtimewire.com/article/jack-dorsey-block-buzz-team-chat-ai-agents-git
185•ryanmerket•5h ago•175 comments

'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling

https://www.techradar.com/vpn/vpn-privacy-security/vpns-are-lawful-technical-tools-says-eu-court-...
247•healsdata•2h ago•39 comments

Apple defeats liability for not scanning iCloud for CSAM

https://blog.ericgoldman.org/archives/2026/07/apple-defeats-liability-for-not-scanning-icloud-for...
295•speckx•8h ago•251 comments

"Drawing" the Mona Lisa with GPT-5.6, Claude, Gemini, and Grok

https://www.tryai.dev/blog/ai-drawing-arena-colored-pencils-claude-gpt-grok
25•hershyb_•1h ago•9 comments

The Birth of Prolog (1996)

https://dl.acm.org/doi/10.1145/234286.1057820
30•Jtsummers•3d ago•1 comments

Laguna S 2.1

https://poolside.ai/blog/introducing-laguna-s-2-1
184•rexledesma•5h ago•39 comments

Apple Private Cloud Compute SoC 3 audit reports

https://support.apple.com/guide/certifications/apple-private-cloud-compute-soc-3-audit-apc95a31b9...
75•throwfaraway4•4h ago•31 comments

Qwen-Image-3.0: Rich Content, Authentic Details, Deep Knowledge

https://qwen.ai/blog?id=qwen-image-3.0
524•ilreb•13h ago•208 comments

PCjs Machines

https://www.pcjs.org/
180•naves•8h ago•21 comments

Celestrak adds catalog digit, fixes Y2K bug

https://www.celestrak.org/satcat/
6•1970-01-01•5d ago•0 comments

Show HN: Justif – Knuth-Plass justification and microtypography for the web

https://justif.lyall.co/
39•lyall•4d ago•6 comments

Bloomy (YC S26) is hiring a founding engineer

1•alexsouthmayd•5h ago

Show HN: Read the Tape – Wordle for daytrading, five blind S&P 500 charts a day

https://readthetape.cc/
24•will_asouka•1d ago•19 comments

France's Anssi Will Block PQC-Free Products from Certification Starting 2027

https://postquantum.com/security-pqc/anssi-pqc-certification-2027/
79•Sami_Lehtinen•6h ago•37 comments

Show HN: A self-running space economy SIM in Rust and Bevy

https://github.com/Kalcode/spaceprojectsim
63•kalcode•4h ago•23 comments

Meta's AI models are powering the first wave of Genesis Mission projects

https://ai.meta.com/blog/genesis-mission-lawrence-berkeley-national-laboratory-segment-anything-d...
85•surprisetalk•5h ago•61 comments

The Price of Happiness (2024)

https://happiness-science.org/price-of-happiness/
41•andyjohnson0•3h ago•16 comments

My USB Drive Has a Hidden Encrypted Vault

https://rootkitlabs.com/2026/06/22/I%27m-Building-a-Secure-USB-Drive/
124•machinehum•1d ago•81 comments

Advertise in ChatGPT

https://ads.openai.com/
233•montecarl•3h ago•229 comments

The unreasonable difficulty of time series forecasting

https://suzyahyah.github.io/machine%20learning/2026/06/27/trouble-with-time-series.html
103•suzyahyah•3d ago•39 comments

Show HN: Browser Tools SDK – an optimal browser harness for agents

https://libretto.sh/browser-tools
6•tanishqkanc•1h ago•1 comments

Slater – Low-memory graphdb designed for read-heavy graphs

https://github.com/Hikari-Systems/slater
32•rickkjp•3h ago•8 comments

AI Agent – TRMNL

https://help.trmnl.com/en/articles/14130438-ai-agent
36•joeyespo•4h ago•20 comments

Show HN: CodeAlmanac – Karpathy-style codebase wiki from your conversations

https://github.com/AlmanacCode/codealmanac/
40•divitsheth•5h ago•13 comments

Roblox Officially Supports GrapheneOS

https://en.help.roblox.com/hc/en-us/articles/49648939984916-Android-Remote-Attestation
57•Cider9986•5h ago•8 comments