Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·2h
🧮Algebraic Archives
Implicit `operator bool` participates in comparison
quuxplusone.github.io·2d
🦀Rust Verification
FBI seized domains for the BreachForums hacking forum operated by ShinyHunters
metacurity.com·2d
🎫Kerberos Exploitation
Do you really need to buy a new laptop? When to upgrade – and when to hold off
theguardian.com·8h
🖥️Modern Terminals
'Circular' AI Mega-Deals by AI and Hardware Giants are Raising Eyebrows
slashdot.org·20h
🖥️Terminal Renaissance
Why it took 4 years to get a lock files specification
snarky.ca·1d·
Discuss: Lobsters, Hacker News, Hacker News
🔄Language Evolution
Evolution of Apple Security Bounty Program
mjtsai.com·1d
🛡️RISC-V Security
Open ASR Leaderboard tests more than 60 speech recognition models for accuracy and speed
the-decoder.com·6h
🎙️Whisper
Show HN: Compression-Resistant Data Transfers
github.com·8h·
Discuss: Hacker News
🕸️WebP Analysis
Ask HN: Why are *most* people not interested in FOSS/OSS and can we change that
news.ycombinator.com·39m·
Discuss: Hacker News
🐧FOSS
Adapting classical deception theory to cyber counterintelligence: challenges and opportunities
tandfonline.com·1d
🇸🇪Swedish Cryptanalysis
It's my one year anniversary of ditching windows as my main OS!
reddit.com·4h·
Discuss: r/linux
🔌Operating system internals
AI Reddit Sensational Video Summarizer & Shorts Extractor:
dev.to·1d·
Discuss: DEV
🤖Archive Automation
[Help] ProArt X670E-Creator - IOMMU groups for dual passthrough? (pre-purchase)
reddit.com·2d·
Discuss: r/homelab
🖥Home Lab Setup
Built a “code-first + visual” ETL/ELT Pipeline in Go — feedback wanted from data folks
reddit.com·21h·
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·28m·
Discuss: r/homelab
🖥️Modern CPU
Microsoft only lets you opt out of AI photo scanning 3x a year
dev.to·12h·
Discuss: DEV
🤖Archive Automation
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