frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Kernel Memory Safety: Mission Accomplished

https://asterinas.github.io/2025/06/04/kernel-memory-safety-mission-accomplished.html
5•Flundstrom2•18h ago

Comments

Flundstrom2•18h ago
This post distills research paper Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB, which is to be published at USENIX ATC 2025. The preprint can be found on arXiv.

What Leaders Need to Understand About AI with Nobel Laureate Geoffrey Hinton [video]

https://www.youtube.com/watch?v=32f9MgnLSn4
1•lawrenceyan•5m ago•0 comments

Clothes Swap and Virtual Try-On

https://aiactionfigure.cc
1•mrguo•9m ago•0 comments

Caltrain official lived in secret apartment built illegally inside train station

https://sfstandard.com/2025/06/12/caltrain-employee-secret-apartment-burlingame-station-photos/
1•panic•10m ago•0 comments

LibreOffice drops support for Windows 7, 8 and 8.1 in 25.8 Beta 1

https://www.neowin.net/news/libreoffice-narrows-gap-with-microsoft-office-in-258-beta-1/
2•bundie•12m ago•0 comments

APL Style: Patterns/Anti-Patterns (2017)

https://sway.cloud.microsoft/b1pRwmzuGjqB30On
1•todsacerdoti•24m ago•0 comments

SQLite Date and Time Functions

https://www2.sqlite.org/cvstrac/wiki?p=DateAndTimeFunctions
1•1vuio0pswjnm7•29m ago•0 comments

In San Francisco, Waymo Has Now Bested Lyft. Uber Is Next

https://underscoresf.com/in-san-francisco-waymo-has-now-bested-lyft-uber-is-next/
2•jerlam•35m ago•0 comments

Why I Joined Doge

https://podcasts.apple.com/us/podcast/why-i-joined-doge/id290783428?i=1000712821405
2•rgbrgb•35m ago•0 comments

CRMArena-Pro: LLM Agents Assessed Across Diverse Business Scenarios

https://arxiv.org/abs/2505.18878
1•felineflock•39m ago•0 comments

LLM Chat via SSH

https://github.com/ccbikai/ssh-ai-chat
1•wey-gu•41m ago•0 comments

A glimpse inside the world of drug repurposing (2024)

https://trevorklee.substack.com/p/karuna-therapeutics-a-drug-repurposing
1•akoboldfrying•44m ago•1 comments

SHOW HN: Turn Docs into Custom GPT (Free,NoCode)- Uses Supabase DB and ChatGPT

https://knowbase-chrisbuilds.replit.app/
1•chris_builds93•46m ago•1 comments

Generate Liquid Glass UI Effects – Inspired by iOS 26

https://www.liquid-glass.pro/
1•TinyMomentum•46m ago•1 comments

OxCaml is Jane Street's branch of OCaml

https://bsky.app/profile/yminsky.bsky.social/post/3lrimpjimjs2w
1•riffraff•46m ago•0 comments

299,792,458: The Number That Connects Pyramids to Light Speed

https://pyramids.bridgerb.com
1•bridgerb•47m ago•1 comments

'Nothing will be the same again': Portugal's Chega may be spot on

https://www.theguardian.com/world/2025/may/29/nothing-will-be-the-same-again-portugals-chega-may-be-spot-on
1•PaulHoule•53m ago•0 comments

The State of React and the Community in 2025

https://blog.isquaredsoftware.com/2025/06/react-community-2025/#facebook--meta
1•rk06•55m ago•1 comments

Memoir: Lifelong Model Editing with Minimal Overwrite Informed Retention for LLM

https://arxiv.org/abs/2506.07899
1•dataminer•55m ago•0 comments

DIYRE: DIY Audio Projects

https://www.diyrecordingequipment.com/pages/about-us
3•CharlesW•55m ago•0 comments

Can you hear a 51% duty cycle

https://www.youtube.com/watch?v=LwVec3Hs32w
1•brudgers•1h ago•0 comments

Institutional Books by Institutional Data Initiative

https://www.institutionaldatainitiative.org/institutional-books
1•thm•1h ago•0 comments

Green Tea Garbage Collector

https://github.com/golang/go/issues/73581
23•cirwin•1h ago•0 comments

What happened to Air India 171

https://www.youtube.com/watch?v=z7EZkungFEE
1•uptownfunk•1h ago•0 comments

For All That Is Good About Humankind, Ban Smartphones

https://jacobin.com/2025/06/ban-smartphones-tech-society/
35•Improvement•1h ago•10 comments

Elicitation

https://www.june.kim/elicitation
1•kimjune01•1h ago•1 comments

Tailscale Founder Talks Future IPO as Revenue Surges on AI Adoption

https://www.bloomberg.com/news/articles/2025-06-09/tailscale-founder-talks-future-ipo-as-revenue-surges-on-ai-adoption
1•yla92•1h ago•1 comments

On the Usability of Editable Software

https://flak.tedunangst.com/post/on-the-usability-of-editable-software
2•zdw•1h ago•0 comments

Plotform – Product Hunt but for your book launches

https://www.plotform.cc/
1•abdullahss•1h ago•1 comments

$100 Hamburger

https://en.wikipedia.org/wiki/$100_hamburger
28•TMWNN•1h ago•2 comments

Pip's Quake

https://blitter.net/blog/2025/06/13/pips-quake/
3•zdw•1h ago•0 comments