Program verification is not all-or-nothing
lawrencecpaulson.github.io·6d
🎯Performance Proofs
Show HN: Gimli Tailwind 5 -The most popular extension for TailwindCSS developers
gimli.app·2d·
Discuss: Hacker News
📖Nordic Typography
The 10x DevRel
adatosystems.com·1d·
Discuss: Hacker News
❄️Nix Adoption
How to make graphical Python apps the EasyGUI way
tomshardware.com·1d
🪟Awesome windows command-line
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·6d·
Discuss: Substack
🎯Gradual Typing
7 Essential CISM Certification Requirements You Must Know
dev.to·2h·
Discuss: DEV
🎯Threat Hunting
Two 7th-century people found with West African ancestry—diversity and integration in early Anglo-Saxon society
phys.org·23h
👪Geneology
The Aider Local Model Experience
hexeditreality.com·5d·
Discuss: Hacker News
⚡Proof Automation
Rug pulls, forks, and open-source feudalism
lwn.net·5d·
Discuss: Hacker News
🔓Open Source Software
A “Beam Versus Dataflow” Conversation
oreilly.com·3d
🌊Stream Processing
Any new 25/50/100 "economy" NICs for PCIe5 ?
reddit.com·2d·
Discuss: r/homelab
🔌Operating system internals
How to Install & Run Microsoft Kosmos-2.5 Locally?
dev.to·3d·
Discuss: DEV
🔄Sync Engine
SentinelOne, Inc. (S) Presents At Goldman Sachs Communacopia + Technology Conference (Transcript)
seekingalpha.com·2d
👁️Observatory Systems
Evaluating the Efficiency of Latent Spaces via the Coupling-Matrix
arxiv.org·2d
🧠Machine Learning
Benchmarking Large Language Models for Personalized Guidance in AI-Enhanced Learning
arxiv.org·2d
🎙️Whisper
Northern Trust Corporation (NTRS) Presents At Barclays 23rd Annual Global Financial Services Conference Transcript
seekingalpha.com·1d
🔤EBCDIC Privacy
ADHAM: Additive Deep Hazard Analysis Mixtures for Interpretable Survival Regression
arxiv.org·1d
🧠Machine Learning
NeuroGaze: A Hybrid EEG and Eye-Tracking Brain-Computer Interface for Hands-Free Interaction in Virtual Reality
arxiv.org·1d
📟Terminal Physics
Quantized Temporal Graph Matching for Anomaly Detection in Reversed Mass Ordering Systems
dev.to·4d·
Discuss: DEV
🔤EBCDIC Mining
Did you know about this new feature in Github copilot ?
dev.to·1d·
Discuss: DEV
🔓Open Source Software