[URGENT] DEF CON Researcher Exposes How Password Managers Betray Your Trust
gadgeteer.co.za·8h
🔐Cryptography
Ledger. (2023)
lock.cmpxchg8b.com·1h·
Discuss: Lobsters, Hacker News
👐Open Source Software
This AI-Fueled Startup Is Helping Attorneys Find New Class Action Lawsuits
forbes.com·6h
⚖Algorithmic Game Theory
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
⚙Functional Programming
ByteDance Unleashes Seed-OSS-36B: The 512K-Token Open-Source Heavyweight
huggingface.co·15h·
Discuss: r/AIGuild
👐Open Source Software
Rust: Python’s New Performance Engine
thenewstack.io·1d·
Discuss: Hacker News, r/rust
🦀Rust
Boost Your EF Core Productivity in PostgreSQL With Entity Developer
dev.to·1d·
Discuss: DEV
🎯Constraint Programming
Gemini has a few tricks up its sleeve that ChatGPT still doesn’t – here are 3 things Gemini can do better than ChatGPT
techradar.com·17h
🔗Parser Combinators
🚀 My npm package just hit 400 downloads in 3 days!
npmjs.com·9h·
Discuss: DEV
🔧Compiler Design
Interpolation in Classical Propositional Logic
arxiv.org·3d
🔢Mathematical Logic
AI Chatbots Do Way More Than Just Searching the Web—Here's How I Use Mine
makeuseof.com·3d
🤖Sci-Fi
The Magic Minimum for AI Agents
every.to·1d
🔌Network Programming
A Multi-Resolution Benchmark Framework for Spatial Reasoning Assessment in Neural Networks
arxiv.org·2d
🎲Probabilistic Programming
TRACY: Benchmarking Execution Efficiency of LLM-Based Code Translation
arxiv.org·3d
🔧Compiler Design
The "Shitty First Draft"
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
LLMs Are Letter-Blind and Here's Why Enterprises Should Care
viveksgag.substack.com·1d·
Discuss: Substack
🔗Parser Combinators
Personalized Counterfactual Framework: Generating Potential Outcomes from Wearable Data
arxiv.org·12h
🎲Probabilistic Programming
Midjourney Isn't the Most Accurate AI—That's Why It's the Best
every.to·1d
🧭SMT Solvers
Is deep thinking / reasoning a dead end?
reddit.com·3d·
Discuss: r/ClaudeAI
🧭SMT Solvers
You Know JavaScript but Can’t Solve Problems in It?
dev.to·1d·
Discuss: DEV
⚙Functional Programming