๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŒ‰ Galois Connections

Abstract Interpretation, Monotone Functions, Lattice Theory, Program Analysis

Understanding Brotli PDF Compression
pdfa.orgยท19h
๐ŸŒช๏ธBrotli
Opportunity knocks: getting your house in order for the AI action plan
techradar.comยท19h
๐ŸŒŠStream Processing
Reverse Engineering the Microchip CLB Part 1: Background and Reverse Engineering the BLEs
mcp-clb.markomo.meยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”ฌBinary Analysis
Why Dyad?: A Perspective for Modelica Users
juliahub.comยท1dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever
cekrem.github.ioยท22hยท
Discuss: Hacker News, r/node, r/programming, r/reactjs, r/typescript
๐Ÿ’ปProgramming languages
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.orgยท2d
๐Ÿง Intelligence Compression
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.orgยท1d
๐Ÿง Intelligence Compression
Algorithm Complexity: Time, Space, and Big-O Notation
dev.toยท2dยท
Discuss: DEV
๐ŸงฎKolmogorov Complexity
Technical Challenges and Solutions in AI Tarot System Development Using Claude 3.7
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
Structural Optimal Jacobian Accumulation and Minimum Edge Count are NP-Complete Under Vertex Elimination
arxiv.orgยท3d
๐ŸŽฏPerformance Proofs
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.orgยท3d
๐Ÿ”ขBitwise Algorithms
โš”๏ธ The Josephus Problem Explained: Constant-Time Solution for k = 2
dev.toยท23hยท
Discuss: DEV
๐ŸŒณTrie Structures
Memory Safety in Web Rust System Zero Cost Secure๏ผˆ1750794401345600๏ผ‰
dev.toยท2dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.orgยท3d
๐Ÿ‘‘Coq Tactics
Causal Operator Discovery in Partial Differential Equations via Counterfactual Physics-Informed Neural Networks
arxiv.orgยท1d
๐ŸŒ€Differential Geometry
Uncovering Hidden Violent Tendencies in LLMs: A Demographic Analysis via Behavioral Vignettes
arxiv.orgยท5h
๐Ÿง Intelligence Compression
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.orgยท3d
๐ŸŽฏPerformance Proofs
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.orgยท1d
๐Ÿ”—Parser Combinators
Programming Entry Level: how to interpreter
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Lisp
Loading...Loading more...
AboutBlogChangelogRoadmap