RSS BotMBEnglish · 7 minutes agoIntroducing the twom database formatplus-squarewww.fastmail.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkIntroducing the twom database formatplus-squarewww.fastmail.comRSS BotMBEnglish · 7 minutes agomessage-square0fedilink
RSS BotMBEnglish · 7 minutes ago100 years of Zermelo’s axiom of choice: What was the problem with it?plus-squareresearch.mietek.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-link100 years of Zermelo’s axiom of choice: What was the problem with it?plus-squareresearch.mietek.ioRSS BotMBEnglish · 7 minutes agomessage-square0fedilink
RSS BotMBEnglish · 27 minutes agoOxCaml, Jane Street's extension of OCaml is now open-sourceplus-squareoxcaml.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkOxCaml, Jane Street's extension of OCaml is now open-sourceplus-squareoxcaml.orgRSS BotMBEnglish · 27 minutes agomessage-square0fedilink
RSS BotMBEnglish · 47 minutes agoTattoy: a text-based terminal compositorplus-squaretattoy.shexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkTattoy: a text-based terminal compositorplus-squaretattoy.shRSS BotMBEnglish · 47 minutes agomessage-square0fedilink
RSS BotMBEnglish · 1 hour agoDesign Patterns for Securing LLM Agents against Prompt Injectionsplus-squaresimonwillison.netexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkDesign Patterns for Securing LLM Agents against Prompt Injectionsplus-squaresimonwillison.netRSS BotMBEnglish · 1 hour agomessage-square0fedilink
RSS BotMBEnglish · 6 hours agoWhat are you doing this weekend?plus-squarelobste.rsexternal-linkmessage-square2fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkWhat are you doing this weekend?plus-squarelobste.rsRSS BotMBEnglish · 6 hours agomessage-square2fedilink
RSS BotMBEnglish · 7 hours agoRadicle Desktop: a graphical user interface for the Radicle peer-to-peer code forgeplus-squareradicle.xyzexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkRadicle Desktop: a graphical user interface for the Radicle peer-to-peer code forgeplus-squareradicle.xyzRSS BotMBEnglish · 7 hours agomessage-square0fedilink
RSS BotMBEnglish · 9 hours agoIf the Moon Were Only 1 Pixel - A tediously accurate map of the solar systemplus-squarejoshworth.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkIf the Moon Were Only 1 Pixel - A tediously accurate map of the solar systemplus-squarejoshworth.comRSS BotMBEnglish · 9 hours agomessage-square0fedilink
RSS BotMBEnglish · 9 hours agoQuantum Computing without the Linear Algebraplus-squareeprint.iacr.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkQuantum Computing without the Linear Algebraplus-squareeprint.iacr.orgRSS BotMBEnglish · 9 hours agomessage-square0fedilink
RSS BotMBEnglish · 13 hours agoWhat I talk about when I talk about IRsplus-squarebernsteinbear.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkWhat I talk about when I talk about IRsplus-squarebernsteinbear.comRSS BotMBEnglish · 13 hours agomessage-square0fedilink
RSS BotMBEnglish · 11 hours agoAsterinas: A Linux ABI-compatible, Rust-based framekernel OSplus-squareasterinas.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAsterinas: A Linux ABI-compatible, Rust-based framekernel OSplus-squareasterinas.github.ioRSS BotMBEnglish · 11 hours agomessage-square0fedilink
RSS BotMBEnglish · 15 hours agoThe Case for Software Craftsmanship in the Era of Vibesplus-squarezed.devexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkThe Case for Software Craftsmanship in the Era of Vibesplus-squarezed.devRSS BotMBEnglish · 15 hours agomessage-square0fedilink
RSS BotMBEnglish · 12 hours agoThree Algorithms for YSH Syntax Highlightingplus-squarecodeberg.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThree Algorithms for YSH Syntax Highlightingplus-squarecodeberg.orgRSS BotMBEnglish · 12 hours agomessage-square0fedilink
RSS BotMBEnglish · 19 hours agoCursor YOLO deleted everything in my computerplus-squareforum.cursor.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkCursor YOLO deleted everything in my computerplus-squareforum.cursor.comRSS BotMBEnglish · 19 hours agomessage-square0fedilink
RSS BotMBEnglish · 20 hours agoUse-after-free in CAN BCM subsystem leading to information disclosure (CVE-2023-52922)plus-squareallelesecurity.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkUse-after-free in CAN BCM subsystem leading to information disclosure (CVE-2023-52922)plus-squareallelesecurity.comRSS BotMBEnglish · 20 hours agomessage-square0fedilink
RSS BotMBEnglish · 20 hours agoArchitecture Decision Recordsplus-squarewww.beflagrant.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkArchitecture Decision Recordsplus-squarewww.beflagrant.comRSS BotMBEnglish · 20 hours agomessage-square0fedilink
RSS BotMBEnglish · 1 day agoRumour: Google intends to discontinue the Android Open Source Projectplus-squarewww.osnews.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkRumour: Google intends to discontinue the Android Open Source Projectplus-squarewww.osnews.comRSS BotMBEnglish · 1 day agomessage-square0fedilink
RSS BotMBEnglish · 22 hours agodiceomatic: a DSL for making children's dice gamesplus-squarerobertheaton.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkdiceomatic: a DSL for making children's dice gamesplus-squarerobertheaton.comRSS BotMBEnglish · 22 hours agomessage-square0fedilink
RSS BotMBEnglish · 23 hours agoSolving LinkedIn Queens with SMTplus-squarebuttondown.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSolving LinkedIn Queens with SMTplus-squarebuttondown.comRSS BotMBEnglish · 23 hours agomessage-square0fedilink
RSS BotMBEnglish · 1 day agoThe Python Language Summit 2025plus-squarepyfound.blogspot.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe Python Language Summit 2025plus-squarepyfound.blogspot.comRSS BotMBEnglish · 1 day agomessage-square0fedilink
