Mathematics solves problems by pen and paper. CS helps us to go far beyond that
📈Complexity Theory
Flag this post
Show HN: Multi-Agent Code Review
🧩Theorem Proving
Flag this post
The Infrastructure of Modern Ranking Systems, Part 3: The MLOps Backbone - From Training to Deployment
shaped.ai·2d
🎲Probabilistic Programming
Flag this post
My Experience as a SDE Intern at AWS
🧩Theorem Proving
Flag this post
I Use AI
🧩Theorem Proving
Flag this post
I Got Tired of Deceptive Casino Bonuses, So I Built a "Truth Calculator" with Vanilla JavaScript. Here's How You Can Too.
🧮Programming Language Theory
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Beyond computational assumptions: How BGKW replaced hardness with isolation
🔐Cryptography
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
🧩Theorem Proving
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.org·1d
🔐Cryptography
Flag this post
[TUI] Ricing the original Rogue
⚙Functional Programming
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
🔐Cryptography
Flag this post
Going From Reactive to Predictive Incident Response with AIOps
hackernoon.com·7h
🎲Probabilistic Programming
Flag this post
I Work in Healthcare, and I Built Syda to Solve One Simple Problem: Test Data
🎲Probabilistic Programming
Flag this post
One of the most devious malware strains might have been cracked - and it's all thanks to Gen AI
techradar.com·11h
🔗Parser Combinators
Flag this post
Loading...Loading more...