Four Proven Ways to Overcome the Email Deliverability Challenge
marketingprofs.comยท16h
๐Ÿ“ฎMessage Queues
Algorithmic Archive Project: Use Cases (1/3)
blogs.bodleian.ox.ac.ukยท20h
๐ŸŒธBloom Indexing
โ€‹โ€‹Speech-to-Retrieval (S2R): A new approach to voice search
research.googleยท14h
๐Ÿ”Search Algorithms
Blossom โ€“ Heroku-like deploys on your servers; cheaper, no lock-in
blossom88.comยท1dยท
Discuss: Hacker News
๐Ÿš‚Cranelift IR
13 clever APIs for capturing every kind of data
infoworld.comยท1d
๐Ÿ”Search Algorithms
Master KV cache aware routing with llm-d for efficient AI inference
developers.redhat.comยท23h
๐Ÿ“กErlang BEAM
๐Ÿ’ก From PowerPoint to Smart Contracts: How $BTC and Web3 Are Rewriting the Rules of Work
paragraph.comยท18hยท
Discuss: DEV
๐ŸŽญRacket
Python PEP 636 โ€“ Structural Pattern Matching: Tutorial
peps.python.orgยท2dยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.comยท19h
๐ŸงฎTheorem Provers
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.comยท2dยท
Discuss: Hacker News
๐ŸŒฒTree Rewriting
I built a secure OPNsense firewall, and you can too with this incredible Prime Day deal
xda-developers.comยท15h
๐Ÿ“Linear Memory
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.orgยท1d
๐ŸชœRecursive Descent
Machine learning for fraud detection in digital banking: a systematic literature review REVIEW
arxiv.orgยท2h
๐ŸŽ“Educational Databases
BLADE: Bias-Linked Adaptive DEbiasing
arxiv.orgยท1d
โœจEffect Inference
NFL MVP odds: Baker Mayfield, Patrick Mahomes crack top 3, Dak Prescott emerges as dark horse
nytimes.comยท13h
๐Ÿ“ˆEarley Parsing
Web Developer Travis McCracken on Building Dev Tools for Backend Engineers
dev.toยท1dยท
Discuss: DEV
๐Ÿ”งAPI Design
Modular Satellite Bus Self-Diagnostics via Reinforcement Learning and Bayesian Optimization
dev.toยท1dยท
Discuss: DEV
๐ŸŽญProgram Synthesis
QGraphLIME - Explaining Quantum Graph Neural Networks
arxiv.orgยท2h
๐Ÿ”—Graph Rewriting
FinReflectKG - MultiHop: Financial QA Benchmark for Reasoning with Knowledge Graph Evidence
arxiv.orgยท2d
โš–๏ธInference Rules