Microstructure characterization in thermal barrier coatings using Sparse Polynomial Chaos Classifiers and Global Sensitivity Analysis
sciencedirect.com·4h
🎲Probabilistic Programming
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·1d·
Discuss: Hacker News
🔗Parser Combinators
How to Teach Programming Badly
benjaminschneider.ch·1h·
Discuss: Hacker News
🧩Theorem Proving
Critique my Portfolio/Resume page
maraket.github.io·1d·
Discuss: r/webdev
🧮Programming Language Theory
Issue 483
haskellweekly.news·3d
⚙Functional Programming
Here's How You Can Build Your Own Markdown Parser: Part 2 - How to Read File From the Command Line
hackernoon.com·22h
🦀Rust
Kruskal Algorithm C++: Story
dev.to·7h·
Discuss: DEV
⚖️Logic Programming
Transpiling a Forth dialect to LLVM IR
onirom.fr·1d
🔧Compiler Design
Addressing Source Code Leaks Across the Ecosystem – A Retrospective
green.sapphi.red·4h·
Discuss: Hacker News
🦀Rust
You're probably not learning with AI
aryas.dev·1d·
Discuss: Hacker News
🧩Theorem Proving
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·4d
🔐Cryptography
Hask Is Not a Category
math.andrej.com·4d·
Discuss: Hacker News
🔄Category Theory
Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·2d
🔐Cryptography
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·5d
🧩Theorem Proving
google/oss-rebuild
github.com·16h
👐Open Source Software
The Road Not Taken: Why Mars Chose Manual Recursion Over the Visitor Pattern 🛤️
dev.to·3d·
Discuss: DEV
📝Lisp
Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·4d
🤝Protocol Design
Java vs Python via the lens of an interview problem
dev.to·31m·
Discuss: DEV
🧮Programming Language Theory
Partner with the AI, throw away the code
martinfowler.com·3d
🧩Theorem Proving
Claude Code and shipping stuff to prod
boliv.substack.com·9h·
Discuss: Substack
🔧Compiler Design