New comment by lawnchair in "Ask HN: Who is hiring? (November 2025)"
🔌Network Programming
Flag this post
A fun application of Green’s functions and geometric algebra: Residue calculus
peeterjoot.com·2d
🧫Cellular Automata
Flag this post
7 Prompt Engineering Tricks to Mitigate Hallucinations in LLMs
machinelearningmastery.com·1d
🧩Theorem Proving
Flag this post
Computational Complexity and Explanations in Physics
gilkalai.wordpress.com·2d
🔐Cryptography
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·23h
🔗Parser Combinators
Flag this post
Repo for AI assistant configs (Claude Code, Codex, Devin, Cursor etc.)
🧩Theorem Proving
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
🧩Theorem Proving
Flag this post
Spatial Reasoning Unleashed: Causal Language Models for Smarter Spatial Data
🎲Probabilistic Programming
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
🔍Static Analysis
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·23h
🔗Parser Combinators
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
🎲Probabilistic Programming
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
🎲Probabilistic Programming
Flag this post
CompAgent: An Agentic Framework for Visual Compliance Verification
arxiv.org·23h
🎲Probabilistic Programming
Flag this post
Loading...Loading more...