allisterb
- Karma
- 11
- Created
- January 6, 2017 (9y ago)
- Submissions
- 0
- Proving theorems in propositional calculus using the Sylph theorem prover (allisterb.github.io)
- Using Image Classification to Build a Digital Forensics Tool (codeproject.com)
- F# Linear algebra with type-level dimensions and static checks (notebooks.azure.com)
- Linear algebra in F# with type-level dimension sizes (notebooks.azure.com)
-
This is a digital forensics project I've been working on called OLAF which is designed to provide forensic evidence in investigations of using library or other public-facing PCs to send hate speech, violent threats,…
- Show HN: Create a ML Classification Pipeline in .NET with ClassifyBot (codeproject.com)
- NET Core Vector acceleration is comparable to C++ SIMD libraries (codeproject.com)
- Automate Implementing the DoD STIG for PostgreSQL (medium.com)