Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
LLMs and reinforcement learning
sicpers.info·12h
⚔️Lean Tactics
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·4d
🎯Gradual Typing
A new breed of analyzers
daniel.haxx.se·9h·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.org·17h
✨Effect Handlers
Causality Guided Representation Learning for Cross-Style Hate Speech Detection
arxiv.org·17h
🎙️Whisper
Every Line of Code Is a Philosophy in Disguise
dev.to·14h·
Discuss: DEV
⚖️Emulation Ethics
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·3d
✓Automated Theorem Proving
CAM: A Constructivist View of Agentic Memory for LLM-Based Reading Comprehension
arxiv.org·2d
📝Concrete Syntax
Evaluating the Sensitivity of LLMs to Harmful Contents in Long Input
arxiv.org·2d
📝ABNF Extensions
Active Confusion Expression in Large Language Models: Leveraging World Models toward Better Social Reasoning
arxiv.org·17h
🧮Prolog Parsing
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·17h
🔲Cellular Automata
Can Risk-taking AI-Assistants suitably represent entities
arxiv.org·17h
🔗Constraint Handling
Python 3.14 Unleashed: Revolutionary Features That Will Transform Your Code (Part 1)
dev.to·2d·
Discuss: DEV
💧Liquid Types
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.org·17h
💻Local LLMs
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·17h
🧮Kolmogorov Complexity
The Hidden Bias: A Study on Explicit and Implicit Political Stereotypes in Large Language Models
arxiv.org·17h
🤖Grammar Induction
Vibe-Coding vs. AI-Assisted Development
adaptivealchemist.com·9h·
Discuss: Hacker News
⚡Incremental Computation
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·2h·
Discuss: DEV
⚡Incremental Computation
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·4d·
Discuss: DEV
⚡SMT Applications