Decentralised communities
tchop.io·13h
🕸️Graph Theory
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·21h·
Discuss: Hacker News
λFunctional Programming
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·20h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·3d·
Discuss: Hacker News
🌳Red-Black Trees
Flag this post
Rubber Duck Debugging with LLMs: Why Explaining Your Problem Is the Solution
tidesofsea.com·2h·
Discuss: Hacker News
⏱️Computational Complexity
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
blog.chrislewis.au·2d·
Discuss: Hacker News
💣Binary Exploitation
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·3d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
AI‑driven photonic noses: from conventional sensors to cloud‑to-edge intelligent microsystems
nature.com·9h
🔢Numerical Methods
Flag this post
Launch-Day Diffusion: Tracking Hacker News Impact on GitHub Stars for AI Tools
arxiv.org·8h
⏱️Computational Complexity
Flag this post
Level Up Your Coding: A Beginner's Guide to Blockchain Development Frameworks
dev.to·2h·
Discuss: DEV
λFunctional Programming
Flag this post
SQL or NoSQL? A Real Story From Building Healthcare Software (and How FHIR Fits In)
dev.to·17h·
Discuss: DEV
📊Data Structures
Flag this post
🧩 Track Workflow Activities by Name in Joget Using SQL and DataList Configuration
dev.to·2d·
Discuss: DEV
🌳Red-Black Trees
Flag this post
System design interviews for SRE prep help
reddit.com·12h·
Discuss: r/devops
🔬Static Analysis
Flag this post
Announcing SlopGuard — Open-Source Defence Against AI Supply Chain Attacks
dev.to·2h·
Discuss: DEV
💣Binary Exploitation
Flag this post
Building a Custom Calendar Generator with React/Next.js
dev.to·1d·
Discuss: DEV
🎨Computer Graphics
Flag this post
Why Developers Should Study Human Behavior Before Code
dev.to·3d·
Discuss: DEV
🔬Static Analysis
Flag this post
The Self-Organizing AI: Can Machines Learn to 'Feel' Their Way to Success? by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔄Dynamic Programming
Flag this post
My CI/CD bot fixed production while I slept until it didn’t
dev.to·2d·
Discuss: DEV
🌳Red-Black Trees
Flag this post
Colts, Cowboys created trade-deadline fireworks, but have their playoff hopes improved?
nytimes.com·1d
📈Optimization
Flag this post