Hookmark 6.10 released and upcoming iPhone version of Hookmark
hookproductivity.com·2d·
Discuss: Hacker News
🍎Apple
A New Chapter for Our Built World
bedrockrobotics.com·2h·
Discuss: Hacker News
🧗Climbing Tech
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Show HN: Context Rot Technical Report – How Input Length Impacts LLM Performance
research.trychroma.com·2d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Connecting legibility to theory building in programming
ashwinsundar.com·1d·
Discuss: Hacker News
🔬Static Analysis
Become a machine learning engineer in five to seven steps
maxmynter.com·9h·
Discuss: Hacker News
🔤DSLs
Underwriting Superintelligence
underwriting-superintelligence.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
AI coding tools are shifting to a surprising place: the terminal
techcrunch.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Apple gearing up for day one production of iPhone 17 in India, despite Chinese disruption
9to5mac.com·2d·
Discuss: r/mobiles
🍎Apple
Supporting SEN\'{C}OTEN Language Documentation Efforts with Automatic Speech Recognition
arxiv.org·18h
🐫OCaml
LiLM-RDB-SFC: Lightweight Language Model with Relational Database-Guided DRL for Optimized SFC Provisioning
arxiv.org·18h
🔤DSLs
First real homelab setup a few backup questions
reddit.com·16h·
Discuss: r/homelab
🏠HomeLab
Leveraging Advanced Machine Learning to Predict Turbulence Dynamics from Temperature Observations at an Experimental Prescribed Fire
arxiv.org·18h
🐫OCaml
FedGSCA: Medical Federated Learning with Global Sample Selector and Client Adaptive Adjuster under Label Noise
arxiv.org·18h
🔠Type-Level Programming
I need help.
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
Prox Mox Performance (What they didn't teach you)
reddit.com·3d·
Discuss: r/homelab
💾Retro Computing
Network card upgrade from 2.5G to 10G
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Compliance Minimization via Physics-Informed Gaussian Processes
arxiv.org·1d
🔄Reproducible Builds
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🔍Formal Verification
REST: Stress Testing Large Reasoning Models by Asking Multiple Problems at Once
arxiv.org·1d
🧪Property-Based Testing