frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Introduction to Programming in ATS

https://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/book1.html
17•ibobev•46m ago

Comments

esafak•15m ago
Looks interesting. Actively developed : https://github.com/githwxi/ATS-Postiats

Common beliefs about DNSSEC put to the test

https://circleid.com/posts/common-beliefs-about-dnssec-put-to-the-test-an-invitation-to-fact-chec...
1•ibobev•3m ago•0 comments

Pratt parsing is a black box

https://vinipsmaker.github.io/blog/article/pratt-parsing-is-a-black-box/
1•ibobev•4m ago•0 comments

When Does Your Acme Client Renew?

https://devops-daily.com/posts/lets-encrypt-64-day-certificates-renewal-check
1•ibobev•4m ago•0 comments

Show HN: Traccia – Vendor-neutral runtime control for AI agents

https://github.com/traccia-ai/traccia-py
1•vijaypoudel•4m ago•1 comments

Userland Linux scheduler in Rust – faster than time

https://kapteko.com/userland-linux-scheduler-in-rust/
1•fessguid•5m ago•0 comments

AI 'panic': Back office jobs cut – but not the expected roles

https://www.rnz.co.nz/news/science-and-technology/2327983/ai-panic-back-office-jobs-cut-but-not-t...
3•billybuckwheat•7m ago•0 comments

Formalizing Nvidia PTX in Lean to Prove GPU Kernel Correctness

https://sf-tensor.com/engineering/formalizing-ptx
1•adamnemecek•7m ago•0 comments

How astronauts are casting their mid-term votes from space

https://time.com/article/2026/11/03/how-astronauts-are-casting-their-midterm-votes-from-space/
1•dcminter•8m ago•0 comments

Show HN: Bookmarker - A minimal, private bookmark organizer for macOS

https://github.com/meraccos/bookmarker
1•meraccos•8m ago•1 comments

Show HN: ZapFast, Native WhatsApp for Linux, macOS, and Windows with Calls

https://zapfast.rocks/
2•earcar•12m ago•0 comments

Pyinfra – simple infrastructure automation in Python

https://death.andgravity.com/pyinfra
1•lumpa•13m ago•0 comments

SurrealDB 4 and SurrealDB Earth: A serverless database built on Cloudflare

https://surrealdb.com/earth
3•tobiemh•14m ago•0 comments

Core to core is not core to core

https://jacen.li/writings/core-to-core-is-not-core-to-core/
1•ceryle•16m ago•0 comments

Revived Pig Kidneys Frozen for a Year Could Rewrite Future of Organ Transplants

https://gizmodo.com/scientists-just-revived-pig-kidneys-frozen-for-a-year-it-could-rewrite-the-fu...
1•gmays•16m ago•0 comments

New Security Developer at the PSF

https://pyfound.blogspot.com/2026/10/announcing-new-security-developer-2026.html
1•lumpa•16m ago•0 comments

Kimi-k3-in-C: A 2.78T-parameter model. No GPU. 8 GB of RAM

https://github.com/FareedKhan-dev/kimi-k3-in-c
1•theHocineSaad•16m ago•0 comments

Nine engineers, 1,211 PRs in a day: Lessons from building Copilot Cowork

https://commandline.microsoft.com/how-we-built-copilot-cowork-python-to-rust-migration/
1•droidjj•17m ago•0 comments

The Return of the Stock Market

https://siliconempires.substack.com/p/the-return-of-the-stock-market
1•smartmic•18m ago•0 comments

Spar – Make Claude and Codex argue to get the best outputs

https://github.com/spar-ai-app/spar
1•dotarsojat•18m ago•0 comments

$20M in Fines and Vizio Smart TVs Opt Out of Spying Option Does Nothing

https://pcper.com/2026/11/20-million-in-fines-and-still-vizio-smart-tvs-opt-out-of-spying-option-...
2•speckx•19m ago•0 comments

Show HN: HackerByte – Finding promising AI stories by analyzing HN discussions

https://hackerbyte.net
1•bakigul•20m ago•0 comments

Improved asteroid deflection model runs faster, reveals more doomsday worries

https://www.theregister.com/science/2026/11/03/improved-asteroid-deflection-model-runs-faster-rev...
1•jjgreen•22m ago•0 comments

Anomaly detection for alerting: statistics, LLMs and decision models compared

https://anomaly-detection.coroot.com/
1•nikolay_sivko•23m ago•0 comments

Show HN: A framework for Raspberry Pi pico projects

https://github.com/AdrianCX/picohive-firmware
1•AdrianCX•27m ago•0 comments

Show HN: Twitter but you can only use paint

https://peck.pikju.com/
1•baby•29m ago•0 comments

100 Fly Brains Play Doom

https://namespace.so/blog/fly-brains-play-doom
1•benwen•29m ago•0 comments

Three Points on AI Safety

https://nicholasdecker.substack.com/p/three-points-on-ai-safety
1•speckx•30m ago•0 comments

Odin OS: Cryptographically authorized memory access on RISC-V

https://zenodo.org/records/23928302
1•nwalker85•30m ago•0 comments

North Korea used LinkedIn, fake job interviews to trick Binance engineer

https://fortune.com/2026/11/03/binance-hack-details-linkedin/
5•overcast•31m ago•0 comments

New strategies for the cognitive science of dreaming (2024)

https://pmc.ncbi.nlm.nih.gov/articles/PMC11623913/
1•Daniel_Van_Zant•32m ago•0 comments