Forwarded from Hacker News (yahnc_bot)
Extracting verified C++ from the Rocq theorem prover at Bloomberg https://bloomberg.github.io/crane/
bloomberg.github.io
Crane
A new extraction system from Rocq to modern, memory-safe, performant C++.
🔥1
Forwarded from Hacker News (yahnc_bot)
Doing gigabit Ethernet over my British phone wires https://thehftguy.com/2026/01/22/doing-gigabit-ethernet-over-my-british-phone-wires/
The HFT Guy
Doing Gigabit Ethernet Over My British Phone Wires
Disclaimer: None of this is written by AI, I’m still a real person writing my own blog like its 1999 I finally figured out how to do Gigabit Ethernet over my existing phone wires. Powerline adapter…
Forwarded from Hacker News (yahnc_bot)
Fedora Asahi Remix is now working on Apple M3 https://bsky.app/profile/did:plc:okydh7e54e2nok65kjxdklvd/post/3mdd55paffk2o
Bluesky Social
Michael Reeves (@integralpilot.bsky.social)
On Apple M3, a Linux KDE plasma desktop under Fedora Asahi Remix is now WORKING! Super excited to share this update and happy to answer any questions! Co-credits to noopwafel and Shiz. :)
👍4
Forwarded from slanterns w/ 🦀
December in Servo: multiple windows, proxy support, better caching, and more! - Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
https://servo.org/blog/2026/01/23/december-in-servo/
https://servo.org/blog/2026/01/23/december-in-servo/
Servo
December in Servo: multiple windows, proxy support, better caching, and more! - Servo aims to empower developers with a lightweight…
Come along and meet us at FOSDEM 2026 – we’re speaking there too!