💻 CS - matmat · Scour

kiselgra/c-mera: Next-level syntax for C-like languages :)

github.com·17h·

Discuss: Hacker News

🧠Lisp Dialects

Differential Logic • 14

inquiryintoinquiry.com·19h

🔬Logic in Computer Science

Data Structures and Algorithms Introduction

hellointerview.com·1d

🌳Huffman Trees

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)

ndss-symposium.org·10h·

Discuss: Hacker News

🧪Binary Fuzzing

An Introduction to Lean 4

uv.es·1d

⚔️Lean Tactics

Combat Robotics

hackster.io·15h

🦾ARM Cortex-M

Gödel, slowly …

logicmatters.net·18h

λLambda Formalization

The Chinese Computer: Competition or Cooperation?

languagelog.ldc.upenn.edu·5h

🇨🇳Chinese Computing

AI Assistant Uses ESP32

hackaday.com·1d

11011110.github.io·17h

🕳️Persistent Homology

Byte-Pair Encoding

en.wikipedia.org·3h·

Discuss: Hacker News

📝Text Compression

Everything changes, and nothing changes

btao.org·22h·

Discuss: Lobsters, Hacker News

⚡Incremental Computation

Harmony and Duality: An introduction to Music Theory

arxiv.org·2d

🎼Audio Lambda Calculus

What does it mean to compute? Framework maps hidden computations running inside natural dynamic systems

phys.org·2d

🔲Cellular Automata

Let’s stop copying C

eev.ee·1d

🔗Concatenative Programming

David W. Bates, cybernetics specialist: 'The brain is not a computer'

lemonde.fr

·1d

👂Audio Evidence

TurboSparse-LLM Performance: Outperforming Mixtral and Gemma with Extreme Sparsity

hackernoon.com·1d

⚙️Compression Benchmarking

Swapping NULL for NUL - a better way to find nothing!

research.exoticsilicon.com·1d

🧠Lisp Dialects

The RISC Concept - A Survey of Implementations

inf.fu-berlin.de·1d

Music Programming Studio: Live-Coding and AI Prompting

news.ycombinator.com·10h·

Discuss: Hacker News

🎧Learned Audio

Loading more...