🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔗 Dependently Typed

Proof-Carrying Code, Correctness by Construction, Type-Level Programming

Pyrat TryHackMe Walkthrough: Step-by-Step Beginner’s Guide to Easy Level CTF with Reverse Shell and…
infosecwriteups.com·2h
🔓Password Cracking
How Deep Research Agents Can Leak Your Data
embracethered.com·7h
🧪Protocol Fuzzing
Half-life of Open source research software projects
shape-of-code.com·10h
🔓Open Source Software
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·6d·
Discuss: r/programming
🔤Type Theory
Cozette
github.com·5h
🔠Terminal Fonts
3D Layered Text: Interactivity and Dynamism
css-tricks.com·2d
📟Terminal Physics
Make LLMs supportive, not sycophantic
chrisbarber.co·1d·
Discuss: Hacker News
🎯Gradual Typing
Naming Things: The Most Underrated Skill in Software Development
andreacanton.dev·1d·
Discuss: Hacker News
🐚Shell Calculus
Show HN: Using Common Lisp from Inside the Browser
turtleware.eu·3d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
NEAT: Concept driven Neuron Attribution in LLMs
arxiv.org·4h
💻Local LLMs
Cetvel: A Unified Benchmark for Evaluating Language Understanding, Generation and Cultural Capacity of LLMs for Turkish
arxiv.org·4h
🌳Context free grammars
Format as a Prior: Quantifying and Analyzing Bias in LLMs for Heterogeneous Data
arxiv.org·4h
🧠Machine Learning
OwkinZero: Accelerating Biological Discovery with AI
arxiv.org·4h
🤖AI Curation
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·4h
💻CS
RoMedQA: The First Benchmark for Romanian Medical Question Answering
arxiv.org·4h
🌀Brotli Internals
Welcome to Remix 3
github.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis
rustc_codegen_gcc: Progress Report #37
blog.antoyo.xyz·3d·
Discuss: r/rust
🦀Rust Macros
Active Learning for Neurosymbolic Program Synthesis
arxiv.org·3d
💻Programming languages
Generative Foundation Model for Structured and Unstructured Electronic Health Records
arxiv.org·4h
🏷️Metadata Standards
How AI coding tools changed my workflow (and why I still needed an API solution)
dev.to·51m·
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap