IFS Fractal codec
codecs.multimedia.cxยท18h
๐Fractal Compression
Flag this post
How to find DNN Software installations on your network
runzero.comยท13h
๐ก๏ธSecurity Headers
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ Part 1
aws.amazon.comยท8h
โกProof Automation
Flag this post
Independent Auditing Framework for Algorithmic Fairness: A Dynamic Bayesian Network Approach
๐BitFunnel
Flag this post
Ajla Tutorial
๐งLiquid Types
Flag this post
go schema validation
โ
Format Verification
Flag this post
OpenBSD proposes BPF socket filtering to enhance daemon security
discoverbsd.comยท21h
๐ก๏ธeBPF Security
Flag this post
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
๐งฌPostgreSQL Forensics
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.comยท15h
๐ก๏ธeBPF Security
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท1d
โ
Format Verification
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
De Bruijn Numerals
ฮปLambda Encodings
Flag this post
Registry Analysis
๐NTLM Archaeology
Flag this post
Show HN: sjl โ Simple JSON Logger for Rust
๐CBOR
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.ioยท10h
๐Streaming Systems
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.orgยท2d
๐จ๐ณChinese Computing
Flag this post
Roadmap for Improving the Type Checker
๐งLiquid Types
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Combinatory Logic
Flag this post
Down with template (or not)!
cedardb.comยท1d
๐ฏGradual Typing
Flag this post
Loading...Loading more...