Forwarded from Alan Urmancheev
https://github.com/pizlonator/llvm-project-deluge/tree/deluge
Fil-C is a fanatically compatible memory-safe implementation of C and C++. Lots of software compiles and runs with Fil-C with zero or minimal changes. All memory safety errors are caught as Fil-C panics. Fil-C achieves this using a combination of concurrent garbage collection and invisible capabilities (each pointer in memory has a corresponding capability, not visible to the C address space). Every fundamental C operation (as seen in LLVM IR) is checked against the capability. Fil-C has no unsafe escape hatch of any kind.
Fil-C is a fanatically compatible memory-safe implementation of C and C++. Lots of software compiles and runs with Fil-C with zero or minimal changes. All memory safety errors are caught as Fil-C panics. Fil-C achieves this using a combination of concurrent garbage collection and invisible capabilities (each pointer in memory has a corresponding capability, not visible to the C address space). Every fundamental C operation (as seen in LLVM IR) is checked against the capability. Fil-C has no unsafe escape hatch of any kind.
GitHub
GitHub - pizlonator/llvm-project-deluge: Fil-C
Fil-C. Contribute to pizlonator/llvm-project-deluge development by creating an account on GitHub.
Forwarded from π§ Gnu/linux/uwu (FemozDev :3)
PeerTube.apk
33.4 MB
PeerTube (Federated video platform)
https://f-droid.org/packages/org.framasoft.peertube/
https://f-droid.org/packages/org.framasoft.peertube/
Forwarded from Alan Urmancheev's blog
Turned out a little chaotic. This time the talk is in English. Enjoy!
https://youtube.com/watch?v=BzqpjE7lgxw
https://youtube.com/watch?v=BzqpjE7lgxw
YouTube
Various aspects of the C programming language
A non-exhaustive list of topics we may talk about:
- C grammar: good, bad and ugly.
- Declarations and how to read them, identifiers, typedef.
- The notion of undefined behaviour.
- Array to pointer conversion, variable length arrays, flexible array membersβ¦
- C grammar: good, bad and ugly.
- Declarations and how to read them, identifiers, typedef.
- The notion of undefined behaviour.
- Array to pointer conversion, variable length arrays, flexible array membersβ¦
Forwarded from Programming Deadlock
A Minimalistic Verified Bootstrapped Compiler
https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compiler-Proof-Pearl-
https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compiler-Proof-Pearl-
popl21.sigplan.org
A Minimalistic Verified Bootstrapped Compiler (Proof Pearl) (CPP 2021 - Certified Programs and Proofs) - POPL 2021
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematicsβ¦
Forwarded from (Ο (ΞΌ (Ξ»)))
Introduction to Computing: Explorations in Language, Logic, and Machines by David Evans
https://computingbook.org/
https://computingbook.org/