Bengali alphabet might be the coolest I've ever seen
langs.bearblog.dev·9h
🧮Programming Language Theory
Proton refuses to be 'held hostage' by controversial Swiss surveillance law
tomsguide.com·5h·
Discuss: r/privacy
🔐Cryptography
Recovering a permuted seed phrase
johndcook.com·9h
🔐Cryptography
How to get into every hobby I like
joelchrono.xyz·1d
🧩Theorem Proving
Dyna – Logic Programming for Machine Learning
dyna.org·7h·
Discuss: Lobsters, Hacker News, r/compsci
⚖️Logic Programming
How to Master AI in 2025?
analyticsvidhya.com·21h
🧩Theorem Proving
The Looming Threat of AI-Powered Malware: Could Machines Out-Hack Us?
darktechinsights.com·7h·
Discuss: DEV
🤖Sci-Fi
OpenAI Cookbook - Verifying gpt-oss implementations
cookbook.openai.com·15h·
Discuss: r/LocalLLaMA
🎲Probabilistic Programming
On-Device AI: 4 reasons why a custom AI agent is better than ChatGPT
xda-developers.com·59m
🔗Parser Combinators
Efficient Volume Computation for SMT Formulas
arxiv.org·2d
🧭SMT Solvers
iDvel/rime-ice
github.com·1d
🔧Compiler Design
Gene transcription, neurotransmitter, and neurocognition signatures of brain structural-functional coupling variability
nature.com·1d
🔄Category Theory
2018 Retrospective
waylonwalker.com·10h
🧮Programming Language Theory
The Polymath Playbook
salman.io·8h
🧮Programming Language Theory
Building Journal for Me: From 750words Fan to Full-Stack Developer
dev.to·18h·
Discuss: DEV
👐Open Source Software
LeanRAG: Knowledge-Graph-Based Generation with Semantic Aggregation and Hierarchical Retrieval
arxiv.org·1d
🔗Parser Combinators
Automated Dynamic Characterization of SARS-CoV-2 Spike Protein Corona Dynamics via Hyperdimensional Feature Space Analysis
dev.to·1d·
Discuss: DEV
🧫Cellular Automata
Enhanced Algorithmic Optimization for Sustainable Aquaculture Feed Production via Multi-Modal Data Fusion
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
SingleStrip: learning skull-stripping from a single labeled example
arxiv.org·1d
🧫Cellular Automata
Predicting Guest Churn via Dynamic Bayesian Network Calibration with Enhanced HyperScore
dev.to·4h·
Discuss: DEV
🎲Probabilistic Programming