allisterb

11 karmajoined January 6, 2017On HN

Recent submissions

Proving theorems in propositional calculus using the Sylph theorem prover allisterb.github.io
1allisterb6ydiscuss
Using Image Classification to Build a Digital Forensics Tool codeproject.com
2allisterb7ydiscuss
F# Linear algebra with type-level dimensions and static checks notebooks.azure.com
7allisterb7ydiscuss
Linear algebra in F# with type-level dimension sizes notebooks.azure.com
4allisterb7ydiscuss
Show HN: Cyber-forensics for public PCs using ML to detect hate speech, threats
4allisterb7ydiscuss
Show HN: Create a ML Classification Pipeline in .NET with ClassifyBot codeproject.com
2allisterb8ydiscuss
Show HN: Cross-platform parser/query tool for MySQL, OpenSSH, etc. config files github.com/allisterb
4allisterb8ydiscuss
Show HN: Compute.NET – NET bindings for native numerical computing github.com/allisterb
5allisterb8ydiscuss
NET Core Vector acceleration is comparable to C++ SIMD libraries codeproject.com
2allisterb8ydiscuss
Automate Implementing the DoD STIG for PostgreSQL medium.com
2allisterb9ydiscuss
Security auditing ASP.NET applications using DevAudit medium.com
2allisterb9ydiscuss
DevAudit: Cross-platform security auditing with Docker and SSH remote auditing github.com/OSSIndex
2allisterb9ydiscuss

All submissions and comments on Hacker News.