New comment by lawnchair in "Ask HN: Who is hiring? (November 2025)"
🔌Network Programming
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
⚙Functional Programming
Flag this post
A fun application of Green’s functions and geometric algebra: Residue calculus
peeterjoot.com·1d
🧫Cellular Automata
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
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·11h
🔐Cryptography
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·11h
🔢Mathematical Logic
Flag this post
Code Smell 313 - Workslop Code
🧫Cellular Automata
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
🔗Parser Combinators
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·11h
🎲Probabilistic Programming
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·11h
🎲Probabilistic Programming
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
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·11h
🧮Programming Language Theory
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
🔗Parser Combinators
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·11h
🎲Probabilistic Programming
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.org·11h
🔢Mathematical Logic
Flag this post
Loading...Loading more...