Smart Log Anomaly Detection with Python and Isolation Forest
dev.toยท3dยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.orgยท22h
๐Ÿ“‹Document Grammar
Balance between refactoring and inheritance in your code
github.comยท14hยท
Discuss: Hacker News
โœ…Format Verification
Streaming BLE Sensor Data into Microsoft Power BI
hackster.ioยท17h
๐Ÿ“ŠHomelab Monitoring
In-depth Review of Emacs tree-sitter integration
archive.casouri.ccยท3hยท
Discuss: Lobsters
๐ŸŒณIncremental Parsing
Pre-viva Talk - 02/10/2025
informatics.ed.ac.ukยท13h
๐Ÿค–Grammar Induction
LLM-Generated Rules Engines for LLM Explainability
brain.coยท3dยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.comยท4h
โšกProof Automation
Optimized Modbus RTU Data Validation via Hybrid Markov & Bayesian Filtering
dev.toยท16hยท
Discuss: DEV
๐Ÿ”งHardware Verification
Show HN: Building an open-source agentic terminal
davehudson.ioยท9hยท
Discuss: Hacker News
๐Ÿ“ŸTerminals
The Rise of Semantic Entity Resolution
towardsdatascience.comยท1d
๐Ÿ“„Semantic Chunking
Understanding Log Events: Why Context Is Key
thenewstack.ioยท4d
๐Ÿ‘๏ธObservatory Systems
Lessons from using AI in Discovery
thoughtbot.comยท1d
๐Ÿ•ต๏ธMetadata Mining
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.comยท11hยท
๐Ÿ”—Lisp
Sentrilite: Lightweight syscall/Kubernetes API tracing with eBPF/XDP
reddit.comยท1dยท
Discuss: r/kubernetes
๐Ÿ›ก๏ธeBPF Security
Semantic Dictionary Encoding
falvotech.comยท11hยท
Discuss: Hacker News
๐ŸŒ€Brotli Dictionary
How to Debug Chez Scheme Programs (2002)
scheme.comยท4hยท
Discuss: Hacker News
๐Ÿ“œProof Carrying Code
Automated Data Lineage Reconstruction via Multi-Modal Graph Analysis & HyperScore Validation
dev.toยท7hยท
Discuss: DEV
๐Ÿ”—Data Provenance
Show HN: Semlib โ€“ Semantic Data Processing
github.comยท12hยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing