RSS BotMBEnglish · 21 minutes agoSome notes about Anthropic’s new resultsplus-squareblog.cryptographyengineering.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSome notes about Anthropic’s new resultsplus-squareblog.cryptographyengineering.comRSS BotMBEnglish · 21 minutes agomessage-square0linkfedilink
RSS BotMBEnglish · 1 hour agoA field day for Gleam’s language server | Gleam v.1.18.0 releaseplus-squaregleam.runexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkA field day for Gleam’s language server | Gleam v.1.18.0 releaseplus-squaregleam.runRSS BotMBEnglish · 1 hour agomessage-square0linkfedilink
RSS BotMBEnglish · 1 hour agoPostgreSQL MVCC: tradeoffs compared to other enginesplus-squareboringsql.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkPostgreSQL MVCC: tradeoffs compared to other enginesplus-squareboringsql.comRSS BotMBEnglish · 1 hour agomessage-square0linkfedilink
RSS BotMBEnglish · 2 hours agoIt doesn’t matter whether “Matz is nice”plus-squarepo-ru.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkIt doesn’t matter whether “Matz is nice”plus-squarepo-ru.comRSS BotMBEnglish · 2 hours agomessage-square0linkfedilink
RSS BotMBEnglish · 2 hours agoOverengineered calculator: Zig + QBEplus-squaretomekw.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkOverengineered calculator: Zig + QBEplus-squaretomekw.comRSS BotMBEnglish · 2 hours agomessage-square0linkfedilink
RSS BotMBEnglish · 2 hours agoHyperbole Implicit Buttons: Build your Hyperverseplus-squarewww.chiply.devexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkHyperbole Implicit Buttons: Build your Hyperverseplus-squarewww.chiply.devRSS BotMBEnglish · 2 hours agomessage-square0linkfedilink
RSS BotMBEnglish · 5 hours agoSovereignty is a substrateplus-squarenegroniventurestudios.comexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkSovereignty is a substrateplus-squarenegroniventurestudios.comRSS BotMBEnglish · 5 hours agomessage-square0linkfedilink
RSS BotMBEnglish · 5 hours agoC++26: Reducing undefined behaviourplus-squarewww.sandordargo.comexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkC++26: Reducing undefined behaviourplus-squarewww.sandordargo.comRSS BotMBEnglish · 5 hours agomessage-square0linkfedilink
RSS BotMBEnglish · 5 hours agoStreaming the IETF MoQ sessions with MoQ… kindaplus-squarewww.meetecho.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkStreaming the IETF MoQ sessions with MoQ… kindaplus-squarewww.meetecho.comRSS BotMBEnglish · 5 hours agomessage-square0linkfedilink
RSS BotMBEnglish · 7 hours agoUser Interfaces of the Demo Sceneplus-squaredatagubbe.seexternal-linkmessage-square0linkfedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkUser Interfaces of the Demo Sceneplus-squaredatagubbe.seRSS BotMBEnglish · 7 hours agomessage-square0linkfedilink
RSS BotMBEnglish · 6 hours agoSafety in an unsafe worldplus-squarejoshlf.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSafety in an unsafe worldplus-squarejoshlf.comRSS BotMBEnglish · 6 hours agomessage-square0linkfedilink
RSS BotMBEnglish · 9 hours agoManganin: tools matterplus-squareblog.manganin.devexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkManganin: tools matterplus-squareblog.manganin.devRSS BotMBEnglish · 9 hours agomessage-square0linkfedilink
RSS BotMBEnglish · 11 hours agoLobste.rs on Spinelplus-squareintertwingly.netexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkLobste.rs on Spinelplus-squareintertwingly.netRSS BotMBEnglish · 11 hours agomessage-square0linkfedilink
RSS BotMBEnglish · 13 hours agoCP/M-68K emulatorplus-squarekobolt.github.ioexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkCP/M-68K emulatorplus-squarekobolt.github.ioRSS BotMBEnglish · 13 hours agomessage-square0linkfedilink
RSS BotMBEnglish · 15 hours agoStarling, a Linux Desktop written from scratchplus-squarestarling.buildexternal-linkmessage-square2linkfedilinkarrow-up12arrow-down15
arrow-up1-3arrow-down1external-linkStarling, a Linux Desktop written from scratchplus-squarestarling.buildRSS BotMBEnglish · 15 hours agomessage-square2linkfedilink
RSS BotMBEnglish · 18 hours agoState of multi-player Waylandplus-squareblinry.orgexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkState of multi-player Waylandplus-squareblinry.orgRSS BotMBEnglish · 18 hours agomessage-square0linkfedilink
RSS BotMBEnglish · 18 hours agoWhy Rocq is better than Lean for program verificationplus-squarejoomy.korkutblech.comexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkWhy Rocq is better than Lean for program verificationplus-squarejoomy.korkutblech.comRSS BotMBEnglish · 18 hours agomessage-square0linkfedilink
RSS BotMBEnglish · 17 hours agoProof types in Dart: Using final classes as computational witnessesplus-squaremodulovalue.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkProof types in Dart: Using final classes as computational witnessesplus-squaremodulovalue.comRSS BotMBEnglish · 17 hours agomessage-square0linkfedilink
RSS BotMBEnglish · 20 hours agoDestructive Convenienceplus-squarevolpeon.inkexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkDestructive Convenienceplus-squarevolpeon.inkRSS BotMBEnglish · 20 hours agomessage-square0linkfedilink
RSS BotMBEnglish · 18 hours agoAnatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incidentplus-squarehuggingface.coexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAnatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incidentplus-squarehuggingface.coRSS BotMBEnglish · 18 hours agomessage-square0linkfedilink
