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
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
Programming Deadlock
Elaboration with First-Class Implicit Function Types
https://dl.acm.org/doi/pdf/10.1145/3408983
๐Ÿ‘1
568 views
Programming Deadlock
Donโ€™t Substitute Into Abstractions (Functional Pearl)
https://benl.ouroborus.net/papers/2016-dsim/lambda-dsim-20160328.pdf
411 views
Programming Deadlock
Bidirectional Typing
https://arxiv.org/pdf/1908.05839.pdf
๐Ÿ‘1๐Ÿคฏ1
333 views
Programming Deadlock
Continuous Normalization for the Lambda-Calculus and Gรถdelโ€™s T
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=b42488e06239b71c12d429db1895063e25601e8b
๐Ÿ‘1๐Ÿ‘Ž1
349 views
Programming Deadlock
Bidirectional Elaboration of Dependently Typed Programs
https://www.cs.mcgill.ca/~fferre8/papers/BidirectionalElaboration.pdf
๐Ÿ˜ญ2๐Ÿ‘1
394 views
Programming Deadlock
Progress towards a GCC-based Rust compiler
https://lwn.net/SubscriberLink/954787/41470c731eda02a4/
lwn.net
Progress toward a GCC-based Rust compiler
The gccrs project is an ambitious
effort started in 2014 to implement a Rust compiler within The GNU Compiler
Collection (GCC). Even though the task is far from complete, progress has
been made since LWN's previous coverage,
according to reports from theโ€ฆ
๐Ÿ‘Ž3๐Ÿ’Š1
421 views