🦞🌯 Lobster Roll

Thread

Coq to Rust program extraction (github.com)
L 7 pts 0 comments by omphalos Jul 29, 2016 mathprogrammingrust thread

Stories related to "Coq to Rust program extraction" across the full archive.

Coq to Rust program extraction (github.com)
L 7 pts 0 comments by omphalos Jul 29, 2016 mathprogrammingrust Systems / Low-Level / OSProgramming (General)Science / Math / Physics thread
Nimrod -- a compiled, garbage-collected systems programming language (github.com)
L 4 pts 1 comments by vjoel Jan 4, 2014 programmingrust Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Think Stats: Probability and Statistics for Programmers [2011] (greenteapress.com)
L 4 pts 0 comments by petrohi Jan 15, 2014 bookmathpdfprogramming Programming (General)Science / Math / PhysicsCulture / Philosophy / History / Reading thread
Rust for C++ programmers - part 1: Hello world (featherweightmusings.blogspot.co.nz)
L 11 pts 0 comments by kbuck Apr 20, 2014 programmingrust Systems / Low-Level / OSProgramming (General) thread
Rust for C++ programmers - part 2: control flow (featherweightmusings.blogspot.co.nz)
L 13 pts 0 comments by kbuck Apr 20, 2014 programmingrust Systems / Low-Level / OSProgramming (General) thread
Rust for C++ programmers - part 3: primitive types and operators (featherweightmusings.blogspot.com)
L 6 pts 0 comments by kbuck Apr 23, 2014 programmingrust Systems / Low-Level / OSProgramming (General) thread
Rust for C++ programmers - part 4: unique pointers (featherweightmusings.blogspot.co.nz)
L 5 pts 0 comments by kbuck Apr 29, 2014 programmingrust Systems / Low-Level / OSProgramming (General) thread
Rust for C++ programmers - part 5: borrowed references (featherweightmusings.blogspot.co.uk)
L 1 pts 0 comments by kbuck May 6, 2014 programmingrust Systems / Low-Level / OSProgramming (General) thread
Certified Programming with Dependent Types, by Adam Chlipala (adam.chlipala.net)
L 19 pts 13 comments by kragen May 8, 2014 bookmathprogramming Programming (General)Science / Math / PhysicsCulture / Philosophy / History / Reading thread
The author writes: > "This is the web site for a textbook about practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation. > "I'm following an unusual philosophy in this book, so it may ...
A simple procedural macro that turns a Brainfuck program into Rust code. (github.com)
L 8 pts 0 comments by steveklabnik May 9, 2014 programmingrust Systems / Low-Level / OSProgramming (General) thread
DIY: Make Your Own Programming Language (blog.ppelgren.se)
L 8 pts 0 comments by daGrevis Jan 4, 2015 compscihaskellprogrammingrust Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryMaker / DIY / Hardware thread
Math and functional programming video library (school.looprecur.com)
L 4 pts 0 comments by inactive-user Mar 26, 2015 mathprogrammingvideo Programming (General)Programming Languages / CS TheoryScience / Math / PhysicsCulture / Philosophy / History / Reading thread
First Rust Program Pain (So you can avoid it…) (dtrace.org)
L 27 pts 4 comments by pushcx Jun 23, 2015 programmingrust Systems / Low-Level / OSProgramming (General) thread
Why there is no Hitchhiker's Guide to Mathematics for Programmers (jeremykun.com)
L 20 pts 6 comments by rubenbarroso Jun 26, 2015 mathprogramming Programming (General)Science / Math / Physics thread
The Rustonomicon: The Dark Arts of Advanced and Unsafe Rust Programming (doc.rust-lang.org)
L 23 pts 0 comments by pushcx Aug 6, 2015 programmingrust Systems / Low-Level / OSProgramming (General) thread
Why Rust? Trustworthy, Concurrent Systems Programming (oreilly.com)
L 16 pts 1 comments by pushcx Sep 9, 2015 bookprogrammingrust Systems / Low-Level / OSProgramming (General)Culture / Philosophy / History / Reading thread
(2014) Jonathan Blow - Ideas about a new programming language for games (youtube.com)
L 18 pts 2 comments by akurilin Sep 19, 2015 gamesgoprogrammingrustvideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryGaming / Retro Computing thread
Functional Programming, Abstraction, and Names (stephendiehl.com)
L 41 pts 14 comments by craigstuntz Jan 11, 2016 mathprogramming Programming (General)Programming Languages / CS TheoryScience / Math / Physics thread
Raspberry Pi Bare Metal Programming with Rust (blog.thiago.me)
L 10 pts 0 comments by zg Jan 16, 2016 hardwareprogrammingrust Systems / Low-Level / OSProgramming (General)Maker / DIY / Hardware thread
Adventures in D programming (blog.tenstral.net)
L 15 pts 14 comments by JordiGH May 6, 2016 cprogrammingrust Systems / Low-Level / OSProgramming (General) thread
I used the C and Rust tags since that seemed closest to D. I hope this hasn't misled anyone.
I wrote a literate program (cs.mcgill.ca)
L 8 pts 3 comments by vfoley Jul 27, 2016 practicesprogrammingrust Systems / Low-Level / OSProgramming (General)Productivity / Career / BusinessCulture / Philosophy / History / Reading thread
Learning systems programming with Rust (jvns.ca)
L 22 pts 0 comments by calvin Sep 11, 2016 programmingrustslides Systems / Low-Level / OSProgramming (General) thread
Should Math be a Prerequisite for Programming? (linux.com)
L 8 pts 24 comments by calvin Oct 7, 2016 mathprogramming Programming (General)Science / Math / Physics thread
Undefined Behavior: Not Just for Programming Languages (blog.regehr.org)
L 9 pts 1 comments by tedu Oct 12, 2016 mathprogramming Programming (General)Programming Languages / CS TheoryScience / Math / Physics thread
Programming books you might want to consider reading (danluu.com)
L 16 pts 2 comments by calvin Oct 17, 2016 bookcompscimathprogramming Programming (General)Programming Languages / CS TheoryScience / Math / PhysicsCulture / Philosophy / History / Reading thread
Probabilistic Programming (probabilistic-programming.org)
L 7 pts 1 comments by pushcx Oct 24, 2016 mathprogramming Programming (General)Science / Math / Physics thread
Statistical Literacy and You: An Intro for Programmers · Schneems (schneems.com)
L 6 pts 0 comments by schneems Nov 14, 2016 cogscimathprogrammingscience Programming (General)Science / Math / Physics thread
A categorical programming language (1987) (web.archive.org)
L 12 pts 0 comments by nickpsecurity Dec 8, 2016 compscimathpdfprogramming Programming (General)Programming Languages / CS TheoryScience / Math / Physics thread
Category theory pops up here occasionally. This is the first language I found designed for it.
Rust's Type System is Turing-Complete: an exploration of type-level programming in Rust (sdleffler.github.io)
L 31 pts 1 comments by sleffy Mar 11, 2017 compilersprogrammingrust Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
System programming in Rust: beyond safety (blog.acolyer.org)
L 21 pts 1 comments by calvin Jun 14, 2017 programmingrust Systems / Low-Level / OSProgramming (General) thread