Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·15h
🏗️Constructive Mathematics
Reverse Engineering a Broken Night Light - Part 1 - Tear Down
mikecoats.com·16h
⚡Circuit Archaeology
The votes are in: TechCrunch Disrupt 2025 Audience Choice winners revealed for roundtables and breakouts
techcrunch.com·15h
🌊Streaming Systems
HoloViz: Panel Material UI Announcement
blog.holoviz.org·4d
📟Terminal Physics
Help Request: Best way to run many chrome profiles in parallel
reddit.com·8h·
Discuss: r/homelab
🔄Sync Engine
Cognition AI Buys Windsurf as AI Frenzy Escalates
slashdot.org·11h
🎙️Whisper
A Budget Quasi-Direct-Drive Motor Inpired By MIT’s Mini Cheetah
hackaday.com·18h
⚙️Tape Transport
Building an AI-Powered Oracle Card Reading System with OpenAI Function Calling
dev.to·16h·
Discuss: DEV
🎯Emulator Accuracy
Investigating the Robustness of Extreme Precipitation Super-Resolution Across Climates
arxiv.org·1h
🖼️JPEG XL
What Factors Affect LLMs and RLLMs in Financial Question Answering?
arxiv.org·1d
🌳Context free grammars
Entity-Specific Cyber Risk Assessment using InsurTech Empowered Risk Factors
arxiv.org·1d
🛡Cybersecurity
Application of RESNET50 Convolution Neural Network for the Extraction of Optical Parameters in Scattering Media
arxiv.org·1h
🔬Optical Physics
CNeuroMod-THINGS, a densely-sampled fMRI dataset for visual neuroscience
arxiv.org·1h
📊Learned Metrics
On Information Geometry and Iterative Optimization in Model Compression: Operator Factorization
arxiv.org·1h
🧠Machine Learning
Key Points for Logging with Python's logging Module
dev.to·3d·
Discuss: DEV
📝Log Parsing
🚀 Introducing CodeWhiz: Your AI-Powered Code Commenting Sidekick for VS Code 🧠✨
dev.to·1d·
Discuss: DEV
🔗Concatenative Languages
CoCo: A Coupled Contrastive Framework for Unsupervised Domain Adaptive Graph Classification
arxiv.org·1h
🕸️Graph Embeddings
The Future of Programming Languages: Where Are We Headed?"
dev.to·4d·
Discuss: DEV
🔄Language Evolution
Building Your AI Governance Foundation
dev.to·18h·
Discuss: DEV
🔄Archival Workflows
Robust Multimodal Large Language Models Against Modality Conflict
arxiv.org·4d
💻Local LLMs