Why AI Can't Write Good Software
🔤Language Design
Flag this post
Similarities Between a Stored Procedure in SQL and a Function in Python
🔢Algebraic Data Types
Flag this post
Why your AI evals keep breaking
👁️System Observability
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
📚Automata Learning
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
🧩Parser Combinators
Flag this post
Leaving Open Philanthropy, going to Anthropic
lesswrong.com·1d
🔲Cellular Automata
Flag this post
Deep Learning-Accelerated Shapley Value for Fair Allocation in Power Systems: The Case of Carbon Emission Responsibility
arxiv.org·1d
🩹Self-Healing Systems
Flag this post
ScaleCall - Agentic Tool Calling at Scale for Fintech: Challenges, Methods, and Deployment Insights
arxiv.org·1d
📝Nix Language
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·2d
📚Automata Learning
Flag this post
NumPy for Absolute Beginners: A Project-Based Approach to Data Analysis
towardsdatascience.com·15h
👁️System Observability
Flag this post
Physics-Informed Neural Network Frameworks for the Analysis of Engineering and Biological Dynamical Systems Governed by Ordinary Differential Equations
arxiv.org·1d
📐Linear Algebra
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·1d
⚙️Compiler Design
Flag this post
Prompting for Policy: Forecasting Macroeconomic Scenarios with Synthetic LLM Personas
arxiv.org·7h
📚Automata Learning
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·1d
🔤DSLs
Flag this post
Coverage Analysis and Optimization of FIRES-Assisted NOMA and OMA Systems
arxiv.org·1d
🩹Self-Healing Systems
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·1d
📦Opam
Flag this post
To improve Rationality, create Situations
lesswrong.com·1d
🎮Verification Games
Flag this post
Loading...Loading more...