Hacker News new | ask | show | jobs
user: allisterb
created: 2017-01-06
karma: 11

submissions:

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