Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·22h
⚙Functional Programming
Flag this post
Computational Complexity and Explanations in Physics
gilkalai.wordpress.com·1d
🔐Cryptography
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
🧩Theorem Proving
Flag this post
This blew my mind 🤯
threadreaderapp.com·1d
🔌Network Programming
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·8h
🔐Cryptography
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
🔗Parser Combinators
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·8h
🔢Mathematical Logic
Flag this post
Code Smell 313 - Workslop Code
🧫Cellular Automata
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·8h
🎲Probabilistic Programming
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
🔗Parser Combinators
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·8h
🎲Probabilistic Programming
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·8h
🧮Programming Language Theory
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·8h
🎲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·8h
🔢Mathematical Logic
Flag this post
Hybrid Quantum-Classical Optimization of the Resource Scheduling Problem
arxiv.org·8h
🔐Cryptography
Flag this post
Loading...Loading more...