Type Theory, Lambda Calculus, Semantics, Compiler Design

Never Lie by Freida McFadden
rhuijin.ccยท6h
๐ŸชœScala
Flag this post
Xqerl โ€“ Erlang XQuery 3.1 Processor
zadean.github.ioยท1dยท
Discuss: Hacker News
๐ŸซOcaml
Flag this post
Simulating a Planet on the GPU: Part 1
patrickcelentano.comยท10hยท
Discuss: Hacker News
๐Ÿฆ€Rust
Flag this post
How Google Is Shifting AI From the Cloud to Your Browser
thenewstack.ioยท2h
๐Ÿค–AI
Flag this post
AI-Accelerated Agile Hardware Design Using the ROHD Framework
intel.github.ioยท17hยท
Discuss: Hacker News
๐Ÿ“formal specification
Flag this post
How Writing Prompts Taught Me to Think Like a Programmer
inspiredbywords.hashnode.devยท21hยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Running Out of AI
tomtunguz.comยท17h
๐Ÿค–AI
Flag this post
Statistical mechanics for networks of real neurons
link.aps.orgยท40m
๐Ÿ”„Concurrency Models
Flag this post
I built a Go template playground to stop the deploy-fail-repeat cycle.
reddit.comยท1dยท
Discuss: r/golang
๐ŸซOcaml
Flag this post
The 4 Ways AI Code Is Breaking Your Repo (And How To Fix It)
thenewstack.ioยท23h
๐Ÿ“formal specification
Flag this post
Mojo: MLIR-Based Performance-Portable HPC Science Kernels on GPUs for the Python Ecosystem
arxiv.orgยท1dยท
Discuss: Lobsters
๐ŸชœScala
Flag this post
Classification in Equilibrium: Structure of Optimal Decision Rules
arxiv.orgยท12h
๐Ÿ”Static Analysis
Flag this post
Containerizing Mobile ML Models: Running On-Device Inference with Docker and TensorFlow Lite
dev.toยท1dยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post
DiffRegCD: Integrated Registration and Change Detection with Diffusion Features
arxiv.orgยท12h
๐Ÿฆ€Rust
Flag this post
Distractor Injection Attacks on Large Reasoning Models: Characterization andDefense
paperium.netยท1dยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Aligning Attention with Human Rationales for Self-Explaining Hate Speech Detection
arxiv.orgยท1d
๐Ÿ”Static Analysis
Flag this post
Toward Robust EEG-based Intention Decoding during Misarticulated Speech in Aphasia
arxiv.orgยท12h
๐Ÿค–AI
Flag this post
ROAR: Robust Accident Recognition and Anticipation for Autonomous Driving
arxiv.orgยท1d
๐Ÿ”Static Analysis
Flag this post
Computational Turing Test Reveals Systematic Differences Between Human and AI Language
arxiv.orgยท5dยท
Discuss: Hacker News
๐Ÿ“formal specification
Flag this post