Browse Popular Feeds

Papers I find interesting---mostly, but not solely, in Process Algebra---, and some fun stuff in Mathematics and Computer Science at large and on general issues related to research, teaching and academic life.

CONCUR Test-of-Time Awards 20264w

Estonian-Latvian Computer Science Theory Days 20266w

GandALF 2026: First call for papers7w

FINN Technology tech.finn.no

Haskell at FINN.no395w

Preparing your product for machine learning405w

5 learnings from Hack Days in FINN411w

Articles on Moritz Systems moritz.systems

Full multiprocess support in lldb-server202w

Implementing non-stop protocol compatibility in LLDB207w

Multiprocess support for LLDB215w

Bubbles Bad; Ripples Good williewong.wordpress.com

... Data aequatione quotcunque fluentes quantitates involvente fluxiones invenire et vice versa ...

Migration364w

Chromebook adventure389w

Heat ball451w

GAD's Ramblings gad.net

My Pulmonary Embolism Story4w

Guild Guitar Serial Number Chart5w

GAD’s 2024 Eclipse Photos110w

Thom Langford thomlangford.com

Here is What the Rugby 6 Nations Taught me About B2B Marketing*9w

Taking Care of Business156w

You, Me, and Dystopia157w

Boom! Michael Droettboom's blog droettboom.com

25 Years of Attending Python Conferences1w

How to think about LLMs for OSS development44w

This Week in Glean: November 1, 2019341w

Conal Elliott conal.net

Inspirations & experiments, mainly about denotative/functional programming in Haskell

Circuits as a bicartesian closed category661w

Optimizing CCCs661w

Overloading lambda661w

Stories by Alex Komoroske on Medium medium.com

What Got Lost in the Optimization23w

The Magic of Acorns117w

The Sarumans and The Radagasts134w

{networkphil} networkphil.com

Rail-Optimized Networking for AI Training Workloads5w

Choosing Between Leaf-Spine and Butterfly Fabrics in Modern Data Centers7w

Designing the Modern Data Center Network for AI Workloads8w

Kai Kaufman’s tech blog ktkaufman03.github.io

The ramblings of a cybersecurity student and software (reverse) engineer.

Bringing runtime checks to compile time in Rust161w

Reviving the coolest film scanner you've never heard of193w

Degarps Järnvägar degarp.blogspot.com

16w

Spårplan339w

Giuseppe iuculano.it

Beentouch mi denuncia e perde con una sentenza storica338w

Housers Italia, opinioni, pro e contro, e codice promozionale448w

Matteo Achilli, Egomnia, The Startup, il re delle polpette digitali473w

Ted's Soapbox on Linux, File systems, and the World on Theodore Ts'o thunk.org

Recent content in Ted's Soapbox on Linux, File systems, and the World on Theodore Ts'o

Switching to Hugo365w

Is Nokia Doomed?805w

Android will be using ext4 starting with Gingerbread805w

Megabeets megabeets.net

Mapping the connections inside Russia’s APT Ecosystem306w

Deobfuscating APT32 Flow Graphs with Cutter and Radare2306w

The Evolution of BackSwap306w

Not Rocket Science stum.de

Building an Arcade Fight Stick241w

Avoid Vendor Lock-in for your Build Server/Continuous Integration provider281w

2.5 Gigabit Ethernet with Ubiquiti Unifi US-16-XG and Ubuntu Linux 18.04323w

« Page 362
·
Page 364 »