Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·20h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
📐Type Theory
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.com·4h·
🔀SIMD Programming
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·2d·
Discuss: Hacker News
🔗Dependent Types
Flag this post
I Processed the Internet on a Single Machine to Find Valuable Expired Domains
blog.mbrt.dev·1d·
Discuss: Hacker News
🌿Trie Structures
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
reddit.com·1d·
🧮Vector Databases
Flag this post
Building Custom Components in Langflow 🛠️
dev.to·11h·
Discuss: DEV
💎Refinement Types
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·1d
🚀MLOps
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·1d
💬Prompt Engineering
Flag this post
Demo: Statistically Significant Results On Biases and Errors of LLMs Do Not Guarantee Generalizable Results
arxiv.org·14h
🚀MLOps
Flag this post
A brief guide for those who slept (on AI) the last two years
github.com·3h·
Discuss: DEV
💬Prompt Engineering
Flag this post
How I Built a 95% Accurate Defect Detection System with an ESP32-CAM and Python
dev.to·3h·
Discuss: DEV
👁️Computer Vision
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·1d
🎭Program Synthesis
Flag this post
Thoughts on this backend role?
reddit.com·2h·
Discuss: r/golang
💚Node.js
Flag this post
Day 25: Python Coin Flip Game, Simple Interactive Guessing with Random
dev.to·3h·
Discuss: DEV
⏭️Skip Lists
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
dev.to·2d·
Discuss: DEV
🔢Homomorphic Encryption
Flag this post
Reverse Engineering Googles BotGuard
github.com·1d·
Discuss: Hacker News
🔓Binary Exploitation
Flag this post
Bio-Inspired Neuron Synapse Optimization for Adaptive Learning and Smart Decision-Making
arxiv.org·1d
🔬Deep Learning
Flag this post