Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·4h
🧮Algebraic Archives
Implicit `operator bool` participates in comparison
quuxplusone.github.io·2d
🦀Rust Verification
Forensic Video Workflow with Amped FIVE – Part One: First Steps, Verification and File Considerations
blog.ampedsoftware.com·5d
⚖️Digital Evidence
Do you really need to buy a new laptop? When to upgrade – and when to hold off
theguardian.com·10h
🖥️Modern Terminals
'Circular' AI Mega-Deals by AI and Hardware Giants are Raising Eyebrows
slashdot.org·22h
🖥️Terminal Renaissance
GoMem is a high-performance memory allocator library for Go
github.com·2d
🧠Memory Allocators
Evolution of Apple Security Bounty Program
mjtsai.com·1d
🛡️RISC-V Security
It's my one year anniversary of ditching windows as my main OS!
reddit.com·6h·
Discuss: r/linux
🔌Operating system internals
Gowall v0.2.3 The OCR and Image Compression update (Swiss Army knife for image processing)
reddit.com·2h·
Discuss: r/golang
📸PNG Optimization
How I provide technical clarity to non-technical leaders
seangoedecke.com·17h·
Discuss: Hacker News
⚙️Proof Engineering
AMD Zen 6 CPUs confirmed to work on existing AM5 motherboards
techspot.com·1d·
Discuss: r/hardware, r/technews
🖥️Modern CPU
Built a “code-first + visual” ETL/ELT Pipeline in Go — feedback wanted from data folks
reddit.com·23h·
Discuss: r/golang
💧Liquidhaskell
Injecting Hallucinations in Autonomous Vehicles: A Component-Agnostic Safety Evaluation Framework
arxiv.org·2d
✨Effect Handlers
I want to eventually upgrade my little server into something better… suggestions?
reddit.com·2h·
Discuss: r/homelab
🖥️Modern CPU
Automated Spectral Anomaly Detection via Hyperdimensional Pattern Mapping in Transient Absorption Spectroscopy
dev.to·2d·
Discuss: DEV
🌈Spectroscopy
English - the hottest programming language of the future
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Ambitious Chinese GPU vendor debuts liquid-cooled, single-slot, dual GPU card with 48GB RAM and the ability to get four of them in a system - sadly, it's the In...
techradar.com·1d
🖥️Terminal Renaissance
(FULLY OPEN SOURCE) open-computer-use: Computer agents working on their own VMs
github.com·13h·
Discuss: Hacker News
🏠Homelab Orchestration
Microsoft only lets you opt out of AI photo scanning 3x a year
dev.to·15h·
Discuss: DEV
🤖Archive Automation
What do you think about this setup ?
reddit.com·10h·
Discuss: r/homelab
💾Proxmox Storage