RSS BotMBEnglish · 59 seconds agojujutsu v0.31.0 releasedplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkjujutsu v0.31.0 releasedplus-squaregithub.comRSS BotMBEnglish · 59 seconds agomessage-square0fedilink
RSS BotMBEnglish · 3 hours ago500× faster: Four different ways to speed up your codeplus-squarepythonspeed.comexternal-linkmessage-square1fedilinkarrow-up14arrow-down11
arrow-up13arrow-down1external-link500× faster: Four different ways to speed up your codeplus-squarepythonspeed.comRSS BotMBEnglish · 3 hours agomessage-square1fedilink
RSS BotMBEnglish · 2 hours agoFail Faster: Staging and Fast Randomness for High-Performance Property-Based Testingplus-squarewww.youtube.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkFail Faster: Staging and Fast Randomness for High-Performance Property-Based Testingplus-squarewww.youtube.comRSS BotMBEnglish · 2 hours agomessage-square0fedilink
RSS BotMBEnglish · 4 hours agoA Higgs-bugson in the Linux Kernelplus-squareblog.janestreet.comexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkA Higgs-bugson in the Linux Kernelplus-squareblog.janestreet.comRSS BotMBEnglish · 4 hours agomessage-square0fedilink
RSS BotMBEnglish · 3 hours agoTree-Structured Concurrency II: Replacing Background Tasks With Actorsplus-squareblog.yoshuawuyts.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkTree-Structured Concurrency II: Replacing Background Tasks With Actorsplus-squareblog.yoshuawuyts.comRSS BotMBEnglish · 3 hours agomessage-square0fedilink
RSS BotMBEnglish · 4 hours agosslcheck: Command-line tool to check and monitor SSL certificate expiration across multiple domainsplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linksslcheck: Command-line tool to check and monitor SSL certificate expiration across multiple domainsplus-squaregithub.comRSS BotMBEnglish · 4 hours agomessage-square0fedilink
RSS BotMBEnglish · 5 hours agoThis Overly Long Variable Name Could Have Been a Commentplus-squarejonathan-frere.comexternal-linkmessage-square1fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThis Overly Long Variable Name Could Have Been a Commentplus-squarejonathan-frere.comRSS BotMBEnglish · 5 hours agomessage-square1fedilink
RSS BotMBEnglish · 4 hours agoProgramming as Theory Buildingplus-squarepablo.rauzy.nameexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkProgramming as Theory Buildingplus-squarepablo.rauzy.nameRSS BotMBEnglish · 4 hours agomessage-square0fedilink
RSS BotMBEnglish · 4 hours agoInequality Union Finds: Baby Steps to Refinement E-graphsplus-squarewww.philipzucker.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkInequality Union Finds: Baby Steps to Refinement E-graphsplus-squarewww.philipzucker.comRSS BotMBEnglish · 4 hours agomessage-square0fedilink
RSS BotMBEnglish · 4 hours agoDeploying Python (Django) to Kubernetes: A practical guide with a complete DevOps Pipelineplus-squaredenibertovic.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkDeploying Python (Django) to Kubernetes: A practical guide with a complete DevOps Pipelineplus-squaredenibertovic.comRSS BotMBEnglish · 4 hours agomessage-square0fedilink
RSS BotMBEnglish · 6 hours agoRapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+plus-squarewww.mongodb.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkRapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+plus-squarewww.mongodb.comRSS BotMBEnglish · 6 hours agomessage-square0fedilink
RSS BotMBEnglish · 6 hours agoHow I Scanned all of GitHub’s “Oops Commits” for Leaked Secrets worth $25k in Bug Bountiesplus-squaretrufflesecurity.comexternal-linkmessage-square0fedilinkarrow-up14arrow-down12
arrow-up12arrow-down1external-linkHow I Scanned all of GitHub’s “Oops Commits” for Leaked Secrets worth $25k in Bug Bountiesplus-squaretrufflesecurity.comRSS BotMBEnglish · 6 hours agomessage-square0fedilink
RSS BotMBEnglish · 5 hours agoI Shipped a macOS App Built Entirely by Claude Codeplus-squarewww.indragie.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down11
arrow-up11arrow-down1external-linkI Shipped a macOS App Built Entirely by Claude Codeplus-squarewww.indragie.comRSS BotMBEnglish · 5 hours agomessage-square0fedilink
RSS BotMBEnglish · 6 hours agoCounterexamples of positivity implications in Kähler curvature tensorsplus-squarewww.magnusson.ioexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkCounterexamples of positivity implications in Kähler curvature tensorsplus-squarewww.magnusson.ioRSS BotMBEnglish · 6 hours agomessage-square0fedilink
RSS BotMBEnglish · 6 hours agoThree Years of Nix and NixOS: The Good, the Bad, and the Uglyplus-squarepierrezemb.frexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThree Years of Nix and NixOS: The Good, the Bad, and the Uglyplus-squarepierrezemb.frRSS BotMBEnglish · 6 hours agomessage-square0fedilink
RSS BotMBEnglish · 7 hours agoUncloud - tool for deploying and managing containerised applicationsplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkUncloud - tool for deploying and managing containerised applicationsplus-squaregithub.comRSS BotMBEnglish · 7 hours agomessage-square0fedilink
RSS BotMBEnglish · 9 hours agoYet another ZIP trickplus-squarehackarcana.comexternal-linkmessage-square1fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkYet another ZIP trickplus-squarehackarcana.comRSS BotMBEnglish · 9 hours agomessage-square1fedilink
RSS BotMBEnglish · 9 hours agoThe Chapel Programming Languageplus-squarechapel-lang.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe Chapel Programming Languageplus-squarechapel-lang.orgRSS BotMBEnglish · 9 hours agomessage-square0fedilink
RSS BotMBEnglish · 13 hours agoThe web's broken deal with AI companiesplus-squaredri.esexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkThe web's broken deal with AI companiesplus-squaredri.esRSS BotMBEnglish · 13 hours agomessage-square0fedilink
RSS BotMBEnglish · 11 hours agoHow large are large language models? (2025)plus-squaregist.github.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkHow large are large language models? (2025)plus-squaregist.github.comRSS BotMBEnglish · 11 hours agomessage-square0fedilink