rssbot

joined 7 months ago
MODERATOR OF
lobsters
hackernews
sorted by: new top controversial old
1
The reproducibility crisis and other problems in science – John Ioannidis (www.youtube.com)
 

Comments

1
Wayland Color Management Protocol Might Be Close to Merging (www.phoronix.com)
 

Comments

1
Ntfs2btrfs does in-place conversion of NTFS filesystem to the open-source Btrfs (github.com)
 

Comments

1
AMD Disables Zen 4's Loop Buffer (chipsandcheese.com)
 

Comments

1
Semantics of Programming (video lectures that go with the "Concrete Semantics" book) (live.rbg.tum.de)
 

I’ve been working through the “Software Foundations” material that’s been mentioned around here; and also briefly looked at but haven’t yet worked through “Concrete Semantics.” I do like watching / listening to lectures too, and I came across a bunch for Software Foundations (also some from Xavier Leroy on compiler certification – https://www.youtube.com/playlist?list=PLGCr8P_YncjUX7yHchN7KSS83KXMHmC6e). I hadn’t seen this series on Concrete Semantics be mentioned (I had to do a little bit of diving to find it), so thought I’d post. You’ll likely want to click ‘Oldest first’ at the top if you want to check out the lectures in order. Comments

1
Inline Assembly Dangers (fobes.dev)
 

Comments

1
How to print your Guild Wars 2 character (stuff.tamius.net)
 

Comments

1
NASA's X-59 plane is aiming for a sonic thump, not a boom (www.theregister.com)
 

Comments

1
Rust Solves the Issues with Exceptions (home.expurple.me)
 

Comments

1
Advent of Code 2024 starting soon (adventofcode.com)
 

Do you plan to participate? If, do you plan to go all the way? What language will you use? Other thoughts? Comments

1
Study of Gabapentin in Transient Insomnia Induced by Sleep Phase Advance (jcsm.aasm.org)
 

Comments

1
You must read at least one book to ride (ludic.mataroa.blog)
 

Comments

view more: ‹ prev next ›