ICS-OT-PLC CTF Challenge Write-Up: Solving the CISS2025 Stage-1 “Pass the Door of Durin”
pixelstech.net·11h
🎯Interactive Provers
IdleRPG at a LAN party
octet-stream.net·1d
👑Isabelle
A Look at Graph Visualization with React Sigma
lyonwj.com·3d·
Discuss: Hacker News
🗜️Graph Compression
Liquid Cooling Exhibits
chipsandcheese.com·19h·
Discuss: Hacker News
🖥️Modern Terminals
OSMAnd vs. Organic Maps
blog.firedrake.org·1d·
Discuss: Hacker News
📱QR Archaeology
Observations of Thwaites Glacier consistent with high rates of loss next 50 yrs
essopenarchive.org·1d·
Discuss: Hacker News
🛠️Greaseweazle
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·1d·
Discuss: Hacker News, r/programming
🌊Stream Ciphers
Bootstrapping a Forth for Art
tia.mat.br·2d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Show HN: Omni-LPR – A multi-protocol license plate recognition server
news.ycombinator.com·23h·
Discuss: Hacker News
🌀Brotli Internals
Automated Analysis of Vector-Borne Disease Transmission Using Bayesian Network Optimization
dev.to·1d·
Discuss: DEV
📐Vector Dimensionality
Automated Mineralogical Pattern Recognition via Hyperdimensional Feature Space Mapping and Bayesian Optimization
dev.to·4d·
Discuss: DEV
🏺Computational Archaeology
Beyond Optimization: Exploring Novelty Discovery in Autonomous Experiments
arxiv.org·4d
🏺Computational Archaeology
Discrete Spacetime Anomaly Mapping via Hyper-Dimensional Graph Neural Networks
dev.to·3d·
Discuss: DEV
🌀Hyperbolic Geometry
Adaptive Cooperative Routing Optimization for Enhanced V2X-Based Autonomous Vehicle Resilience
dev.to·1d·
Discuss: DEV
🕸️Mesh Networking
Traffic State Estimation in Congestion to Extend Applicability of DFOS
arxiv.org·1d
🌊Stream Processing
Inverse Random Source Problem for the Helmholtz Equation from Statistical Phaseless Data
arxiv.org·1d
✅Lossless Bounds
A Complete User Authentication System Using Django REST framework and ReactJS
dev.to·20h·
Discuss: DEV
🔐Capability Systems
Morae: Proactively Pausing UI Agents for User Choices
arxiv.org·1d
🎛️Feed Filtering
Neural Spline Operators for Risk Quantification in Stochastic Systems
arxiv.org·4d
🧮Kolmogorov Bounds
Learning Unified Representations from Heterogeneous Data for Robust Heart Rate Modeling
arxiv.org·1d
🧠Machine Learning