📏 Linear Types - abnv · Scour

Intermediate Results on the Complexity of STRIPS$_{1}^{1}$

arxiv.org·7h

🎯Bit Vectors

DualMap: Enabling Both Cache Affinity and Load Balancing for Distributed LLM Serving

arxiv.org·1d

💾Cache Algorithms

Premio Inc. Expands RCO and VCO Series Ruggedized Industrial PCs with Intel® Core™ Processors (Series 2)

einpresswire.com·22h

🔌Microcontrollers

New comment by jodrellblank in "Matrix messaging gaining ground in government IT"

matrix.org·22h·

Discuss: Hacker News

🧱First Principles

Pretty Printing the ART (Adaptive Radix Tree) in DuckDB

artjomplaunov.github.io·1d

🤐Zipper Structures

Learn Java Online: A Step-by-Step Guide for Beginners

wscubetech.com·1d·

Discuss: DEV

🎓Teaching Compilers

Global Variables are Evil and Unsafe

forrestthewoods.com·2d

📦Closure Capture

Thoughts: Building Tools that Serve, not Extract

blog.canoozie.net·1d

🎮Language Ergonomics

powerdevbox.com·1d·

Discuss: DEV

💬Interactive REPLs

Hope Is Not a Security Strategy: Why Secure-by-Default Beats Hardening

tuananh.net·1d

🛡️Capability Security

VSORA Board Chair Sandra Rivera on Solutions for AI Inference and LLM Processing

semiwiki.com·22h

🎭Program Synthesis

You can (and should) run a tiny LLM on your Android phone

makeuseof.com·1d

💬Smalltalk VMs

🚀 OLSRT v1.2: A Powerful Runtime for All Programming Languages!

dev.to·1d·

Discuss: DEV

How I Built My Project in Haskell

dev.to·2d·

Discuss: DEV

🌱Minimal Languages

Atomics in C++26?

meetingcpp.com·2d

🧠Memory Models

Grace Hopper's Revenge

thefuriousopposites.com·2d

🔍ML Language

microsoft/litebox: A security-focused library OS supporting kernel- and user-mode execution

github.com·3d·

Discuss: Hacker News, r/programming, r/rust

🛡️Capability VMs

I hold a different opinion regarding the self-built compilation backend

ziggit.dev·2d

🔄Bootstrapping

linuxiac.com·1d

🌱Forth Kernels

Tip of the Week #158: Abseil Associative containers and contains()

abseil.io·2d

🗂️Type Indexing

Loading more...