Footnotes, Gödel exercises, Purcell
logicmatters.net·5h
👑Isabelle
F3 - Fight Flash Fraud
github.com·1d
🛠️Greaseweazle
Week 30 Status
blogs.gnome.org·2d
⚡Proof Automation
LLMs and Mental Health
towardsdatascience.com·4h
🎵Audio ML
ChatGPT chats are now appearing in Google search – here’s how to stop Google from spying on your conversations
techradar.com·4h
🎙️Whisper
Stack Overflow Survey 2025: 84% of devs use AI… but 46% don’t trust it 🤯
shiftmag.dev·7h
📏Code Metrics
Single salt crystals seen creeping across surfaces below liquid for first time
phys.org·6h
💾Floppy Imaging
The Efficiency Trap
anthonybatt.com·18h·
Discuss: Hacker News
🚀Indie Hacking
The big secret that Big AI doesn't want you to know
prettygoodblog.com·7h·
Discuss: Hacker News
🔲Cellular Automata
Security platform: Socket expands security offering with Scala and Kotlin
heise.de·2d
💧Liquid Types
Oranits: Mission Assignment and Task Offloading in Open RAN-based ITS using Metaheuristic and Deep Reinforcement Learning
arxiv.org·2d
🕸️Network Topology
Running in CIRCLE? A Simple Benchmark for LLM Code Interpreter Security
arxiv.org·3d
🔒Language-based security
Deep Dive: I Tested Google's New Gemini 2.5 Pro TTS with Emotion & SSML Tags
dev.to·3d·
Discuss: DEV
🎙️Whisper
FLORES: A Reconfigured Wheel-Legged Robot for Enhanced Steering and Adaptability
arxiv.org·15h
⚙️TLA+
Aether Weaver: Multimodal Affective Narrative Co-Generation with Dynamic Scene Graphs
arxiv.org·1d
🏛Digital humanities
Using Scaling Laws for Data Source Utility Estimation in Domain-Specific Pre-Training
arxiv.org·15h
🧠Machine Learning
Reframe Your Life Story: Interactive Narrative Therapist and Innovative Moment Assessment with Large Language Models
arxiv.org·2d
🏛Digital humanities
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com·2d·
Discuss: www.blogger.com
🌳Persistent Data Structures
VibeTDD Experiment 2.1: The Test-After Trap - When AI 'Covers' Existing Code
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Exploiting Synergistic Cognitive Biases to Bypass Safety in LLMs
arxiv.org·15h
💻Local LLMs