allisterb
- Karma
- 11
- Created
- 8 years ago
Recent Submissions
- 1. ▲ Proving theorems in propositional calculus using the Sylph theorem prover (allisterb.github.io)
- 2. ▲ Using Image Classification to Build a Digital Forensics Tool (codeproject.com)
- 3. ▲ F# Linear algebra with type-level dimensions and static checks (notebooks.azure.com)
- 4. ▲ Linear algebra in F# with type-level dimension sizes (notebooks.azure.com)
- 5. ▲ Show HN: Cyber-forensics for public PCs using ML to detect hate speech, threats
- 6. ▲ Show HN: Create a ML Classification Pipeline in .NET with ClassifyBot (codeproject.com)
- 7. ▲ Show HN: Cross-platform parser/query tool for MySQL, OpenSSH, etc. config files (github.com)
- 8. ▲ Show HN: Compute.NET – NET bindings for native numerical computing (github.com)
- 9. ▲ NET Core Vector acceleration is comparable to C++ SIMD libraries (codeproject.com)
- 10. ▲ Automate Implementing the DoD STIG for PostgreSQL (medium.com)