matmat's Top Finds on Scour Today from all feeds scour.ing

WybeCoder: Verified Imperative Code Generation

facebookresearch.github.io·4w·Hacker News

Quad9 Enables DNS Over HTTP/3 and DNS Over QUIC

reddit.com·4w·r/Quad9

Linear Algebra in ML and its components:

medium.com·4w

aws/s2n-tls: An implementation of the TLS/SSL protocols

github.com·4w

Knowledge Graphs, Part III

jessicatalisman.substack.com

·4w·Substack

Introduction - Wasmz - The Fastest WebAssembly Interpreter

ray-d-song.github.io·4w

Reverse Engineering for Malware Analysis

sei.cmu.edu·4w

Malware Analysis: What is it and How to Get Started

sans.org·4w

The Q1 vulnerability pulse

malware.news·4w

Your old laptop is a decent entry-level Proxmox server

xda-developers.com·4w

Machine Learning

medium.com·4w

I created the fastest WASM interpreter

ziggit.dev·4w

How to Outline Text (Badly, at First)

kellydornhaus.com·4w·Hacker News

Post-Quantum Cryptography Migration at Meta: Framework, Lessons, and Takeaways

engineering.fb.com·4w·Hacker News, Hacker News, r/programming

5 boring Home Assistant automations I’d set up before trying AI control

xda-developers.com·4w

Introducing Confluent Platform 8.2: Queues for Apache Kafka®, Flink SQL, and More

confluent.io·4w

Modern Microprocessors

lighterra.com·4w

Homomorphic Encryption: An End-to-End Guide

medium.com·4w

SIMD Parallelism

en.algorithmica.org·4w·Hacker News

QUIC will soon be as important as TCP

theregister.com·4w·Hacker News, Hacker News

Log in to enable infinite scrolling