Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·11h·
Discuss: Hacker News
💻Programming languages
Flag this post
Handbook of Satisfiability (2021)
iospress.com·15h·
Discuss: Hacker News
🎲Bayesian Methods
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·9h·
Discuss: Hacker News
💻Programming languages
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·17h·
Discuss: Hacker News
💻Programming languages
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·11h·
Discuss: Hacker News
📏Linear Types
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·11h·
Discuss: Hacker News
🌐Distributed systems
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·14h·
Discuss: Hacker News
💻Programming languages
Flag this post
What are you doing this weekend?
lobste.rs·2d·
Discuss: Lobsters
💻Programming languages
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·8h·
Discuss: Hacker News
📏Linear Types
Flag this post
Smaller Surfaces
nrempel.com·1d·
Discuss: Hacker News
🧩Microservices
Flag this post
How to Build an AWS Bedrock Supervisor Agent to Automate EC2 and CloudWatch Tasks
hackernoon.com·11h
📮Message Queues
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.org·1d·
Discuss: Hacker News
🎲Bayesian Methods
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·1d·
Discuss: Lobsters, Hacker News
💻Programming languages
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·11h·
Discuss: Hacker News
💹Rust Finance
Flag this post
Reinventing Assertions
beust.com·2d·
Discuss: Hacker News
💻Programming languages
Flag this post
Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·21h·
Discuss: Hacker News
📈Time Series ML
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2d·
Discuss: Hacker News
💻Programming languages
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·3d·
Discuss: Lobsters, Hacker News
💻Programming languages
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
💻Programming languages
Flag this post
Improving Emacs' iCalendar Support
recursewithless.net·7h·
Discuss: Hacker News
💻Programming languages
Flag this post