Andrew Gibiansky :: Math → [Code]

Blog
Archive
About

Verification Posts

2015

Writing a SAT Solver

Apr 5

Posted in verification, haskell

Contact

If you've got questions, comments, suggestions, or just want to talk, feel free to email me at andrew.gibiansky on Gmail.

Recent Posts (RSS)

Bringing HPC Techniques to Deep Learning
NRAM: Theano Implementation
NRAM: Neural Random Access Memory
jq Primer: Munging JSON Data
Creating a Culture of Good Engineering
Common Techniques in Molecular Biology
CRISPR Gene Editing
Quick Coding Intro to Neural Networks
Writing a SAT Solver
Lattice Boltzmann Method
Finger Trees
Abstraction in Haskell (Monoids, Functors, Monads)
Typeclasses: Polymorphism in Haskell
Your First Haskell Application (with Gloss)
Intro to Haskell Syntax
Linguistics and Syntax
Speech Recognition with Neural Networks
Matrix Multiplication
Recurrent Neural Networks
Gauss Newton Matrix
Convolutional Neural Networks
Fully Connected Neural Network Algorithms
Hessian Free Optimization
Conjugate Gradient
Gradient Descent Typeclasses in Haskell
Homophony Groups in Haskell
Creating Language Kernels for IPython
Detecting Genetic Copynumber with Gaussian Mixture Models
K Nearest Neighbors: Simplest Machine Learning
Cool Linear Algebra: Singular Value Decomposition
Accelerating Options Pricing via Fourier Transforms
Pricing Stock Options via the Binomial Model
Your Very First Microprocessor
Circuits and Arithmetic
Digital Design Tools: Verilog and HDLs
Quadcopter Dynamics and Simulation
The Digital State
Computing with Transistors
Machine Learning: Neural Networks
Machine Learning: the Basics
Iranian Political Embargoes, and their Non-Existent Impact on Gasoline Prices
Computational Fluid Dynamics
Fluid Dynamics: The Navier-Stokes Equations
Image Morphing

The content on this blog is licensed under the CC-BY-SA license.