Programming Languages for Verifying Compilers
|
|
1
|
66
|
22 March 2023
|
Trying new programming languages helped me grow as a software engineer
|
|
1
|
131
|
3 November 2022
|
Langcc: A Next-Generation Compiler Compiler
|
|
1
|
318
|
24 September 2022
|
Alan Perlis and the Evolution of Programming Languages
|
|
1
|
211
|
9 September 2022
|
Six Programming Languages I'd Like to See
|
|
1
|
204
|
19 July 2022
|
It's not what programming languages do, it's what they shepherd you to
|
|
20
|
930
|
10 May 2022
|
Programming Languages and Learning
|
|
1
|
283
|
14 March 2022
|
All-in-one documentation website devdocs.io
|
|
4
|
537
|
14 March 2022
|
A love of languages
|
|
1
|
284
|
9 March 2022
|
A Review of Shader Languages
|
|
1
|
306
|
15 February 2022
|
In defense of complicated programming languages
|
|
2
|
359
|
25 January 2022
|
Top 5 programming languages for web developers to learn
|
|
25
|
1294
|
10 January 2022
|
Magma: A dependently-typed language intended to make provably correct code possible for working software engineers
|
|
3
|
396
|
29 November 2021
|
Scripting Languages of the Future
|
|
8
|
438
|
16 November 2021
|
What if Git worked with Programming Languages?
|
|
1
|
332
|
28 September 2021
|
Are Dynamic Languages Going to Replace Static Languages? (2003)
|
|
9
|
433
|
15 August 2021
|
How can smaller, more independent languages compete with those backed by tech giants?
|
|
15
|
1436
|
5 August 2021
|
Programming Languages for Enthusiasts
|
|
1
|
402
|
15 July 2021
|
The next 700 programming languages (1966)
|
|
1
|
388
|
15 July 2021
|
Programming Languages + Human-Computer Interaction: SPLASH 2020
|
|
3
|
416
|
10 July 2021
|
Replit - how we went from supporting 50 languages to all of them
|
|
1
|
392
|
26 May 2021
|
A Brief Introduction to Esoteric Languages
|
|
1
|
391
|
19 May 2021
|
How we choose programming languages at Typeable
|
|
1
|
335
|
14 May 2021
|
History of Programming Languages
|
|
1
|
371
|
12 May 2021
|
20 Intriguing, Unusual, and Goofy Programming Languages
|
|
1
|
395
|
27 March 2021
|
INTERCAL, YAML, And Other Horrible Programming Languages
|
|
1
|
375
|
26 February 2021
|
Hope is an alternative to markup languages
|
|
1
|
349
|
5 December 2020
|
Objects in Functional Languages
|
|
1
|
364
|
1 December 2020
|
Evolution of the programming languages from iPhone OS 1.0 to iOS 14
|
|
1
|
373
|
16 November 2020
|
The future of programming languages: What to expect in this new Infrastructure as Code world
|
|
1
|
467
|
10 November 2020
|