⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Integrating Code Insight into Reverse Engineering Workflows
blog.virustotal.com·6d·
Discuss: blog.virustotal.com
🔬Binary Analysis
The Voice-Only Mid-Year Review: Testing the Limits of ChatGPT Voice Mode
fortelabs.com·2d
🎙️Whisper
What is a large language model?
proton.me·5d
💻Local LLMs
Nvidia reveals Large Plant Model to zap weeds using laser beams from tractors fitted with nvidia GPUs
forums.anandtech.com·2d
🖥️Modern Terminals
Half an year on Alpine: just musl aside
blog.jutty.dev·2d·
Discuss: Hacker News
🔌Operating system internals
Understanding Rate Limiting: 5 Essential Algorithms for Protecting Your APIs day 41 of sytem design Basics
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Data leak through Salesloft: Cloudflare, Palo Alto, Zscaler affected
heise.de·1h
🎫Kerberos Attacks
nanovms/nanos
github.com·2d
🔌Operating system internals
The cling of doom: How staph bacteria latch onto human skin
phys.org·1h
💿WORM Storage
Hyper-Resonant Isotope Separation for High-Purity Hydrogen Production via Focused Acoustic Cavitation
dev.to·3h·
Discuss: DEV
⚛️Information Physics
The Latest Projects from Cornell’s ECE 4760/5730
hackaday.com·3d
⚡Circuit Design
Roll-to-roll method streamlines DNA sequencing with faster, more efficient fluidics
phys.org·1h
🌊Stream Processing
Call for Writers and Reviewers: News guides on AI, Green Computing and EDI
software.ac.uk·1d
🌱Personal Wikis
Just Started as a Go Backend Engineer – How Can I Level Up Fast for a Great Remote Role?
reddit.com·3d·
Discuss: r/golang
🌊Streaming Databases
Cooperative Sensing Enhanced UAV Path-Following and Obstacle Avoidance with Variable Formation
arxiv.org·2d
🔲Cellular Automata
Benchmarking the State of Networks with a Low-Cost Method Based on Reservoir Computing
arxiv.org·2d
🧠Machine Learning
🪄 Scopes, Closures, and Decorators in Python: A Deep Dive Adventure
dev.to·6d·
Discuss: DEV
⬆️Lambda Lifting
Kubernetes v1.34 is released with some interesting changes- what do you think will have the biggest impact?
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
Bring your own brain? Why local LLMs are taking off
theregister.com·3d·
Discuss: Hacker News
💻Local LLMs
Real-Time SLAM Graph Optimization with Adaptive Kalman Filtering for Urban Canyon Navigation
dev.to·1d·
Discuss: DEV
📊Computational Geometry