Hacker News
- Which programming languages do hackers use? Survey at German Chaos Computer Club https://arxiv.org/abs/2203.12466 4 comments
- Catala: A Programming Language for the Law https://arxiv.org/abs/2103.03198 126 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
- Buzz: An Extensible Programming Language for Self-Organizing Robot Swarms http://arxiv.org/abs/1507.05946 18 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
- [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] 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] Using Large Language Models to Enhance Programming Error Messages https://arxiv.org/abs/2210.11630 3 comments machinelearning