Intelligent Document Creation: Generate PDFs with AI in pdfAssistant.ai
pdfa.org·9h
📄Document Digitization
Software Bill of Materials (SBOM) for FreeBSD Project
freebsdfoundation.org·7h
📋Format Specification
CSS Functions and Mixins Module
w3.org·8h·
Discuss: Hacker News
🔗Concatenative Programming
Libxml2's "no security embargoes" policy
lwn.net·1d·
Discuss: Hacker News
🔓Open Source Software
Automating Persona Enriched Prompting
maxirwin.com·3d·
Discuss: Hacker News
🕵️Metadata Mining
Infrastructure Designed for Agents
gensx.com·3d·
Discuss: Hacker News
🌊Streaming Systems
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·1d
⬆️Lambda Lifting
Coccinelle for Rust progress report (Collabora blog)
lwn.net·8h
🦀Rust Borrowing
Therapy as an NLP Task: Psychologists' Comparison of LLMs and Human Peers in CBT
arxiv.org·19h
🌲Parse Trees
Treasure Case Sharing of HarmonyOS 5 Development — Practical Tips for Application Architecture
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750952117902400）
dev.to·8h·
Discuss: DEV
🌐Network Protocols
MMSearch-R1: Incentivizing LMMs to Search
arxiv.org·19h
🔍BitFunnel
Cactus Language • Syntax 12
inquiryintoinquiry.com·1d
📝Concrete Syntax
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·2d
🔧Hardware Verification
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·2d
💻Local LLMs
Show HN: Self-Hosted OAuth Authentication Library for MCP Servers
github.com·7h·
Discuss: Hacker News
🔌Interface Evolution
Single Core Hundred Thousand Concurrency（1750947668443300）
dev.to·9h·
Discuss: DEV
🌊Stream Processing
Heartbeat of Modern Web Real Time Patterns User Design（1750804864723400）
dev.to·2d·
Discuss: DEV
🌊Stream Processing
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·19h
📏Linear Logic