⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Postgres 18 beta3, small server, sysbench
smalldatum.blogspot.com·4d·
Discuss: smalldatum.blogspot.com
🗄️PostgreSQL WAL
Vulnerability Disclosure: Stealing Emails via Prompt Injections
insinuator.net·3d
📡Feed Security
Uber India Starts Offering Drivers Gigs Collecting and Classifying Info For AI Models
yro.slashdot.org·22h
🌊Streaming Systems
Partytown: Run third-party scripts from a web worker
partytown.qwik.dev·1d·
Discuss: Hacker News
🛡️WebAssembly Security
Minimum Viable Caring: When Efficiency Costs Us
theproductmindedqa.com·12h·
Discuss: Hacker News
🕹️Retro Gaming
Show HN: I Made an ESP32 On-Call Beeper
techsquidtv.com·3d·
Discuss: Hacker News
📡Bluetooth Archaeology
A Quick Debugging Tip
irreal.org·4d
🔓Reverse engineering
Django Unauthenticated, 0 click, RCE, and SQL Injection using default configuration.
infosecwriteups.com·1d
🔓Hacking
Oracle Earnings Preview: The Fourth AI Hyperscaler Ready To Surprise Wall Street
seekingalpha.com·1d
💿ZFS Archaeology
Closing the Visibility Gap: A Monitoring Framework for Verifiable Open RAN Operations
arxiv.org·2d
🔍eBPF
PRECISE-AS: Personalized Reinforcement Learning for Efficient Point-of-Care Echocardiography in Aortic Stenosis Diagnosis
arxiv.org·2d
🌊Stream Processing
Is there any problem with having an OpenShift cluster with 300+ nodes?
reddit.com·14h·
Discuss: r/kubernetes
🔗Proxmox Clustering
Beelink EQi13 Pro Review – Part 2: A mid-range Intel Core i5-13500H mini PC tested with Windows 11 Pro
cnx-software.com·1d
🕸️WASM Archives
Tech partner spotlight: Jamf and CyCraft
jamf.com·2d
🎯Threat Hunting
TauGenNet: Plasma-Driven Tau PET Image Synthesis via Text-Guided 3D Diffusion Models
arxiv.org·1d
🤖Advanced OCR
Structure-Learnable Adapter Fine-Tuning for Parameter-Efficient Large Language Models
arxiv.org·2d
🔗Monadic Parsing
Create a Course on Boot.dev
blog.boot.dev·2d
🔩Systems Programming
The Machine Learning Lessons I’ve Learned This Month
towardsdatascience.com·5d
🧠Machine Learning
Robult: Leveraging Redundancy and Modality Specific Features for Robust Multimodal Learning
arxiv.org·2d
📊Learned Metrics
Smarter Database DevOps with AI: From Changelogs to Intelligent Pipelines
dev.to·2d·
Discuss: DEV
🌊Streaming Databases