FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
Row Your Boat: How I made a boat physics simulation inside Oblivion Remastered
hallada.net·1d·
Discuss: Hacker News
🏺Computational Archaeology
JNI Obfuscation, Reverse Engineering, and Android Security
hackernoon.com·1d
🎮Game Decompilation
This many points is surely out of scope!
aras-p.info·2d·
Discuss: Hacker News
🖥️Modern Terminals
Linux profiling with perf and performance counters – useful links
perfwiki.github.io·2d·
Discuss: Hacker News
⚡Performance Tools
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
AMD addresses AM5 socket burnout concerns after wave of Ryzen CPU failures
techspot.com·7h
🧲RISC-V Archaeology
Thoughts on systems thinking and production excellence from Release It
stevenoxley.com·4h·
Discuss: Hacker News
🛡️Error Boundaries
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·15h
✨Algebraic Effects
The first AI-powered ransomware has been discovered — "PromptLock" uses local AI to foil heuristic detection and evade API tracking
tomshardware.com·26m
🚀Indie Hacking
Make the Easy Change Hard
blog.appliedcomputing.io·22h·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·5h·
Discuss: Hacker News
⚡Proof Automation
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·15h
🔧Hardware Verification
Using Chrome Dev Tools AI Assitance to Automate UI from Javascript Console
dev.to·2h·
Discuss: DEV
⚡Proof Automation
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·1h·
Discuss: DEV
🧠Intelligence Compression
Kimi K2: The Game-Changing Open-Source AI That's Rewriting the Rules of Intelligent Development
dev.to·15h·
Discuss: DEV
🧠Intelligence Compression
LLM System Design and Model Selection
oreilly.com·9h
💻Local LLMs
TRIM: Accelerating High-Dimensional Vector Similarity Search with Enhanced Triangle-Inequality-Based Pruning
arxiv.org·15h
🗂️Vector Databases
Framework is now selling the first gaming laptop that lets you easily upgrade its GPU — with Nvidia’s blessing
theverge.com·4h·
Discuss: Hacker News, r/hardware
🖥️Modern Terminals
Building first homelab | Looking for suggestions
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab