Hacker News
- Language Models Can Teach Themselves to Program Better (Search by title)
https://arxiv.org/abs/2207.14502
(Lookup URL)
0
comments, 6
points
[]
- Which programming languages do hackers use? Survey at German Chaos Computer Club (Search by title)
https://arxiv.org/abs/2203.12466
(Lookup URL)
4
comments, 2
points
[]
- Catala: A Programming Language for the Law (Search by title)
https://arxiv.org/abs/2103.03198
(Lookup URL)
126
comments, 232
points
[]
- Integrating User-Centered Methods into Programming Language Design (Search by title)
https://arxiv.org/abs/1912.04719
(Lookup URL)
2
comments, 3
points
[]
- Unsupervised translation of programming languages (Search by title)
https://arxiv.org/abs/2006.03511
(Lookup URL)
44
comments, 166
points
[]
- On the Impact of Programming Languages on Code Quality (Search by title)
https://arxiv.org/abs/1901.10220
(Lookup URL)
133
comments, 264
points
[]
- From Theory to Systems: A Grounded Approach to Programming Language Education (Search by title)
https://arxiv.org/abs/1904.06750
(Lookup URL)
14
comments, 130
points
[]
- Predicting Variable Types in Dynamically Typed Programming Languages (Search by title)
https://arxiv.org/abs/1901.05138
(Lookup URL)
36
comments, 61
points
[]
- Deep Probabilistic Programming Languages: A Qualitative Study (Search by title)
https://arxiv.org/abs/1804.06458
(Lookup URL)
2
comments, 53
points
[]
- Edward – A Turing-Complete Language for Deep Probabilistic Programming (Search by title)
https://arxiv.org/abs/1701.03757v1
(Lookup URL)
30
comments, 206
points
[]
- On GitHub’s Programming Languages (Search by title)
http://arxiv.org/abs/1603.00431
(Lookup URL)
38
comments, 77
points
[]
- Several types of types in programming languages (Search by title)
http://arxiv.org/abs/1510.03726
(Lookup URL)
32
comments, 84
points
[]
- Buzz: An Extensible Programming Language for Self-Organizing Robot Swarms (Search by title)
http://arxiv.org/abs/1507.05946
(Lookup URL)
18
comments, 30
points
[]
- Program Synthesis with Large Language Models (Search by title)
https://arxiv.org/abs/2108.07732
(Lookup URL)
20
comments, 63
points
[]
- The Meaning of Null in Databases and Programming Languages (2016) (Search by title)
https://arxiv.org/html/1606.00740
(Lookup URL)
24
comments, 61
points
[]
- Bridging the Gap Between Programming Languages and Hardware Weak Memory Models (Search by title)
https://arxiv.org/abs/1807.07892
(Lookup URL)
13
comments, 64
points
[]
- Naturalizing a Programming Language via Interactive Learning (Search by title)
https://arxiv.org/abs/1704.06956
(Lookup URL)
2
comments, 52
points
[]
- Next-Paradigm Programming Languages: What Will They Look Like? (Search by title)
https://arxiv.org/abs/1905.00402
(Lookup URL)
226
comments, 217
points
[]
Lobsters
Reddit
- [R] A Neural Programming Language for the Reservoir Computer (Search by title)
https://arxiv.org/pdf/2203.05032.pdf
(Lookup URL)
3
comments, 6
points
[]
machinelearning
- Catala: A Programming Language for the Law (Search by title)
https://arxiv.org/abs/2103.03198#:~:text=catala%20aims%20to%20bring%20together,incorrect%20implementations%20of%20the%20law
(Lookup URL)
200
comments, 532
points
[]
programming
- [Beginner] What are other applications of dependent types in programming languages that are similar to sized types? (Search by title)
https://arxiv.org/pdf/1012.4896.pdf
(Lookup URL)
4
comments, 5
points
[]
idris
- Several types of types in programming languages (Search by title)
http://arxiv.org/abs/1510.03726
(Lookup URL)
4
comments, 35
points
[]
compsci
- Introducing Quipper: A Programming Language for Quantum Computing (Search by title)
http://arxiv.org/pdf/1304.5485v1.pdf
(Lookup URL)
8
comments, 11
points
[]
programming
- [R] Language Models Can Teach Themselves to Program Better - Microsoft 2022 (Search by title)
https://arxiv.org/abs/2207.14502
(Lookup URL)
5
comments, 78
points
[]
machinelearning
- [R] Program Synthesis with Large Language Models (Search by title)
https://arxiv.org/abs/2108.07732
(Lookup URL)
5
comments, 17
points
[]
machinelearning
- How the Chapel programming language approaches region-based memory management? (Search by title)
http://arxiv.org/abs/1201.0023
(Lookup URL)
3
comments, 8
points
[]
rust
- Implementation of the Programming Language Dino -- A Case Study in Dynamic Language Performance (Search by title)
http://arxiv.org/abs/1604.01290
(Lookup URL)
3
comments, 4
points
[]
programming
- Several types of types in programming languages [abstract + link to PDF] (Search by title)
http://arxiv.org/abs/1510.03726
(Lookup URL)
11
comments, 20
points
[]
haskell
Lambda the Ultimate