GPTs and feeling left behind
whynothugo.nl·1d
⚡Proof Automation
Understanding Stack Traces in Elixir
blog.appsignal.com·1d·
Discuss: Hacker News
🐚Shell Monads
The Amaranth hardware description language
amaranth-lang.org·21h·
Discuss: Hacker News
🔍FPGA Verification
Discovery of lithium’s essential role in Alzheimer’s disease opens a hopeful avenue for treatment
english.elpais.com·8h
💾SQLite
TC39 Advances 11 Proposals for Math Precision, Binary APIs, and More
socket.dev·20h·
Discuss: Hacker News
🎯Gradual Typing
Encapsulation Isn't Java's Fault (and Python Needs It Too)
lihil.cc·1d·
Discuss: Hacker News, r/programming
🔒WASM Capabilities
Using AI to generate a JUCE tutorial
github.com·1d·
Discuss: Hacker News
🎼Audio Lambda Calculus
The Machine, the Expert, and the Common Folks
towardsdatascience.com·5h
🧮Kolmogorov Bounds
Retinal Lipidomics Associations as Candidate Biomarkers for Cardiovascular Health
arxiv.org·21h
🕸️Algebraic Topology
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
🚀 The Rise of No-Code AI Website Builders: How to Build a Website Using AI for Free
dev.to·6h·
Discuss: DEV
⚡Proof Automation
I Let AI Write My Code. It Led to a Two-Day Nightmare.
dev.to·14h·
Discuss: DEV
📏Code Metrics
SynAdapt: Learning Adaptive Reasoning in Large Language Models via Synthetic Continuous Chain-of-Thought
arxiv.org·2d
🧮Constraint SMT
Rethinking Evidence Hierarchies in Medical Language Benchmarks: A Critical Evaluation of HealthBench
arxiv.org·2d
🧠Intelligence Compression
AI is fast-tracking climate research
phys.org·14h
🤖AI Curation
Talking Surveys: How Photorealistic Embodied Conversational Agents Shape Response Quality, Engagement, and Satisfaction
arxiv.org·1d
🏛Digital humanities
Noosemia: toward a Cognitive and Phenomenological Account of Intentionality Attribution in Human-Generative AI Interaction
arxiv.org·1d
🔲Cellular Automata
SAMPO: Visual Preference Optimization for Intent-Aware Segmentation with Vision Foundation Models
arxiv.org·1d
🌀Differential Geometry
Evaluation of Deep Learning Models for LBBB Classification in ECG Signals
arxiv.org·21h
🧠Machine Learning
LLM-Assisted Cheating Detection in Korean Language via Keystrokes
arxiv.org·5d
🧠Intelligence Compression