Not a bug
sigwait.org·3d
🌐IPFS
Storming the Gates
domofutu.substack.com·3h·
Discuss: Substack
📚Proof Pedagogy
The Summer of Johann: prompt injections as far as the eye can see
simonwillison.net·3d
🔓Hacking
Does your website even have an iPod?
ryanfeigenbaum.com·21h·
Discuss: Hacker News
🗂️Optical Jukebox
Warning issued after tests reveal ‘really concerning’ pollution in Windermere
the-independent.com·5h
📜Document Physics
Unlocking Linux Superpowers with eBPF and xstack
brainnoises.com·3d·
Discuss: r/linux, r/programming
🔍eBPF
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·4d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Lets See What We Can do! with F# Computation Expressions • Andrew Browne • YOW! 2015
youtube.com·23h
🔗Lisp
Best Practices for Building Agentic AI Systems
userjot.com·3d·
Discuss: Hacker News
⚡Proof Automation
Learning network from scratch using RFC only
reddit.com·3h·
Discuss: r/homelab
📡Network Protocol Design
Every question you ask, every comment you make, I'll be recording you
theregister.com·1d·
Discuss: Hacker News
🤖AI Curation
Show HN: Privacy first tone rewriter Chrome extension using local Gemini Nano
github.com·23h·
Discuss: Hacker News
🗣️CMU Pronouncing
From Doubt To Action: Why I Bought Novo Nordisk After Earnings
seekingalpha.com·17h
🔍BitFunnel
Kids need soft skills in the age of AI, but what does this mean for schools?
phys.org·18h
🔲Cellular Automata
Comparative study of machine learning and statistical methods for automatic identification and quantification in {\gamma}-ray spectrometry
arxiv.org·6d
🌈Spectroscopy
Vibe Coding: Why AI-Powered Development Is Reshaping Software Creation
dev.to·3d·
Discuss: DEV
📏Code Metrics
A Remedy for Over-Squashing in Graph Learning via Forman-Ricci Curvature based Graph-to-Hypergraph Structural Lifting
arxiv.org·1d
🔗Graph Isomorphism
Tim Cook Highlights Apple’s Vision for Groundbreaking Technology Advancements
dev.to·2d·
Discuss: DEV
🍎Apple Computing
Automated SBF-SEM Volume Reconstruction via Multimodal Data Fusion and Adaptive Kernel Regression
dev.to·3d·
Discuss: DEV
🏺Computational Archaeology
How Amazon scaled Rufus by building multi-node inference using AWS Trainium chips and vLLM
aws.amazon.com·5d
⚡Incremental Computation