🖼️00Dennis 0.8.5: The Chickens Are Safe, But Now We Need Trust (and Receipts)DEV Community·crevilla2050·18 days ago#DLDKXYMH#opensource#security#refactorit#dennis#trust#transformations+5 more🧰Tag tools✨Add tagFrom Dev RSS Feed: Dennis 0.8.5: The Chickens Are Safe, But Now We Need Trust (and Receipts)15s0Read later0Read More
🖼️00Extending my TypeScript auto-fix CLI to handle .filter(Boolean) narrowing issuesDEV Community·i-am-killvish·28 days ago#ogmgUnvO#typescript#opensource#javascript#productivity#fullscreen#transformations+4 more🧰Tag tools✨Add tagFrom Dev.to - opensource: Extending my TypeScript auto-fix CLI to handle .filter(Boolean) narrowing issues15s0Read later0Read More
📰00The Deranged Mathematicians: Updates and Linear Fractional TransformationsReddit r/math·u/non-orientable·about 1 month ago#HG7KQIXA#linear#book#deranged#fractional#transformations#article+2 more🧰Tag tools✨Add tagFirst of all: last week, the Deranged Mathematician hit 1k subscribers. Thank you very much to all of you who made that possible! Now, for the meat of this post: I have turned on paid subscriptions for the blog.… Read more15s0Read later0Read More
📰00From Diff to Proof: Teaching Dennis to Verify TransformationsDEV Community·crevilla2050·about 1 month ago#AkogWRsA#software#opensource#refactorit#backend#dennis#diff+7 more🧰Tag tools✨Add tagLarge code transformations are tricky. Not because we can’t describe them. Not because we can’t apply...15s0Read later0Read More