GPULLama3 Brings GPU Accelerated LLM Inference to Pure Java
infoq.com·1h·
Discuss: Hacker News
💧Liquid Types
Threaded Code
muforth.dev·1d·
Discuss: Hacker News
🦀Rust Macros
Libxml2's "no security embargoes" policy
lwn.net·18h·
Discuss: Hacker News
🔓Open Source Software
Solving LinkedIn Queens Using Haskell
imiron.io·2d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Infrastructure Designed for Agents
gensx.com·2d·
Discuss: Hacker News
🌊Streaming Systems
The Cost of AI-Generated Code: Detection vs. Remediation
rsolv.dev·13h·
Discuss: Hacker News
📏Code Metrics
20+ Years in Tech: Things We Wish We Knew Sooner • Daniel Terhorst-North & Kevlin Henney • GOTO 2024
youtube.com·2h
🔌Interface Evolution
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·1d
⬆️Lambda Lifting
Probing AI Safety with Source Code
arxiv.org·10h
✨Effect Handlers
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.com·1d
🤖Grammar Induction
Flame Graph Performance Truth Analysis（1750918443851900）
dev.to·8h·
Discuss: DEV
⚡Performance Tools
Treasure Case Sharing of HarmonyOS 5 Development — Practical Tips for Application Architecture
dev.to·16h·
Discuss: DEV
🔌Interface Evolution
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Becoming a Better Developer with Vibe Coding
dev.to·10h·
Discuss: DEV
⚡Proof Automation
Therapy as an NLP Task: Psychologists' Comparison of LLMs and Human Peers in CBT
arxiv.org·10h
🌲Parse Trees
MMSearch-R1: Incentivizing LMMs to Search
arxiv.org·10h
🔍BitFunnel
Cactus Language • Syntax 12
inquiryintoinquiry.com·22h
📝Concrete Syntax
Gen AI & Langchain Master Class
dev.to·1d·
Discuss: DEV
🎙️Whisper
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·2d
💻Local LLMs
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·2d
🔧Hardware Verification