frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

What does "verified memory safe" mean?

https://focs-lab.comp.nus.edu.sg/blog/memory-safety-audit/
1•matt_d•54m ago

Ask HN: uBlock Origin for the IoT devices in my house?

1•rstuart4133•2m ago•0 comments

Pepperwind, a fictional company dataset with 223 tables and 79M rows

1•rasinmuhammed•5m ago•0 comments

Personality Traits and Career Success: Understanding Workplace Dynamics [pdf]

https://www.rieti.go.jp/jp/publications/dp/25e105.pdf
1•rohanm93•5m ago•0 comments

Jet nosedives and erupts into fireball near busy roadway in South Florida

https://apnews.com/article/palm-beach-plane-crash-ffdee609e7916ff7fcd178d2b8e69b39
1•bradleyankrom•5m ago•1 comments

BYD expands EV shipping fleet as wars upend freight costs and key trade routes

https://restofworld.org/2026/byd-expands-cargo-ship-ev-exports/
2•Gaishan•6m ago•0 comments

Panic and Anger Spread as Europe's Great Pension Covenant Unravels

https://www.wsj.com/world/europe/panic-and-anger-spread-as-europes-great-pension-covenant-unravel...
2•bryan0•9m ago•0 comments

Intel trials open robotics architecture with SAP in Chinese demo

https://www.sdxcentral.com/news/intel-trials-open-robotics-architecture-with-sap-in-chinese-demo/
1•gmays•12m ago•0 comments

Zellic's and V12's Work on x86 Binary Formal Verification

https://v12.sh/blog/x86-formal-verification-intro
2•_doctor_love•13m ago•0 comments

GDPx: Measuring Frontier Model Capabilities Across the Most Valuable Domains

https://newsletter.semianalysis.com/p/gdpx-measuring-frontier-model-capabilities
1•tmoertel•13m ago•0 comments

The Command Line as Franken-REPL

https://www.autodidacts.io/the-command-line-as-everything-repl/
1•Curiositry•14m ago•0 comments

Show HN: GhostBase – 25MB terminal database studio for SQLite, Postgres, MySQL

https://github.com/4yk5/GhostBase
2•4yk5•16m ago•0 comments

Cra Browser: open-source Arc replacement for macOS

https://github.com/VictorKildahl/cra
1•nateb2022•24m ago•0 comments

Show HN: DodoCD – CI/CD for PHP Shared Hosting

https://github.com/YohanSandun/dodocd
1•yohansandun•27m ago•0 comments

The Economic Paradox of AI-Generated Software

https://medium.com/@yassien/the-economic-paradox-of-ai-generated-software-93239b25bf1c
1•yassien•34m ago•0 comments

Decoding the Taalas HC1: A Quantitative Architecture Analysis

https://kevinyuan1.substack.com/p/decoding-the-taalas-hc1-a-quantitative
1•mofosyne•35m ago•0 comments

WeSesh: Pair Programming with Coding Agents

https://wesesh.com/
1•handfuloflight•37m ago•0 comments

Show HN: Diwali in threejs – find crackers and send wishes into a shared sky

https://virtualdiwali.com/
2•abhas9•38m ago•0 comments

Pell Puzzles – a novel grid deduction format

https://pell.achromath.com/
1•achromath•43m ago•0 comments

Show HN: Paste your MCP config, see what each server does at startup

https://mcp.brydge-ai.com
1•DevanshKontey•47m ago•0 comments

DMA-Latte: Expanding the Reach of DMA Offloads to Latency-Bound ML Communication

https://arxiv.org/abs/2511.06605
1•matt_d•48m ago•0 comments

Scientists reveal the staggering number of bat deaths at wind turbines

https://phys.org/news/2026-10-scientists-reveal-staggering-deaths-turbines.html
1•wglb•50m ago•2 comments

American military technology beyond your imagination

1•imheretolearn•52m ago•3 comments

HalachaBench

https://github.com/halachabench/halacha-bench-results
1•aizk•52m ago•0 comments

AI is programming's next abstraction. What should we teach?

https://lernerpython.com/2026/11/01/ai-programming-next-abstraction/
1•lumpa•53m ago•1 comments

A hidden brain rhythm challenges ideas about where consciousness comes from

https://medicalxpress.com/news/2026-10-hidden-brain-rhythm-ideas-consciousness.html
3•wglb•53m ago•1 comments

What does "verified memory safe" mean?

https://focs-lab.comp.nus.edu.sg/blog/memory-safety-audit/
1•matt_d•54m ago•0 comments

US Led Student List in Serbia Targets Russian Business and Trade in Serbia

https://www.ft.com/content/c478c8b6-789f-4253-8970-1244b93c1cce
1•secondary_op•56m ago•1 comments

Agentic AI Is Myth Set in Motion

https://braddelong.substack.com/p/crosspost-henry-farrell-agentic-ai
1•mellosouls•57m ago•0 comments

Hackers are running riot with AI. Its makers want to cash in

https://www.economist.com/business/2026/11/01/hackers-are-running-riot-with-ai-its-makers-want-to...
1•andsoitis•1h ago•0 comments

Contactless continuous guidance of matter using curved acoustic fields

https://www.pnas.org/doi/10.1073/pnas.2614959123
1•bookofjoe•1h ago•0 comments