Tactic Languages, Auto Tactics, Proof Search, Hammer Tools
Picking up sticks.
drwho.virtadpt.netΒ·17h
ChatGPTβs new branching feature is a good reminder that AI chatbots arenβt people
arstechnica.comΒ·7h
Retail Under Siege: How Ransomware Is Rewriting The Rules Of Digital Forensics In The UK
forensicfocus.comΒ·1d
Morgan Stanley intern survey: How they use AI and what they think about it taking over their jobs
businessinsider.comΒ·1d
Hybrid AI-Driven Intrusion Detection: Framework Leveraging Novel Feature Selection for Enhanced Network Security
arxiv.orgΒ·2d
A developer's guide to building secure retail apps with GitLab
about.gitlab.comΒ·2d
Towards Trustworthy Vital Sign Forecasting: Leveraging Uncertainty for Prediction Intervals
arxiv.orgΒ·2d
Yet Unnoticed in LSTM: Binary Tree Based Input Reordering, Weight Regularization, and Gate Nonlinearization
arxiv.orgΒ·2d
I made a small nginx web UI (with Cloudflare + CloudFront support) β maybe useful for someone?
github.comΒ·19h
Loading...Loading more...