👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

Secure Boot, TPM and Anti-Cheat Engines
andrewmoore.ca·22h·
Discuss: Hacker News, r/programming
🔒Hardware Attestation
Man-in-the-Prompt: The invisible attack threatening ChatGPT and other AI systems
securityaffairs.com·1d
🔓Hacking
Build a Secure XOR-Encrypted Chat Client in Python with Pythonaibrain-Client (1.0.4)
dev.to·2d·
Discuss: DEV
🌐NetworkProtocols
We are gen Z – and AI is our future. Will that be good or bad?
theguardian.com·2d
🤖AI Curation
Model Interpretability and Rationale Extraction by Input Mask Optimization
arxiv.org·12h
📊Quantization
Adaptive Direct Memory Access (DMA) Scheduling via Reinforcement Learning for High-Throughput Data Streaming
dev.to·2d·
Discuss: DEV
🌊Stream Processing
TrajSV: A Trajectory-based Model for Sports Video Representations and Applications
arxiv.org·12h
🎬Video Codecs
Controlling Multimodal LLMs via Reward-guided Decoding
arxiv.org·12h
🎧Learned Audio
Automated High-Resolution Microscopy Image Enhancement via Adaptive Wavelet Deconvolution
dev.to·1d·
Discuss: DEV
📊Quantization
HierOctFusion: Multi-scale Octree-based 3D Shape Generation via Part-Whole-Hierarchy Message Passing
arxiv.org·12h
🌈Holographic Archives
Automated Hyperparameter Optimization for Maritime Autonomous Surface Ship (MASS) Trajectory Planning
dev.to·14h·
Discuss: DEV
🧩WASM Components
Automated Validation of iPSC Differentiation Trajectories via Multi-Modal Fusion & Bayesian Optimization
dev.to·2d·
Discuss: DEV
🔍Vector Forensics
Klear-Reasoner: Advancing Reasoning Capability via Gradient-Preserving Clipping Policy Optimization
arxiv.org·6d
🧠Intelligence Compression
Which OS for my first NAS - ProxMox vs TrueNAS?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Connecting AI to the Real World: Understanding Model Context Protocol (MCP) by Anthropic
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
The Rise of AI Patent Search: A Look at IPRally and Traindex
dev.to·3d·
Discuss: DEV
🔍Vector Forensics
How to Outsmart AI Cheating Without Killing Creativity
hackernoon.com·3d
📚Proof Pedagogy
The Critical Importance of Data Analytics in Modern Business Success: Transforming Raw Information into Strategic Advantage
dev.to·9h·
Discuss: DEV
🌊Stream Processing
OpenAI’s GPT-5 vs Claude Opus 4.1: A coding comparison
dev.to·4d·
Discuss: DEV
📏Code Metrics
Enhanced Multiphase Flow Characterization via Deep Learning and Optical Tomography
dev.to·1d·
Discuss: DEV
🌊Stream Processing