Agentic Browsers Vulnerabilities: ChatGPT Atlas, Perplexity Comet
medium.com·7h·
Discuss: r/LLM, r/programming
🛡️macOS Security
Flag this post
Rouille – Rust Programming, in French
dev.to·1d·
Discuss: DEV
🔀OCaml Multicore
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·1d
🧠Automated Reasoning
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Superhuman AI for Multiplayer Poker
science.org·1h·
Discuss: Hacker News
🎮Verification Games
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·11h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
[D] Best (free) courses on neural networks
reddit.com·7h·
Discuss: r/MachineLearning
🎯Complexity Classes
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
🧠Automated Reasoning
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·4h·
Discuss: Hacker News
📦Opam
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·9h
🔬Static Analysis
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·7h·
Discuss: Hacker News
λFunctional Programming
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
A DRL-Empowered Multi-Level Jamming Approach for Secure Semantic Communication
arxiv.org·1d
🌐NetworkProtocols
Flag this post
Three Meanings of Reference
sandordargo.com·1d·
Discuss: Hacker News, r/cpp
🎯GADT
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·5h·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
A portable picokernel for async I/O
ryansepassi.com·19h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.to·1d·
Discuss: DEV
🧮Lambda Calculus
Flag this post
Scraping Next.js web sites in 2025
trickster.dev·1d·
Discuss: Hacker News
🔌APIs
Flag this post