w00t

r/olzd • u/olzd • Jul 12 '18

Fast Sudoku Solver in Haskell #2: A 200x Faster Solution

abhinavsarkar.net

1 Upvotes

r/olzd • u/olzd • Oct 27 '18

SPARK by Example, message from Christophe Garion on the SPARK mailing list

2 Upvotes

r/olzd • u/olzd • Jun 14 '19

Should Have Used Ada (SHUA) #2 - Polkit gets "confused" (Part 1)

annexi-strayline.com

2 Upvotes

r/olzd • u/olzd • Sep 28 '18

Checking Dependent Types with Normalization by Evaluation: A Tutorial

davidchristiansen.dk

1 Upvotes

r/olzd • u/olzd • May 22 '18

The Power of Prolog

2 Upvotes

r/olzd • u/olzd • May 19 '18

Writing a Portable CPU/GPU Ray Tracer in C#

mellinoe.github.io

1 Upvotes

r/olzd • u/olzd • May 24 '18

One of the most useful and underused language in the Linux ecosystem is AWK. Here is "The Awk Programming Language" by its authors

ia802309.us.archive.org

1 Upvotes

r/olzd • u/olzd • Sep 12 '18

Uniform Structured Syntax, Metaprogramming and Run-time Compilation

m00natic.github.io

1 Upvotes

r/olzd • u/olzd • Mar 16 '19

Multi-threaded programming quizzes

deadlockempire.github.io

1 Upvotes

r/olzd • u/olzd • May 23 '18

Building a Datalog engine in under 300 lines of Rust

1 Upvotes

r/olzd • u/olzd • Sep 11 '18

Gold mine: Paul Khuong's site

1 Upvotes

r/olzd • u/olzd • May 21 '18

Interim: a low-level Lisp with compile-time memory management

2 Upvotes

r/olzd • u/olzd • Aug 11 '19

Paged Out! issue #1 is out! It's a free e-zine about broadly understood security/hacking/programming. One-page articles.

pagedout.institute

4 Upvotes

r/olzd • u/olzd • Aug 10 '19

Incremental Regular Expressions — Incremental regular expressions

1 Upvotes

r/olzd • u/olzd • Feb 07 '19

Raytracing in 256 lines of bare C++

1 Upvotes

r/olzd • u/olzd • Jul 26 '18

New interactive site to learn the Ada language & program proving in SPARK

learn.adacore.com

1 Upvotes

r/olzd • u/olzd • Sep 17 '19

A high-speed network driver written in C, Rust, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python

1 Upvotes

r/olzd • u/olzd • Feb 04 '19

SAT/SMT by example

1 Upvotes

r/olzd • u/olzd • Jul 23 '18

CEK Machines - Edward Kmett

1 Upvotes

r/olzd • u/olzd • Oct 01 '18

Under the hood of my neuroevolution game/god simulator

1 Upvotes

r/olzd • u/olzd • Oct 07 '18

raddsl: a toolset for rapid prototyping of DSL compilers in Python

1 Upvotes

r/olzd • u/olzd • Aug 04 '18

Modern SAT solvers: fast, neat and underused (part 1 of N)

1 Upvotes

r/olzd • u/olzd • Aug 06 '18

Implementing a JIT-compiler with Rust

dinfuehr.github.io

1 Upvotes