essential spectrum
ncatlab.org·18h
🔄Functional Programming
Flag this post
Limitations of a two-pass assembler
boston.conman.org·1d
🔧programming language design
Flag this post
HTB: Dump
0xdf.gitlab.io·18h
📲local-first software
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·23h
🔧programming language design
Flag this post
Day 2 of building Secrin
🕸semantic web
Flag this post
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
🦀Borrow Checker
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
🦀Borrow Checker
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.org·23h
🔄Functional Programming
Flag this post
Lately, coding with Claude has been very smooth. I am able to complete experiments on time.
🔄Functional Programming
Flag this post
Beyond computational assumptions: How BGKW replaced hardness with isolation
🔄Functional Programming
Flag this post
EDL - a JIT-compiled scripting language for certain performance critical workloads with high compatibility with Rust; written in Rust
🔧programming language design
Flag this post
Bitcoin Core now has an interface for its consensus code - TheCharlatan
github.com·9h
🔧programming language design
Flag this post
How to build a Heapless Vector using `MaybeUninit<T>` for Better Performance.
🔧programming language design
Flag this post
Loading...Loading more...