An OCC Idea
lambdacreate.comยท2d
๐Ÿ—„๏ธDatabase Internals
Counting with Categories (Part 3)
golem.ph.utexas.eduยท3d
ฮปLambda Formalization
Introducing Northguard and Xinfra: Scalable log storage at Lin...
linkedin.comยท2dยท
Discuss: Lobsters
๐ŸŒŠStreaming Systems
The Sliding Window in Haskell & Rust
mmhaskell.comยท4d
ฮปLambda Encodings
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.comยท3dยท
Discuss: Hacker News
โš™๏ธLogic Synthesis
Measuring Validity and Reliability of Human Ratings
unofficialgoogledatascience.comยท4hยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
I tested the EnGenius EOC655 bridge, an innovative product that combines Bluetooth and GPS
techradar.comยท7h
๐Ÿ”ŒSingle Board PC
Is Microsoft's new Mu for you?
computerworld.comยท7hยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
Institutional Knowledge Is Walking Out the Doorโ€“Capture It Before It's Gone
ordinalforgov.comยท3hยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
Design Decisions Behind app.build, a Prompt-to-App Generator
neon.comยท1dยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Supervised Machine Learning: Concepts I Finally Understand
dev.toยท6hยท
Discuss: DEV
๐Ÿง Machine Learning
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.orgยท2d
๐Ÿ’ปLocal LLMs
CBF-AFA: Chunk-Based Multi-SSL Fusion for Automatic Fluency Assessment
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
Single Core Hundred Thousand Concurrency๏ผˆ1750947668443300๏ผ‰
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
From expected to actual: Kotlin doesn't reinvent, it reuses ๐Ÿ”„
dev.toยท18hยท
Discuss: DEV
๐Ÿ’งLiquid Types
Distribution of codewords on the faces of a hypercube and new combinatorial identities
arxiv.orgยท3d
โšฝSphere Packing
Machine Learning Fundamentals: adam optimizer tutorial
dev.toยท3hยท
Discuss: DEV
๐Ÿ“ŠFeed Optimization
Biomed-Enriched: A Biomedical Dataset Enriched with LLMs for Pretraining and Extracting Rare and Hidden Content
arxiv.orgยท1d
๐Ÿ”Information Retrieval
Client Clustering Meets Knowledge Sharing: Enhancing Privacy and Robustness in Personalized Peer-to-Peer Learning
arxiv.orgยท1d
๐Ÿ”’Privacy Preserving
Structuralist Approach to AI Literary Criticism: Leveraging Greimas Semiotic Square for Large Language Models
arxiv.orgยท14h
๐Ÿ“œDigital Philology