Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·1d
⬆️Lambda Lifting
TypeScript Flaws (2024)
intercaetera.com·13h·
Discuss: Hacker News
🎯Gradual Typing
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·4d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
A Solution to the Paperclip Problem
link.springer.com·12h·
Discuss: Hacker News
🔲Cellular Automata
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔢Denotational Semantics
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·19h·
Discuss: DEV
⚡SMT Applications
Training Dynamics of Parametric and In-Context Knowledge Utilization in Language Models
arxiv.org·1d
🌲Parse Trees
Emergence of Superposition: Unveiling the Training Dynamics of Chain of Continuous Thought
arxiv.org·11h
🔲Cellular Automata
Day 24 of My 90 Days Python Series – Word Counter Tool
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·1d
🧮Kolmogorov Complexity
Optimizing Long-Form Clinical Text Generation with Claim-Based Rewards
arxiv.org·1d
📋Document Grammar
FocusMed: A Large Language Model-based Framework for Enhancing Medical Question Summarization with Focus Identification
arxiv.org·11h
🔍Information Retrieval
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·11h
⚡Incremental Computation
TS-Reasoner: Aligning Time Series Foundation Models with LLM Reasoning
arxiv.org·11h
🎯Gradual Typing
Language, Culture, and Ideology: Personalizing Offensiveness Detection in Political Tweets with Reasoning LLMs
arxiv.org·1d
📊Feed Optimization
Lightweight Prompt Engineering for Cognitive Alignment in Educational AI: A OneClickQuiz Case Study
arxiv.org·11h
🤖AI Curation
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·11h
🎯Performance Proofs
You Don't Know RAG. You Know Simple RAG.
dev.to·7h·
Discuss: DEV
🌀Brotli Internals
Keep It on a Leash: Controllable Pseudo-label Generation Towards Realistic Long-Tailed Semi-Supervised Learning
arxiv.org·11h
🧠Machine Learning
Bound-Preserving WENO Schemes for Temple-class systems
arxiv.org·11h
🎯Performance Proofs