Introducing pileof.tools
nkantar.com·2d
💾Retrocomputing
[Workflow] Create Style-Consistent 3D Assets Using Meshy
i.redd.it·1d·
Discuss: r/meshyai
🧫Cellular Automata
Building a Simple AI DAW
blog.jonaylor.com·1d·
Discuss: Hacker News
🔧Compiler Design
Practical Diff Testing of Stateful Applications (VLDB'25)
muratbuffalo.blogspot.com·2d·
Discuss: Hacker News
🔍Static Analysis
The Summer of Johann: prompt injections as far as the eye can see
simonwillison.net·5h
🧭SMT Solvers
Taking a Second Look
2ndsetai.substack.com·1d·
Discuss: Substack
🤖Sci-Fi
A database of life history parameters for Pacific coral reef fish
nature.com·1d
🧮Programming Language Theory
Amazon SDE 1 Interview Experience: I received the acceptance letter!
dev.to·19h·
Discuss: DEV
⚖Algorithmic Game Theory
Microservices: Is It Worth the Trouble?
hackernoon.com·15h
🌍Distributed Systems
How to get ChatGPT to really thoroughly research something
lesswrong.com·15h
🔢Mathematical Logic
The GPT-5 Paradox: Genius in Thought, Gaps in Safety
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
On the synchronization between Hugging Face pre-trained language models and their upstream GitHub repository
arxiv.org·23h
🔗Parser Combinators
This might be the most underrated AI skill of 2025:
threadreaderapp.com·19h
🔗Parser Combinators
Automated Validation Pipeline for High-Dimensional Scientific Data Analysis
dev.to·3d·
Discuss: DEV
🔍Static Analysis
Dual Signal Decomposition of Stochastic Time Series
arxiv.org·4d
📊Information Theory
Multi-head Transformers Provably Learn Symbolic Multi-step Reasoning via Gradient Descent
arxiv.org·3d
🧭SMT Solvers
Deep Learning in Classical and Quantum Physics
arxiv.org·23h
🔐Cryptography
There is (no) problem with Ai.
dev.to·18h·
Discuss: DEV
🤖Sci-Fi
GS4Buildings: Prior-Guided Gaussian Splatting for 3D Building Reconstruction
arxiv.org·3d
🧫Cellular Automata
FNBT: Full Negation Belief Transformation for Open-World Information Fusion Based on Dempster-Shafer Theory of Evidence
arxiv.org·3d
🔢Mathematical Logic