frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Raw Binary Program Analysis Tool

https://github.com/nstarke/BaseAddressDiscoverererer
2•bootbloopers•1y ago
I built a tool for analyzing raw binary programs (programs without an ELF, PE, Mach-O header) to determine the file offset that the program begins at and the load address the program is mapped into memory at. The tool can also do find the instruction set architecture for common platforms. I put a lot of effort into making it as easy as possible to run, and there is a quick start script that takes a single argument: the absolute file path to a raw binary program file.

Certified Program Synthesis with a Multi-Modal Verifier [pdf]

https://verse-lab.org/papers/leetproof-ase26.pdf
1•matt_d•3m ago•0 comments

Dev tools must be opensourced thats why I build this

1•Thomeras•3m ago•0 comments

Harness Engineering for Self-Improvement

https://lilianweng.github.io/posts/2026-07-04-harness/
2•tosh•5m ago•0 comments

Show HN: ePub Translator

https://epubtranslator.net/
2•xiaoape•7m ago•0 comments

Agentty ADE: preview of agentic orchestrator is out in v0.14.0

https://github.com/agentty-xyz/agentty
2•minev-dev•8m ago•1 comments

Bubo: AI code-reviewer that learns from review comments

https://github.com/mountainowl/bubo
1•mt_owl•11m ago•1 comments

An Internet for the Solar System [video]

https://media.ccc.de/v/emf2026-45-1-an-internet-for-the-solar-system
2•anticensor•11m ago•0 comments

A SpaceX Falcon 9 is going to hit the Moon Wednesday

https://arxiv.org/abs/2608.00360
1•mbrandstifter•11m ago•0 comments

Apple launches legal challenge against UK government demand to access data

https://www.theguardian.com/technology/2026/aug/03/apple-legal-challenge-uk-government-data-access
1•azalemeth•14m ago•0 comments

We gave an AI agent rootless VPN access to 1k live servers

https://ardor.cloud/blog/ardor-getblock-agentic-operations
2•Daniiar9•15m ago•0 comments

Knowing When to Quit: Diagnosing and Training LLMs to Abort Futile Reasoning

https://arxiv.org/abs/2607.29211
2•sbulaev•16m ago•0 comments

What nonfiction books talk about, 1960-2025

https://book-prize-index.vercel.app/fun/what-nonfiction-talks-about
1•benbreen•18m ago•0 comments

German Driving Licenses for Expats

https://horstmann.com/unblog/2025-04-16/index.html
1•slow_typist•20m ago•1 comments

Denmark: EVs Make Up 97% of New Private Car Sales in July

https://ing.dk/artikel/ny-rekord-maaned-elbilsalget-private-koeb-ligger-paa-97-procent
2•bogeholm•24m ago•1 comments

How big is the India three-wheeler market expected to be by 2031?

1•TechSci•26m ago•0 comments

Google's $200B finance machine for Anthropic

https://www.ft.com/content/549f2e23-5aa2-49c7-9ea6-a9784ab7087c
1•sega_sai•26m ago•0 comments

Show HN: Cckeep – Claude Code's remote session gives up reconnecting in 31s

https://github.com/kamihork/cckeep
1•kamihork•27m ago•0 comments

How to groth hack in AI era

1•aratama123•27m ago•0 comments

China's AI Blitz Creates 'Death Zone' for Rival US Model Makers

https://www.bloomberg.com/news/articles/2026-08-04/china-s-ai-blitz-creates-death-zone-for-rival-...
2•petethomas•34m ago•0 comments

Bitcoin owners rocked by $116M hack: What we know about the Coldcard exploit

https://fortune.com/2026/08/03/bitcoin-owners-116-million-hack-coldcard-coinkite-exploit/
2•LostMyLogin•40m ago•0 comments

Assert(): A Modern How To

https://fiberfs.io/blog/assert_a_modern_how_to
1•nyc_pizzadev•40m ago•0 comments

Apple is getting this wrong

https://openai.com/index/apple-is-getting-this-wrong/
46•meetpateltech•51m ago•23 comments

LLM memory doesn't only get written wrong, it goes wrong later

https://manazir.dev/work/anamnesis-forecasting-memory-corruption
1•mnzrdev•52m ago•0 comments

A Versatile PDP-11/70 Emulator

https://hackaday.com/2026/08/03/a-versatile-pdp-11-70-emulator/
1•jandeboevrie•52m ago•0 comments

Ursula K. Le Guin: Tales from Earthsea or Gedo Senki

https://www.ursulakleguin.com/adaptation-tales-of-earthsea
1•Rant423•56m ago•1 comments

High-Powered Real-Estate Fund Is Run by College Students

https://www.wsj.com/finance/investing/this-high-powered-real-estate-fund-is-run-by-college-studen...
1•kamaraju•56m ago•0 comments

Deep Dive: Anthropic's Performance Take-Home (The One Claude Beat Humans At)

https://trirpi.github.io/posts/anthropic-performance-takehome/
1•jxmorris12•58m ago•0 comments

Do not use OVHcloud for production services

https://lagomor.ph/indieweb/20260804/1352-note/
3•ChilledTonic•58m ago•1 comments

Show HN: HN-jobs aggregator – updated in real-time

1•freakynit•59m ago•0 comments

Korean stock market crash threatening to upset tech boom

https://www.abc.net.au/news/2026-08-03/korean-markets-threatening-upset-tech-boom/106981956
4•robin_reala•1h ago•0 comments