🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔠 Type-Level Programming

Dependent Haskell, GADTs, Type Families, Kind System

Reverse Engineering the Microchip CLB Part 1: Background and Reverse Engineering the BLEs
mcp-clb.markomo.me·55m·
Discuss: Lobsters, Hacker News
🔬Binary Analysis
Schemars v1 is now released
reddit.com·13h·
Discuss: r/rust
🦀Rust Macros
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·7h·
Discuss: Hacker News
📟Terminal Typography
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·1d·
Discuss: Hacker News
🦀Rust Macros
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Fine-Tuning and Prompt Engineering of LLMs, for the Creation of Multi-Agent AI for Addressing Sustainable Protein Production Challenges
arxiv.org·3h
🧮Theorem Proving
PEGTL -- Parsing Expression Grammar Template Library
github.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Polystate: Composable Finite State Machines
github.com·4d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Single Core Hundred Thousand Concurrency(1750866547511600)
dev.to·15h·
Discuss: DEV
🌊Stream Processing
Counting with Categories (Part 1)
golem.ph.utexas.edu·3d
λLambda Formalization
Rust Web Framework Analysis Deep Dive Safety Features(1750734074777000)
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure(1750762127113200)
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.org·3h
🔍BitFunnel
Heart Disease Predictor using KNN(ML) algorithm
dev.to·20h·
Discuss: DEV
🧠Machine Learning
Counterfactual Influence as a Distributional Quantity
arxiv.org·3h
🎯Arithmetic Coding Theory
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·3h
✅Format Verification
Lower Bounds for Conjunctive Query Evaluation
arxiv.org·2d
🧮Kolmogorov Complexity
Computing Betti tables and minimal presentations of zero-dimensional persistent homology
arxiv.org·2d
🕸️Algebraic Topology
Next Generation High Web Rust Based Solutions(1750916331932500)
dev.to·1h·
Discuss: DEV
🔌Interface Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap