- I have a personal website that lists all my qualifications (including programs and tools I have experience with). Is it a good idea to link to pages describing these tools? https://en.wikipedia.org/wiki/Coq 5 comments cscareerquestions
Linking pages
- Sick of Ruby, dynamic typing, side effects, and basically object-oriented programming - Abe Voelker https://blog.abevoelker.com/sick-of-ruby-dynamic-typing-side-effects-object-oriented-programming/ 962 comments
- Six programming paradigms that will change how you think about coding https://www.ybrikman.com/writing/2014/04/09/six-programming-paradigms-that-will/ 573 comments
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/magmide/magmide 220 comments
- Rust in Perspective — linusw https://people.kernel.org/linusw/rust-in-perspective 131 comments
- Sick of Ruby, dynamic typing, side effects, and basically object-oriented programming - Abe Voelker https://blog.abevoelker.com/sick-of-ruby-dynamic-typing-side-effects-object-oriented-programming/?repost2014= 60 comments
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/blainehansen/magma 18 comments
- Proof in Functions http://www.fewbutripe.com/swift/math/2015/01/06/proof-in-functions.html 11 comments
- The Missing Prelude to The Little Typer's Trickiest Chapter - Andrew Helwer https://ahelwer.ca/post/2022-10-13-little-typer-ch9/ 3 comments
- We Need to Stop Letting Carpenters Design Skyscrapers | by Charlotte Tortorella | Medium https://medium.com/@MahouShoujoD/we-need-to-stop-letting-carpenters-design-skyscrapers-d56624c8b72a?source=linkShare-a9da1860180e-1533806978 2 comments
- p(doom) | the singularity is nearer https://geohot.github.io/blog/jekyll/update/2023/08/16/p-doom.html 1 comment
- The Rise of Type Theory http://pling.jondgoodwin.com/post/rise-of-type-theory/ 0 comments
- A Lazy Sequence: A TypeScript &ampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampamp; alt JS grab bag http://brehaut.net/blog/2013/altjs_grab_bag 0 comments
- DIPs/DIP1034.md at d492715d3c7ba2cee898930d261ab113c0a66ef9 · dlang/DIPs · GitHub https://github.com/dlang/DIPs/blob/d492715d3c7ba2cee898930d261ab113c0a66ef9/DIPs/DIP1034.md 0 comments
- What is a type system, really? | Lambda Land https://lambdaland.org/posts/2023-01-17_what_is_a_type_system_really/ 0 comments
Related searches:
Search whole site: site:wikipedia.org
Search title: Coq - Wikipedia
See how to search.