PyTorch Team Introduces Cluster Programming
i-programmer.info·2h
🔌Network Programming
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
⚙Functional Programming
Flag this post
This blew my mind 🤯
threadreaderapp.com·1d
🔌Network Programming
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·15h
🔢Mathematical Logic
Flag this post
Code Smell 313 - Workslop Code
🧫Cellular Automata
Flag this post
A Practical Guide to Building AI Agents With Java and Spring AI - Part 1 - Create an AI Agent
🧩Theorem Proving
Flag this post
Computational Complexity and Explanations in Physics
gilkalai.wordpress.com·1d
🔐Cryptography
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·15h
🎲Probabilistic Programming
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·15h
🎲Probabilistic Programming
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·15h
🧮Programming Language Theory
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·15h
🎲Probabilistic Programming
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
🧩Theorem Proving
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.org·15h
🔢Mathematical Logic
Flag this post
Hybrid Quantum-Classical Optimization of the Resource Scheduling Problem
arxiv.org·15h
🔐Cryptography
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·15h
🔗Parser Combinators
Flag this post
Repo for AI assistant configs (Claude Code, Codex, Devin, Cursor etc.)
🧩Theorem Proving
Flag this post
Loading...Loading more...