frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)

https://dl.acm.org/doi/10.1145/3658644.3690244
19•etiams•3d ago

Comments

yjftsjthsd-h•3h ago
So it's a disassembler that preserves formally proven properties?
nolist_policy•3h ago
Where is the source code?
snackbroken•1h ago
https://doi.org/10.5281/zenodo.12721325 Edit: alternatively, https://github.com/ssrg-vt/FoxDec
newAccount2025•1h ago
Real computer science is so cool.

JavaScript Trademark Update

https://deno.com/blog/deno-v-oracle4
266•thebeardisred•2h ago•75 comments

MCP: An (Accidentally) Universal Plugin System

https://worksonmymachine.substack.com/p/mcp-an-accidentally-universal-plugin
389•Stwerner•7h ago•174 comments

AI fakes duel over impeachment of Vice-President in Phillipines

https://factcheck.afp.com/doc.afp.com.63ZF9CP
39•anigbrowl•2h ago•29 comments

2025 ARRL Field Day

https://www.arrl.org/field-day
49•rookderby•2h ago•13 comments

Life of an inference request (vLLM V1): How LLMs are served efficiently at scale

https://www.ubicloud.com/blog/life-of-an-inference-request-vllm-v1
34•samaysharma•2h ago•1 comments

We ran a Unix-like OS Xv6 on our home-built CPU with a home-built C compiler

https://fuel.edby.coffee/posts/how-we-ported-xv6-os-to-a-home-built-cpu-with-a-home-built-c-compiler/
190•AlexeyBrin•9h ago•16 comments

BusyBeaver(6) Is Quite Large

https://scottaaronson.blog/?p=8972
144•bdr•4h ago•103 comments

Addictions Are Being Engineered

https://masonyarbrough.substack.com/p/engineered-addictions
256•echollama•6h ago•156 comments

Show HN: Vet – A tool for safely running remote shell scripts

https://getvet.sh
19•a10r•1h ago•5 comments

Unheard works by Erik Satie to premiere 100 years after his death

https://www.theguardian.com/music/2025/jun/26/unheard-works-by-erik-satie-to-premiere-100-years-after-his-death
161•gripewater•11h ago•35 comments

NovaCustom – Framework Laptop alternative focusing on privacy

https://novacustom.com/
17•CHEF-KOCH•3h ago•21 comments

Show HN: AGL a toy language that compiles to Go

https://github.com/alaingilbert/agl
10•alain_gilbert•3d ago•0 comments

Sirius: A GPU-native SQL engine

https://github.com/sirius-db/sirius
57•qianli_cs•7h ago•5 comments

Parsing JSON in Forty Lines of Awk

https://akr.am/blog/posts/parsing-json-in-forty-lines-of-awk
60•thefilmore•6h ago•18 comments

Show HN: I'm an airline pilot – I built interactive graphs/globes of my flights

https://jameshard.ing/pilot
1399•jamesharding•1d ago•189 comments

Memory Safe Languages: Reducing Vulnerabilities in Modern Software Development [pdf]

https://media.defense.gov/2025/Jun/23/2003742198/-1/-1/0/CSI_MEMORY_SAFE_LANGUAGES_REDUCING_VULNERABILITIES_IN_MODERN_SOFTWARE_DEVELOPMENT.PDF
19•todsacerdoti•3h ago•0 comments

Schizophrenia Is the Price We Pay for Minds Poised Near the Edge of a Cliff

https://www.psychiatrymargins.com/p/schizophrenia-is-the-price-we-pay
9•Anon84•19m ago•1 comments

Engineer creates ad block for the real world with augmented reality glasses

https://www.tomshardware.com/maker-stem/engineer-creates-ad-block-for-the-real-world-with-augmented-reality-glasses-no-more-products-or-branding-in-your-everyday-life
204•LorenDB•6d ago•121 comments

ZeQLplus: Terminal SQLite Database Browser

https://github.com/ZetloStudio/ZeQLplus
42•amadeuspagel•9h ago•9 comments

LLMs Bring New Nature of Abstraction

https://martinfowler.com/articles/2025-nature-abstraction.html
39•hasheddan•3d ago•38 comments

Evaluating Long-Context Question and Answer Systems

https://eugeneyan.com/writing/qa-evals/
5•swyx•3d ago•0 comments

IDF officers ordered to fire at unarmed crowds near Gaza food distribution sites

https://www.haaretz.com/israel-news/2025-06-27/ty-article-magazine/.premium/idf-soldiers-ordered-to-shoot-deliberately-at-unarmed-gazans-waiting-for-humanitarian-aid/00000197-ad8e-de01-a39f-ffbe33780000
910•ahmetcadirci25•14h ago•666 comments

History of Cycling Maps

https://cyclemaps.blogspot.com/
71•altilunium•12h ago•9 comments

JWST reveals its first direct image discovery of an exoplanet

https://www.smithsonianmag.com/smart-news/james-webb-space-telescope-reveals-its-first-direct-image-discovery-of-an-exoplanet-180986886/
320•divbzero•1d ago•138 comments

Lago (Open-Source Usage Based Billing) is hiring for ten roles

https://www.ycombinator.com/companies/lago/jobs
1•AnhTho_FR•9h ago

Lossless LLM 3x Throughput Increase by LMCache

https://github.com/LMCache/LMCache
125•lihanc111•4d ago•35 comments

Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)

https://dl.acm.org/doi/10.1145/3658644.3690244
19•etiams•3d ago•4 comments

After successfully entering Earth's atmosphere, a European spacecraft is lost

https://arstechnica.com/space/2025/06/a-european-spacecraft-company-flies-its-vehicle-then-loses-it-after-reentry/
47•rbanffy•3d ago•20 comments

No One Is in Charge at the US Copyright Office

https://www.wired.com/story/us-copyright-office-chaos-doge/
88•rntn•4h ago•53 comments

Why the moon shimmers with shiny glass beads

https://phys.org/news/2025-06-moon-shimmers-shiny-glass-beads.html
9•PaulHoule•3d ago•2 comments