Intelligent Document Creation: Generate PDFs with AI in pdfAssistant.ai
pdfa.org·13h
📄Document Digitization
Software Bill of Materials (SBOM) for FreeBSD Project
freebsdfoundation.org·11h
📋Format Specification
Parameterized types in C using the new tag compatibility rule
nullprogram.com·4h
🦀Rust Macros
CSS Functions and Mixins Module
w3.org·13h·
Discuss: Hacker News
🔗Concatenative Programming
My Journey from Java to Go: Why I Think Go's Packages Are Actually Better
meroxa.com·19h·
Discuss: Hacker News, r/golang
💧Liquid Types
Portia – open-source framework that makes it easy to build Agentic AI workflows
quiz.businessexplain.com·1d·
Discuss: Hacker News
👑Isabelle
Automating Persona Enriched Prompting
maxirwin.com·3d·
Discuss: Hacker News
🕵️Metadata Mining
Coccinelle for Rust progress report (Collabora blog)
lwn.net·13h
🦀Rust Borrowing
Learning Plan Architect: Design Your Mastery Blueprint 🏗️🎯🤖🌠
dev.to·1d·
Discuss: DEV
📐Proof Assistants
Treasure Case Sharing of HarmonyOS 5 Development — Practical Tips for Application Architecture
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Cactus Language • Syntax 12
inquiryintoinquiry.com·1d
📝Concrete Syntax
Flame Graph Performance Truth Analysis（1750918443851900）
dev.to·22h·
Discuss: DEV
⚡Performance Tools
Show HN: Self-Hosted OAuth Authentication Library for MCP Servers
github.com·11h·
Discuss: Hacker News
🔌Interface Evolution
Single Core Hundred Thousand Concurrency（1750947668443300）
dev.to·13h·
Discuss: DEV
🌊Stream Processing
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·3d
🔧Hardware Verification
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·3d
💻Local LLMs
Heartbeat of Modern Web Real Time Patterns User Design（1750804864723400）
dev.to·2d·
Discuss: DEV
🌊Stream Processing
MMSearch-R1: Incentivizing LMMs to Search
arxiv.org·1d
🔍BitFunnel
Building Scalable Web Applications with Advanced JavaScript Patterns
dev.to·1d·
Discuss: DEV
🛠Language Design
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·1d
📏Linear Logic