Programming Deadlock
@programming_deadlock
1.47K subscribers
3 photos
104 files
1.18K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
About
Blog
Apps
Platform
Join
Programming Deadlock
1.47K subscribers
Programming Deadlock
Supercompiler HOSC 1.0: under the hood
https://keldysh.ru/papers/2009/source/prep2009_63_eng.pdf
332 views
Programming Deadlock
Efficient normalization by evaluation
https://inria.hal.science/inria-00434283/document
328 views
Programming Deadlock
Normalization by evaluation and algebraic effects
https://danel.ahman.ee/papers/mfps13.pdf
350 views
Programming Deadlock
A context-based approach to proving termination of evaluation
https://ii.uni.wroc.pl/~mabi/papers/mfps09.pdf
๐Ÿ‘1
369 views
Programming Deadlock
Features of a dream programming language: 3rd draft
https://magnemg.eu/features-of-a-dream-programming-language-3rd-draft
Magne's blog
Features of a dream programming language: 3rd draft
Have you ever dreamt of what features your ideal programming language would have? Have you ever tried to make a list of the best features (or non-features) of existing languages that are particularly inspired in some way...?
This article explores and...
442 views
Programming Deadlock
The Boolean Satisfiability Problem: an overview of solving techniques and applications
https://inria.hal.science/hal-03589602/file/ClementinTayou-mai2021.pdf
352 views
Programming Deadlock
Lone is a freestanding Lisp interpreter designed to run directly on top of the Linux kernel with full support for Linux system calls. It has zero dependencies, not even the C standard library.
https://github.com/lone-lang/lone
GitHub
GitHub - lone-lang/lone: The standalone Linux Lisp
The standalone Linux Lisp. Contribute to lone-lang/lone development by creating an account on GitHub.
๐Ÿ˜ฑ3โค2๐Ÿ”ฅ2
565 views
Programming Deadlock
Programming and Reasoning with Algebraic Effects and Dependent Types
Edwin C. Brady
https://www.type-driven.org.uk/edwinb/papers/effects.pdf
๐Ÿ‘2
443 views
Programming Deadlock
Normalization by hereditary substitutions
https://www.cs.nott.ac.uk/~psztxa/publ/msfp10.pdf
๐Ÿ‘1
393 views
Programming Deadlock
The algebra of boolean satisfiability
https://piedeleu.com/posts/algebra-of-sat/
๐Ÿ‘3
360 views
Programming Deadlock
Higher-Kinded Data
https://reasonablypolymorphic.com/blog/higher-kinded-data/
347 views
Programming Deadlock
Arend is a theorem prover and a programming language based on Homotopy Type Theory.
https://github.com/JetBrains/Arend
GitHub
GitHub - JetBrains/Arend: The Arend Proof Assistant
The Arend Proof Assistant. Contribute to JetBrains/Arend development by creating an account on GitHub.
๐Ÿ‘1
426 views
Programming Deadlock
POPL 2024
https://popl24.sigplan.org/track/POPL-2024-popl-research-papers#event-overview
popl24.sigplan.org
POPL 2024 - POPL Research Papers - POPL 2024
Welcome to the website of the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024). POPL 2024 will take place in the Institution of Engineering and Technology (IET), Savoy Place, London
The annual Symposium on Principles of Programmingโ€ฆ
321 views
Programming Deadlock
Introduction to the Calculus of Inductive Constructions
https://inria.hal.science/hal-01094195/document
๐Ÿ‘1
459 views
Programming Deadlock
Compiling a Functional Language
Luca Cardelli
https://lucacardelli.name/Papers/CompilingML.A4.pdf
๐Ÿ‘1
335 views
Programming Deadlock
The Bologna Optimal Higher-order Machine
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/1F2763B0F931680F9B15BDC750BEB343/S0956796800001994a.pdf/bologna_optimal_higherorder_machine.pdf
293 views
Programming Deadlock
Harder Drive: Hard drives we didn't want or need
https://youtu.be/JcJSW7Rprio?si=xNG96RVJwc60IJUt
YouTube
Harder Drive: Hard drives we didn't want or need
In this video we make and evaluate several hard drives that we didn't want. Drawing some inspiration from vexing current events, we find that creative, structured thought on adjacent (but frivolous) problems is a sort of digestive act, and one that is ultimatelyโ€ฆ
325 views
Programming Deadlock
CPython Dynamic Dispatch Internals
https://codeconfessions.substack.com/p/cpython-dynamic-dispatch-internals
Codingconfessions
CPython Dynamic Dispatch Internals: What Happens When You do a + b?
Understand the mechanics of dynamic dispatch implementation in CPython
367 views
Programming Deadlock
A Polymorphic ฮป-calculus with Type:Type
https://lucacardelli.name/Papers/TypeType.pdf
๐Ÿ”ฅ1
351 views
Programming Deadlock
Handlers in Action
https://homepages.inf.ed.ac.uk/slindley/papers/handlers.pdf
350 views
Programming Deadlock
Contracts for Higher-Order Functions
https://users.cs.northwestern.edu/~robby/pubs/papers/ho-contracts-icfp2002.pdf
๐Ÿ‘1
412 views