news
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
yjftsjthsd-h•3h ago