🏛️ Isabelle HOL

Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

PLTW: Palantir-Led Upside Should Continue, Amid Volatility
seekingalpha.com·1d
🔍BitFunnel
What Elite Tech Students Are Learning from Poetry
theatlantic.com·9h
🏛Digital humanities
SuperSight: A graphical enhancement mod for Brøderbund's "Stunts"
marnetto.net·2d·
Discuss: Hacker News
🎮Game Decompilation
.NET 10 preview out now, likely to be near feature-complete
theregister.com·1d
🌐Web Standards
Merge Forward Meeting - 2025-08-13
youtube.com·8h
🌊Streaming Systems
URL Inspection Tasks: Helping Users Detect Phishing Links in Emails
usenix.org·2d
🌐WARC Forensics
APIs for Translation: What to Know Before You Integrate
dev.to·13h·
Discuss: DEV
🔄Migration Tools
Accelerating exoplanet climate modelling: A machine learning approach to complement 3D GCM grid simulations
arxiv.org·18h
⚡Incremental Computation
Deep Dive into SSTI: Finding and Exploiting Server-Side Template Injection Like a Pro
infosecwriteups.com·14h
🛡️WASM Security
Layer-Wise Analysis of Self-Supervised Representations for Age and Gender Classification in Children's Speech
arxiv.org·18h
🎙️Whisper
DAS: Dual-Aligned Semantic IDs Empowered Industrial Recommender System
arxiv.org·18h
🎯Content Recommendation
Predictive Flood Risk Assessment via Spatiotemporal Bayesian Network Fusion
dev.to·3d·
Discuss: DEV
🧠Machine Learning
MedReasoner: Reinforcement Learning Drives Reasoning Grounding from Clinical Thought to Pixel-Level Precision
arxiv.org·3d
📊Learned Metrics
PROPS: Progressively Private Self-alignment of Large Language Models
arxiv.org·3d
💻Local LLMs
Word Clouds as Common Voices: LLM-Assisted Visualization of Participant-Weighted Themes in Qualitative Interviews
arxiv.org·3d
🏛Digital humanities
I Built a "GPT" in My Browser in One Evening. The Journey from Amnesia to Stable Learning with Pure JS.
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Enhancing Traction Power Grid Resilience via Adaptive Optimal Power Flow with Bayesian Reinforcement Learning
dev.to·1d·
Discuss: DEV
🤖Network Automation
Advanced Wear Characterization via Multi-Scale Bayesian Optimization of Surface Texturing
dev.to·15h·
Discuss: DEV
⚙️Tape Engineering
LEAVES: Learning Views for Time-Series Biobehavioral Data in Contrastive Learning
arxiv.org·1d
📊Learned Metrics
Real-World Applications of Agentic AI in Business Process Automation
dev.to·1d·
Discuss: DEV
🌊Stream Processing