Hacker News
- It's Not Easy Being Green: On the Energy Efficiency of Programming Languages https://arxiv.org/abs/2410.05460 12 comments
- Abstract Interpretation as a Programming Language (2013) https://arxiv.org/abs/1309.5133 6 comments
- Which programming languages do hackers use? Survey at German Chaos Computer Club https://arxiv.org/abs/2203.12466 4 comments
- Integrating User-Centered Methods into Programming Language Design https://arxiv.org/abs/1912.04719 2 comments
- Unsupervised translation of programming languages https://arxiv.org/abs/2006.03511 44 comments
- On the Impact of Programming Languages on Code Quality https://arxiv.org/abs/1901.10220 133 comments
- From Theory to Systems: A Grounded Approach to Programming Language Education https://arxiv.org/abs/1904.06750 14 comments
- Predicting Variable Types in Dynamically Typed Programming Languages https://arxiv.org/abs/1901.05138 36 comments
- Deep Probabilistic Programming Languages: A Qualitative Study https://arxiv.org/abs/1804.06458 2 comments
- Edward – A Turing-Complete Language for Deep Probabilistic Programming https://arxiv.org/abs/1701.03757v1 30 comments
- On GitHub’s Programming Languages http://arxiv.org/abs/1603.00431 38 comments
- Several types of types in programming languages http://arxiv.org/abs/1510.03726 32 comments
- Can Large Language Models Understand Symbolic Graphics Programs? https://www.arxiv.org/abs/2408.08313 59 comments
- Potential of the Julia programming language for high energy physics computing https://arxiv.org/abs/2306.03675 206 comments
- Potential of the Julia programming language for high energy physics computing https://arxiv.org/abs/2306.03675 2 comments
- Program Synthesis with Large Language Models https://arxiv.org/abs/2108.07732 20 comments
- The Meaning of Null in Databases and Programming Languages (2016) https://arxiv.org/html/1606.00740 24 comments
- Bridging the Gap Between Programming Languages and Hardware Weak Memory Models https://arxiv.org/abs/1807.07892 13 comments
- Naturalizing a Programming Language via Interactive Learning https://arxiv.org/abs/1704.06956 2 comments
- Next-Paradigm Programming Languages: What Will They Look Like? https://arxiv.org/abs/1905.00402 226 comments
Lobsters
- Catala: A Programming Language for the Law https://arxiv.org/pdf/2103.03198.pdf 17 comments formalmethods , law , pdf , plt
- On the Impact of Programming Languages on Code Quality https://arxiv.org/pdf/1901.10220.pdf 15 comments pdf , practices
- What can the programming language Rust do for astrophysics? https://arxiv.org/abs/1702.02951 2 comments rust
- Next Paradigm Programming Languages: What Will they Look Like and What Changes Will They Bring? https://arxiv.org/pdf/1905.00402.pdf 2 comments pdf , plt
- It's Not Easy Being Green: On the Energy Efficiency of Programming Languages https://arxiv.org/abs/2410.05460 85 comments programminglanguages
- [R] A Neural Programming Language for the Reservoir Computer https://arxiv.org/pdf/2203.05032.pdf 3 comments machinelearning
- Catala: A Programming Language for the Law https://arxiv.org/abs/2103.03198#:~:text=catala%20aims%20to%20bring%20together,incorrect%20implementations%20of%20the%20law 200 comments programming
- [Beginner] What are other applications of dependent types in programming languages that are similar to sized types? https://arxiv.org/pdf/1012.4896.pdf 4 comments idris
- Several types of types in programming languages http://arxiv.org/abs/1510.03726 4 comments compsci
- Introducing Quipper: A Programming Language for Quantum Computing http://arxiv.org/pdf/1304.5485v1.pdf 8 comments programming
- [R] Fully Autonomous Programming with Large Language Models https://arxiv.org/abs/2304.10423 13 comments machinelearning
- [R] Language Models Can Teach Themselves to Program Better - Microsoft 2022 https://arxiv.org/abs/2207.14502 5 comments machinelearning
- [R] Program Synthesis with Large Language Models https://arxiv.org/abs/2108.07732 5 comments machinelearning
- How the Chapel programming language approaches region-based memory management? http://arxiv.org/abs/1201.0023 3 comments rust
- Implementation of the Programming Language Dino -- A Case Study in Dynamic Language Performance http://arxiv.org/abs/1604.01290 3 comments programming
- Several types of types in programming languages [abstract + link to PDF] http://arxiv.org/abs/1510.03726 11 comments haskell
- [R] Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Models - University of Illinois 2023 - Achieves 94.4\% for programming on HumanEval with GPT-4 and 86.9\% with GPT-3.5 20\% better than with reflexion! https://arxiv.org/abs/2310.04406 10 comments machinelearning
- [R] Using Large Language Models to Enhance Programming Error Messages https://arxiv.org/abs/2210.11630 3 comments machinelearning
- COOL: A Constraint Object-Oriented Logic Programming Language and its Neural-Symbolic Compilation System https://arxiv.org/pdf/2311.03753.pdf 3 comments prolog