Damus

Recent Notes

Per Vognsen · 9w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqv8w8clyrdfpy0y43evpwx3kex6medg5j70rcvhuvnadu32teaa2qgmzdn5 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqz9myc59yadhemq6s3mpsugrdzzfqr55c582tedltugukfwhgtn5se7valu The specific repo is new and Codeberg itself is new. So this is the abso...
slembcke · 9w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqqnnjpjm3gctvgewlz0pc8hk8tzu0gewskh4fewgmuvjm9kw2l4ushprhdc I got all excited because I thought you meant IO serialization until I started reading the article. >_< Though this is a more interesting topic than I would have expected!
Per Vognsen profile picture
I've seen several independent, complete misconceptions of the Curry-Howard isomorphism just in the last week. Where are people getting these ideas, I wonder. Today's specimen, courtesy of the Hegel thread on HN: "Given Curry-Howard isomorphism, couldn't we ask AI to directly prove the property of the binary executable under the assumption of the HW model, instead of running PBTs?"
Per Vognsen profile picture
My recollection is that people implementing infinite smooth scrolling on the Amiga dealt with the wrap-around issue by replicating the streaming writes so that when you eventually reset the window to the opposite edge the data there is ready as an identical copy. On the NES it's usually assumed you do this via mappers in the carts (so you don't have to replicate the writes but can rely on address mirroring) but were there non-mapper-based smooth scrolling games on NES that replicated writes?
1
slembcke · 10w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqqnnjpjm3gctvgewlz0pc8hk8tzu0gewskh4fewgmuvjm9kw2l4ushprhdc The addressing basically wraps around left to right and top to bottom (with some quirks on the vertical). You get enough VRAM for two screens worth of tiles, and there's just a pin that ...
slembcke · 12w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqqnnjpjm3gctvgewlz0pc8hk8tzu0gewskh4fewgmuvjm9kw2l4ushprhdc Hrm. Still not for me. It feels like it was built for mobile only. I guess you are right though that I don't lack options, I just need to try some of them again. https://elk.zone feels ...
Omar · 12w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqqnnjpjm3gctvgewlz0pc8hk8tzu0gewskh4fewgmuvjm9kw2l4ushprhdc Yeah it's amazing but I haven't been avoid to follow on every details/features that egui or rerun have. Sort of wish i did
Per Vognsen profile picture
Very strange to read a paper that has a section titled "SIMD Implementation" and sentences like "Utilizing SIMD instructions, specifically POPCNT, this step efficiently identifies varint terminations within the 64-bit block" and all it ever does is word-level popcnt, clz and pext.