🖼️00Read later0Read MoreDennis 0.8.5: The Chickens Are Safe, But Now We Need Trust (and Receipts)DEV Community·crevilla2050·6 months ago#DLDKXYMH#opensource#security#refactorit#dennis#trust+6 more🧰Tag tools✨Add tagFrom Dev RSS Feed: Dennis 0.8.5: The Chickens Are Safe, But Now We Need Trust (and Receipts)15s
🖼️00Read later0Read MoreExtending my TypeScript auto-fix CLI to handle .filter(Boolean) narrowing issuesDEV Community·i-am-killvish·6 months ago#ogmgUnvO#typescript#opensource#javascript#productivity#transformations+4 more🧰Tag tools✨Add tagFrom Dev.to - opensource: Extending my TypeScript auto-fix CLI to handle .filter(Boolean) narrowing issues15s
📰00Read later0Read MoreThe Deranged Mathematicians: Updates and Linear Fractional TransformationsReddit r/math·u/non-orientable·6 months ago#HG7KQIXA#linear#book#deranged#fractional#transformations+3 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 more15s
📰00Read later0Read MoreFrom Diff to Proof: Teaching Dennis to Verify TransformationsDEV Community·crevilla2050·6 months ago#AkogWRsA#software#opensource#refactorit#backend#dennis+7 more🧰Tag tools✨Add tagLarge code transformations are tricky. Not because we can’t describe them. Not because we can’t apply...15s
