allisterb

6 ms·

1.
Proving theorems in propositional calculus using the Sylph theorem prover(allisterb.github.io)
1 points by allisterb 6y ago|0 comments
2.
by allisterb 6y ago
He was the first person I thought of when I saw this. He's been saying for weeks that the ventilator strategy was wrong and was harming patients.
3.
by allisterb 6y ago
Also for F#: https://github.com/allisterb/Sylvester/tree/master/src/Math/... Contains both rigorous definitions and theories for use by the Sylph prover.
4.
by allisterb 7y ago
I've created a Jupyter notebook here: http://ec2-52-15-66-200.us-east-2.compute.amazonaws.com:6677... that demos my ongoing progress with Sylvester and I'd love your feedback. It's also available on NuGet: https:
5.
by allisterb 7y ago
I'm also working on something like this with F# and TensorFlow: https://youtu.be/GUMTpTqzsJA https://devpost.com/software/sylvester-tf using typed natural number dimensions for arrays, vectors, ma
6.
by allisterb 7y ago
Also based on the idea of lightweight static checks and dependent types in existing ML languages: https://notebooks.azure.com/allisterb/projects/sylvester/htm...
7.
Using Image Classification to Build a Digital Forensics Tool(codeproject.com)
2 points by allisterb 7y ago|0 comments
8.
F# Linear algebra with type-level dimensions and static checks(notebooks.azure.com)
7 points by allisterb 7y ago|0 comments
9.
Linear algebra in F# with type-level dimension sizes(notebooks.azure.com)
4 points by allisterb 7y ago|0 comments
10.
by allisterb 7y ago
This is pretty awesome. The UI load time and responsiveness are vert impressive. I hate web dev with a passion and I've been looking for something like this.
11.
by allisterb 8y ago
Love it, keep it up
12.
Show HN: Cyber-forensics for public PCs using ML to detect hate speech, threats
4 points by allisterb 8y ago|0 comments
13.
by allisterb 8y ago
It's a pretty cool idea I think and is a great adjunct to traditional language learning. Maybe there could be an API so that open-source media players would be able to show the text on the screen together with the video. Hope you make
14.
by allisterb 8y ago
Awesome, great to see another cross-platform UI option for .NET Core. I love the idea of being able to write my core logic in .NET and using a GUI toolkit like Qml for the interface.
15.
by allisterb 8y ago
ClassifyBot https://github.com/allisterb/ClassifyBot Designed to automate and make repeatable different stages in classification pipelines. Written in .NET but agnostic about language or framework. Embeds a Python inte
16.
by allisterb 8y ago
Can't people stop beating this dead horse already. She screwed up, her company is dead, just let her be.
17.
by allisterb 8y ago
Awesome, love the UI. Writing software from scratch is such a rewarding experience in so many way and it shows recruiters you can code and are self-motivated and have a deep understanding of something. Good luck on the job search.
18.
Show HN: Create a ML Classification Pipeline in .NET with ClassifyBot(codeproject.com)
2 points by allisterb 8y ago|0 comments
19.
by allisterb 8y ago
This is pretty awesome. Love the multi-pane interface. It's true there is a lot of data access tech for Excel data like OLE DB, but this works right inside Excel which has a huge user base. Good luck!
20.
Show HN: Cross-platform parser/query tool for MySQL, OpenSSH, etc. config files(github.com)
4 points by allisterb 9y ago|0 comments
21.
Show HN: Compute.NET – NET bindings for native numerical computing(github.com)
5 points by allisterb 9y ago|0 comments
22.
NET Core Vector acceleration is comparable to C++ SIMD libraries(codeproject.com)
2 points by allisterb 9y ago|0 comments
23.
by allisterb 9y ago
also: http://www.ilgpu.net/
24.
Automate Implementing the DoD STIG for PostgreSQL(medium.com)
2 points by allisterb 9y ago|0 comments
25.
Security auditing ASP.NET applications using DevAudit(medium.com)
2 points by allisterb 9y ago|0 comments
26.
by allisterb 9y ago
This is pretty interesting. How would this be different from traditional knowledge base programs? Is it that you are explicitly modelling beliefs and actions and things like that?
27.
by allisterb 10y ago
Yes you're right, Xamarin Forms seems to be targeted at Windows/iOS/Android portability with a common XAML codebase. For cross-platform desktop apps the best choice seems to be something like [Gtk#]( http://www.mono
28.
by allisterb 10y ago
I think you could add a UI project using Xamarin without much trouble and make the whole thing cross-platform with Linux, Mac and potentially Android/iOS support. From what I've seen the WPF-specific code is restricted to the Alep
29.
DevAudit: Cross-platform security auditing with Docker and SSH remote auditing(github.com)
2 points by allisterb 10y ago|0 comments