🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⬌ Bidirectional Typing

Type Inference, Elaboration, Synthesis, Checking Modes

Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·1d
⬆️Lambda Lifting
Optimize Go Performance: Value vs. Pointer Types for Fewer Memory Allocations
dev.to·17h·
Discuss: DEV
🧠Memory Allocators
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
Anonymous structavaganza in zig
lirk.top·2d·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Capture Checking in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Chatting with Unmesh about building language with LLMs
martinfowler.com·1d
💻Programming languages
Many hate on Object-Oriented Programming. But some junior programmers seem to mostly echo what they've heard experienced programmers say. In this blog post I tr...
zylinski.se·18h·
Discuss: Hacker News, r/programming
🔩Systems Programming
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·3d·
Discuss: Hacker News
🧪Binary Fuzzing
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·1d
🦀Rust Macros
Trying to get error backtraces in rust libraries right
iroh.computer·1d·
Discuss: Lobsters, Hacker News, r/rust
🔒Linear Types
Building a Plugin System for Rust: Native Libraries vs Scripting Language vs WASM vs Rules Engine
kerkour.com·12h·
Discuss: Hacker News
🦀Rust Macros
Stable, Mutable References for Ante
antelang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Drama Model Inference Efficiency Boosted by 1.7x-2.3x
pytorch.org·18h·
Discuss: Hacker News
🚀SIMD Text Processing
Future Research in XP Modeling: A Call for Self-Learning Models
hackernoon.com·2h
⚙️Operating System Design
OpenAI and Anthropic share findings from a joint safety evaluation
openai.com·1h·
Discuss: Hacker News
📏Code Metrics
Automated Literature Synthesis & Knowledge Graph Refinement via Dual-Pass Semantic Parsing
dev.to·1h·
Discuss: DEV
🔗Constraint Handling
The Emacs thread-related code needs a maintainer
lists.gnu.org·9h·
Discuss: Hacker News
🦀Rust Macros
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·14h
🧠Intelligence Compression
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·3d
🔗Functional Compilers
Loading...Loading more...
AboutBlogChangelogRoadmap