📐 Language Design - nickyfoto · Scour

Neuro; An AOT-compiled language for AI workloads built on LLVM 20 🔲ML Hardware

github.com·3d·Hacker News

A Friendly Tour of Substructural, Uniqueness, Ownership, Capabilities and more! 🔌Embedded Systems

federicobruzzone.github.io·7h·Hacker News

Specification-Based Code-Text-Code Reengineering for LLM-Mediated Software Evolution 🧠LLMs

Create Your First Linter in Go 🐹Go

dev.to·17h·DEV

Announcing BABLR 📰RSS

bablr.org·2d·Lobsters

Show HN: Anyone interested in a tool helps to explore C++ ASTs 🦀Rust

uvic-aurora.github.io·6d·Hacker News

tRPC: Full-Stack Type Safety – No More Writing API Docs by Hand 话题 🎨Frontend Dev

auraimagai.com·1d·DEV

Rust Will Save Linux From AI, Says Greg Kroah-Hartman 🦀Rust

linux.slashdot.org·13h·Hacker News

Poor's Man Opaque Types 🦀Rust

lungarellaraffaele.dev·4d·Hacker News

5 More Must-Know Python Concepts 🦀Rust

kdnuggets.com·2d

How to Create Variable Fonts: A Complete Guide for Type Designers 🎨Frontend Dev

weandthecolor.com·1d

Characterization of machine learning compilers for LLM inference on NVIDIA GPUs 🔲ML Hardware

link.springer.com·4d·Hacker News

The LLM Inference Optimization: Quantization to Speculative Decoding Part 2 🤖LLM

digitalocean.com·1d

dogmaticdev/IRON: IRON a.k.a. Intermediate Representation Object Notation is a Interpreter/Database that is used to create Programming Languages. 🗄️Database Internals

github.com·13h·Hacker News

Specification and Formal Verification of Hardware-Software Contracts for High-Assurance Computer Architectures 📋Formal Methods

csail.mit.edu·1d

NVIDIA CUTLASS: High-Performance CUDA Templates for AI Linear Algebra 🔲ML Hardware

dev.to·7h·DEV

Rust will save Linux from AI, says Greg Kroah-Hartman 🦀Rust

zdnet.com·21h·Hacker News, Hacker News, r/rust

Show HN: The X Programming Language 🔧Compilers

github.com·1d·Hacker News

Stop Using TypeScript as a Type Checker — Start Using It as a Design System 🦀Rust

dev.to·4d·DEV

OASIS: Observation-Action Space Alignment via SE(3) Trajectory Prediction for Robotic Manipulation 🤖AI Research

Log in to enable infinite scrolling