🐿️ 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·6h
🔓Password Cracking
Obrysy – Type Studio
obrysy.xyz·2h
📜Binary Philology
Half-life of Open source research software projects
shape-of-code.com·14h
🔓Open Source Software
A.I. Is Coming for Culture
newyorker.com·2h
🎯Content Recommendation
Go and SQLite Best Practices
jacob.gold·7h·
Discuss: Hacker News
💾SQLite
I'm too dumb for Zig's new IO interface
openmymind.net·3d·
Discuss: Lobsters, Hacker News, Hacker News
🌐NetworkProtocols
3D Layered Text: Interactivity and Dynamism
css-tricks.com·2d
📟Terminal Physics
Subinterpreters and Asyncio
blog.changs.co.uk·5d·
Discuss: Hacker News
🦀Rust Macros
Format as a Prior: Quantifying and Analyzing Bias in LLMs for Heterogeneous Data
arxiv.org·8h
🧠Machine Learning
OwkinZero: Accelerating Biological Discovery with AI
arxiv.org·8h
🤖AI Curation
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·8h
💻CS
RoMedQA: The First Benchmark for Romanian Medical Question Answering
arxiv.org·8h
🌀Brotli Internals
Welcome to Remix 3
github.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis
Active Learning for Neurosymbolic Program Synthesis
arxiv.org·3d
💻Programming languages
Generative Foundation Model for Structured and Unstructured Electronic Health Records
arxiv.org·8h
🏷️Metadata Standards
How AI coding tools changed my workflow (and why I still needed an API solution)
dev.to·4h·
Discuss: DEV
⚡Proof Automation
AI Agents: Why the Hype Feels Wrong to an Old Programmer
nimishg.substack.com·2d·
Discuss: Substack
⚡Proof Automation
The kids are alright
bitecode.dev·2d·
Discuss: Hacker News, r/LLM, r/programming
📏Code Metrics
An Open-source Multi-Model AI Chat Playground with Next.js: Open-Fiesta
dev.to·5h·
Discuss: DEV
🎙️Whisper
I’m creating an open-source application to manage deployment strategies for applications.
reddit.com·1d·
Discuss: r/kubernetes
🔓Open Source Software
Loading...Loading more...
AboutBlogChangelogRoadmap