Translating English Sentences into Propositional Logic Statements
nbviewer.ipython.org·5d
🌳Context free grammars
A multi-platform GPU accelerated library for signal analysis using Apple MLX
byron-the-bulb.github.io·20h·
Discuss: Hacker News
📊Spectrograms
Real-Time AI-Powered DDoS Detection
timeplus.com·50m·
Discuss: Hacker News
🕵️Network Forensics
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.com·1h·
Discuss: Hacker News
💿ZFS Internals
An experiment generating a protocol spec from natural language source with LLM
gist.github.com·3d·
Discuss: Hacker News
🧪CBOR Fuzzing
Petri: An open-source auditing tool to accelerate AI safety research \ Anthropic
anthropic.com·22h·
Discuss: Hacker News
🎯Threat Hunting
Assessing the impact of contact time on leachate chemistry from recycled concrete aggregates
arxiv.org·12h
🧪Cassette Chemistry
Responsible AI: How PowerSchool safeguards millions of students with AI-powered content filtering using Amazon SageMaker AI
aws.amazon.com·21h
🤖AI Curation
🎉 MongoDB Atlas CRUD Operations Made Easy! 🚀
dev.to·1d·
Discuss: DEV
🧠Query Planners
Day 24 of My 90 Days Python Series – Word Counter Tool
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
How I Used ChatGPT to Land My Next Data Science Role
towardsdatascience.com·22h
🗺️Competency Maps
Understanding Linux Namespaces: A Guide to Process Isolation
dev.to·23h·
Discuss: DEV
🔩Systems Programming
Automated Risk Calibration for Shipping Asset-Backed Securities via Dynamic Portfolio Optimization
dev.to·1d·
Discuss: DEV
⚙️Batch Processing
HOFLON: Hybrid Offline Learning and Online Optimization for Process Start-Up and Grade-Transition Control
arxiv.org·12h
⚡Incremental Computation
Agents go brrrrrrr
dev.to·2d·
Discuss: DEV
⚡Proof Automation
AI Code Assistants Are Making Developers Lazy (And That's Actually Good)
dev.to·11h·
Discuss: DEV
📐Proof Assistants
LLM-Guided Evolutionary Program Synthesis for Quasi-Monte Carlo Design
arxiv.org·12h
📼Tape Combinators
AI-Driven Predictive Maintenance for Mooring Winch Systems via Dynamic Bayesian Network Optimization
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Q-Learning with Shift-Aware Upper Confidence Bound in Non-Stationary Reinforcement Learning
arxiv.org·1d
🧮Kolmogorov Bounds
Mapping Patient-Perceived Physician Traits from Nationwide Online Reviews with LLMs
arxiv.org·12h
🔍Information Retrieval