Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·9h
🧮Algebraic Archives
Implicit `operator bool` participates in comparison
quuxplusone.github.io·2d
🦀Rust Verification
The Only Thing Stopping You from Switching to Linux Is Your Mindset
linuxiac.com·1h
🔌Operating system internals
Introducing oavif: faster target quality image compression
giannirosato.com·5h·
Discuss: Lobsters, Hacker News
⚡Modern Compression
Help Identify Fake/Scam Investors or Website from Switzerland, Dubai, and Beyond
escamly.com·48m·
Discuss: Hacker News
🚀Indie Hacking
Do you really need to buy a new laptop? When to upgrade – and when to hold off
theguardian.com·15h
🖥️Modern Terminals
'Circular' AI Mega-Deals by AI and Hardware Giants are Raising Eyebrows
slashdot.org·1d
🖥️Terminal Renaissance
Evolution of Apple Security Bounty Program
mjtsai.com·2d
🛡️RISC-V Security
After the AI boom: what might we be left with?
blog.robbowley.net·9h·
Discuss: Hacker News
🏠Homelab Federation
It's my one year anniversary of ditching windows as my main OS!
reddit.com·11h·
Discuss: r/linux
🔌Operating system internals
Gowall v0.2.3 The OCR and Image Compression update (Swiss Army knife for image processing)
reddit.com·7h·
Discuss: r/golang
📸PNG Optimization
Ask HN: Why are *most* people not interested in FOSS/OSS and can we change that
news.ycombinator.com·7h·
Discuss: Hacker News
🐧FOSS
'Happy Gilmore' Producer Buys Spyware Maker NSO Group
wired.com·1d
🔓Hacking
A tangled web of deals stokes AI bubble fears in Silicon Valley
dev.to·1d·
Discuss: DEV
🤖AI Curation
Hyper-Personalized Cyberbullying Mitigation via Adaptive Linguistic Fingerprinting and Behavioral Anomaly Detection
dev.to·1d·
Discuss: DEV
🎛️Feed Filtering
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·2d·
Discuss: DEV
🔤Character Classification
Real-Time Disaster Response via Distributed CubeSat EO with Adaptive Spectral Unmixing
dev.to·11h·
Discuss: DEV
📥Feed Aggregation
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·2h·
Discuss: DEV
🎬WebCodecs
Been learning Go for the past couple of months. I built this fun project - tview, a terminal tool to visualize your folder structure as a tree
reddit.com·2h·
Discuss: r/golang
⌨️Terminal Customization
Automated Cellular Phenotype Prediction via Hybrid Transformer-RNN Ensemble
dev.to·4h·
Discuss: DEV
🧠Machine Learning