//
sign in
Profile
by @danabra.mov
Profile
by @dansshadow.bsky.social
Profile
by @jimpick.com
AviHandle
by @danabra.mov
AviHandle
by @dansshadow.bsky.social
AviHandle
by @katherine.computer
EventsList
by @katherine.computer
ProfileHeader
by @dansshadow.bsky.social
ProfileHeader
by @danabra.mov
ProfileMedia
by @danabra.mov
ProfilePlays
by @danabra.mov
ProfilePosts
by @danabra.mov
ProfilePosts
by @dansshadow.bsky.social
ProfileReplies
by @danabra.mov
Record
by @atsui.org
Skircle
by @danabra.mov
StreamPlacePlaylist
by @katherine.computer
+ new component
Profile
Loading...
(Unofficial) Hacker News Bot with top stories updates. Jobs from YC startups @whois-hiring.bsky.social Creator @ykravchuk.bsky.social
Hacker News Top Stories









Loading...
Show HN: Trace – Offline Mac meeting transcripts you can flag mid-call | Discussion
Zinnia: A modular 64-bit Unix-like kernel written in Rust | Discussion
Yserver: A modern X11 server written in Rust | Discussion
Inverse Rubric Optimization: A testbed for agent science | Discussion
Bring Siri AI to EU iPhone Users Safely | Discussion
Show HN: Dual YOLOv8n UAV Detection on RK3588S at 42 FPS Using NPU | Discussion
Chaosnet | Discussion
Not mine, but it's a website where you can use a segment display | Discussion
USB Power Delivery: Plugging into the Benefits | Discussion
Formal Methods and the Future of Programming | Discussion
29m
49m
1h
1h
1h
2h
2h
2h
3h
3h
Chaosnet local area network protocol documentation. The master file is at https://github.com/Chaosnet/amber.
tumbleweed.nu
aresluna.org
USB Power Delivery (EPD) and USB Extended Power Range (EPR) are the next steps in the technology evolution. When they roll out, devices will charge faster and data will be transmitted faster.
www.aptiv.com
Chaosnet
Segmented type appreciation corner
USB Power Delivery: Plugging Into the Benefits
I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.
blog.janestreet.com
Formal methods and the future of programming
Hacker News Top Stories
Hacker News Top Stories
Hacker News Top Stories
Hacker News Top Stories
Hacker News Top Stories
Hacker News Top Stories
Hacker News Top Stories
Hacker News Top Stories
Hacker News Top Stories
Hacker News Top Stories
Inverse Rubric Optimization: A testbed for agent science
fulcrum.inc
A modular 64-bit Unix-like kernel written in Rust
zinnia-os.org
A modern X11 server written from scratch in Rust. Contribute to joske/yserver development by creating an account on GitHub.
github.com
We propose inverse rubric optimization (IRO): tasks where an agent must learn the preferences of a black-box judge under a label budget. IRO tasks induce rich agent behavior and smooth scaling, making them a useful testbed for agent science.
zinnia
GitHub - joske/yserver: A modern X11 server written from scratch in Rust.
No cloud. No accounts. No meeting bots.
traceapp.info
Trace: Meeting transcripts that never leave your Mac
Real-time YOLOv8n UAV detection at the sensor's 46 FPS ceiling, in ~140 MB of RAM - alebal123bal/khadas_yolov8n_multithread
GitHub - alebal123bal/khadas_yolov8n_multithread: Real-time YOLOv8n UAV detection at the sensor's 46 FPS ceiling, in ~140 MB of RAM
github.com
Bring Siri AI to EU iPhone Users Safely
A privacy-preserving petition asking EU regulators to define a safe path for Siri AI and AI assistants.
siri4eu.com