Scientists pioneer 3D temperature mapping inside living tissue using light and AI
phys.orgยท1d
๐ŸŒˆHolographic Archives
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.orgยท17h
๐Ÿฆ€Rust Macros
AI Test User
incoherency.co.ukยท2d
โšกProof Automation
Google brings Gemini 2.5 Pro and Deep Search to AI Mode and adds AI phone calling to search
the-decoder.comยท1d
๐ŸŒ€Brotli Internals
Taikyoku Shogi
en.wikipedia.orgยท10hยท
Discuss: Hacker News
๐Ÿ‡ฏ๐Ÿ‡ตJapanese Computing
Show HN: 1.5B LLM routing model that aligns to preferences, not leaderboards
huggingface.coยท8hยท
Discuss: Hacker News
๐Ÿ“ABNF Parsing
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Knowledge Without Power: AI, Infrastructure, and the Ethics of Design
medium.comยท14hยท
Discuss: Hacker News
โš–๏ธEmulation Ethics
Spent the week at one of the top AI research conferences
aol.comยท9hยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
The AI Framework Trap
hackernoon.comยท3d
โšกProof Automation
3D Wavelet Latent Diffusion Model for Whole-Body MR-to-CT Modality Translation
arxiv.orgยท1d
๐Ÿ“ŠLearned Metrics
Supporting SEN\'{C}OTEN Language Documentation Efforts with Automatic Speech Recognition
arxiv.orgยท2d
๐ŸŽ™๏ธWhisper
Orchestrator-Agent Trust: A Modular Agentic AI Visual Classification System with Trust-Aware Orchestration and RAG-Based Reasoning
arxiv.orgยท2d
๐ŸŽตAudio ML
PanoDiff-SR: Synthesizing Dental Panoramic Radiographs using Diffusion and Super-resolution
arxiv.orgยท3d
๐Ÿค–Advanced OCR
AWS AI League: Learn, innovate, and compete in our new ultimate AI showdown
aws.amazon.comยท11h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.orgยท1d
๐Ÿ’ปProgramming languages
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Concrete Syntax
Building Readable AI Agents: From Spaghetti Code to Human-Friendly Logic
dev.toยท3dยท
Discuss: DEV
๐ŸŒณIncremental Parsing
Proof-theoretic Semantics for First-order Logic
arxiv.orgยท54m
๐Ÿ—๏ธConstructive Logic
RegCL: Continual Adaptation of Segment Anything Model via Model Merging
arxiv.orgยท1d
โœจEffect Handlers