RSS feed in an Astro blog
amanhimself.dev·1d
📰RSS Feed Discovery
Leopard Lord (1983)
bluerenga.blog·9h
🕹️Retro Gaming
Zig Is Great for Observability
inge.4pr.es·20h·
Discuss: Hacker News
👁️System Observability
ExecPlans – How to get your coding agent to run for hours
kau.sh·3h
⚡Proof Automation
Sorting encrypted data without decryption: a practical trick
dev.to·2d·
Discuss: DEV
🔐Hash Functions
Wireguard FPGA
github.com·11h·
Discuss: Hacker News
🔧FPGA Preservation
Fundamental engineering principles can help identify disease biomarkers more quickly
phys.org·1d
⚙️systems theory
How Comet Browser Transformed My Machine Learning Workflow (And Why Every Developer Should Try It)
dev.to·1d·
Discuss: DEV
🌊Streaming Algorithms
Markdown2pdf – pure md to pdf transpiler implementation in Rust
github.com·2d·
Discuss: Hacker News
📄PDF Internals
Edge AI: How On-Device Intelligence Is Revolutionizing App Development?
dev.to·10h·
Discuss: DEV
🌊Stream Processing
LLM-Driven Rubric-Based Assessment of Algebraic Competence in Multi-Stage Block Coding Tasks with Design and Field Evaluation
arxiv.org·4d
💻Programming languages
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·3d
📼Cassette Combinators
Show HN: Orchestro – Trello for Claude Code with Kanban Board
github.com·12h·
Discuss: Hacker News
🔄Sync Engine
Satellite Navigation and Control using Physics-Informed Artificial Potential Field and Sliding Mode Controller
arxiv.org·3d
🎮Game Cartridge Emulation
Graph-based LLM over Semi-Structured Population Data for Dynamic Policy Response
arxiv.org·5d
💻Local LLMs
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·4d
💻Local LLMs
Linguistic Patterns in Pandemic-Related Content: A Comparative Analysis of COVID-19, Constraint, and Monkeypox Datasets
arxiv.org·3d
💾Binary Linguistics
Get RICH or Die Scaling: Profitably Trading Inference Compute for Robustness
arxiv.org·4d
🧠Intelligence Compression
Building AI Systems That Don't Break Under Attack
dev.to·22h·
Discuss: DEV
⚡Proof Automation
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·6d
⚡Proof Automation