🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔍 Formal Verification

TLA+, Model Checking, Safety Properties, Specifications

I just turned 18 and I would like to know what jobs/projects I could do to start excelling in the world of IT or other fields.
amzn.eu·21h·
Discuss: r/programming
💾Retro Computing
Stop Saying RAG Is Dead
hamel.dev·1d·
Discuss: Hacker News
🐫OCaml
Rust vs. C: A Deep Dive
ponderwall.com·3d·
Discuss: r/programming
🔬Static Analysis
Zig's new I/O: function coloring is inevitable?
blog.ivnj.org·2d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Augmented Engineering: How Shopify Tackles Large-Scale Problems With AI
aviator.co·18h·
Discuss: r/programming
🔄Reproducible Builds
Mastering Claude Code: Some Tips and Tricks After 3 Months of Use
arjunkirtipatel.com·1d·
Discuss: Hacker News
🛡️seL4
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·6d
✓Automated Theorem Proving
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·5d
✓Automated Theorem Proving
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·5d
✓Automated Theorem Proving
'Teens Need to Be Educated on the Danger': Digital Access, Online Risks, and Safety Practices Among Nigerian Adolescents
arxiv.org·1d
📡Network Protocol Design
Web Dev Kent Dodds on Remix and His Frontend Secret Weapon
thenewstack.io·12h
🔄Reproducible Builds
"high level" languages are easier to optimize
jyn.dev·3d·
Discuss: Hacker News
🔤DSLs
Beyond Scale: Small Language Models are Comparable to GPT-4 in Mental Health Understanding
arxiv.org·2d
🐫OCaml
Leveraging Large Language Models for Classifying App Users' Feedback
arxiv.org·2d
🎮Verification Games
Mechanistic Indicators of Understanding in Large Language Models
arxiv.org·2d
➡️Category Theory
Compliance Minimization via Physics-Informed Gaussian Processes
arxiv.org·1d
🔄Reproducible Builds
BENYO-S2ST-Corpus-1: A Bilingual English-to-Yoruba Direct Speech-to-Speech Translation Corpus
arxiv.org·1d
🐫OCaml
Illuminating the Three Dogmas of Reinforcement Learning under Evolutionary Light
arxiv.org·4h
✓Automated Theorem Proving
Robust-Multi-Task Gradient Boosting
arxiv.org·4h
🍎Apple
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·5d
🧪Property-Based Testing
Loading...Loading more...
AboutBlogChangelogRoadmap