[$] Libxml2's "no security embargoes" policy
lwn.net·14h
🔓Free and open source
How AI/LLMs Can Help, Hinder Developers
cacm.acm.org·8h
🔄Language Evolution
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·6h·
Discuss: Hacker News
📟Terminal Typography
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
[D] Alarming amount of schizoid people being validated by LLMs, anyone else experienced this?
reddit.com·4h·
Discuss: r/MachineLearning
🎯Gradual Typing
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·11h·
Discuss: Hacker News
⚡Proof Automation
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·2d
🔗Monadic Parsing
🚀 Introducing MultiMind SDK: Fine-Tune, Build, and Deploy LLM
dev.to·9h·
Discuss: DEV
🔗Topological Sorting
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·1d
🔗Topological Sorting
Therapy as an NLP Task: Psychologists' Comparison of LLMs and Human Peers in CBT
arxiv.org·1h
🌲Parse Trees
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·7h·
Discuss: DEV
🔌Operating system internals
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
ARCH-COMP25 Category Report: Stochastic Models
arxiv.org·2d
🎯Performance Proofs
Learning-based safety lifting monitoring system for cranes on construction sites
arxiv.org·1h
📄Document Digitization
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·16h·
Discuss: DEV
🤖Lisp Machines
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·2d
📏Code Metrics
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·2d
🎯Performance Proofs
SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
arxiv.org·2d
💧Liquid Types
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·1d
💻Local LLMs
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·1d
🧠Intelligence Compression