ICT2, the paperback!
logicmatters.net·13h
🎯Proof Tactics
abhisheksr01/spring-boot-microservice-best-practices
github.com·1d
🌊Streaming Systems
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·2d
🧮Prolog Parsing
Why Dyad?: A Perspective for Modelica Users
juliahub.com·1d·
Discuss: Hacker News
💧Liquid Types
Automating Persona Enriched Prompting
maxirwin.com·3d·
Discuss: Hacker News
🕵️Metadata Mining
🧠 Solving LeetCode Until I Become Top 1% — Day `31`
dev.to·18h·
Discuss: DEV
🔢Bitwise Algorithms
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·2d
⚖️Hoare Logic
Navigating the 'It Works on My Machine' Maze: A Developer's Guide to Consistent Local Environments
dev.to·4h·
Discuss: DEV
🔄Reproducible Builds
Generative AI Model Data Pre-Training on Kubernetes: A Use Case Study - DevConf.CZ 2025
youtube.com·18h
🌊Streaming Systems
Fast ground penetrating radar dual-parameter full waveform inversion method accelerated by hybrid compilation of CUDA kernel function and PyTorch
arxiv.org·22h
⚙️Tape Engineering
Optional Chaining (.?) in JS — Write Shorter & Safer Code!
dev.to·17h·
Discuss: DEV
✅Format Verification
Alto: Orchestrating Distributed Compound AI Systems with Nested Ancestry
arxiv.org·3d
🌀Brotli Internals
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Fast and Distributed Equivariant Graph Neural Networks by Virtual Node Learning
arxiv.org·1d
🌀Riemannian Computing
Generative AI in 2025: Transforming Enterprise Software for the Future
dev.to·14h·
Discuss: DEV
🧮Z3 Applications
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.org·2d
⚡Modern Compression
How to Write a Software Project Proposal: Complete Template & Guide
dev.to·20h·
Discuss: DEV
🦋Format Metamorphosis
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Optimal Parallel Algorithms for Convex Hulls in 2D and 3D under Noisy Primitive Operations
arxiv.org·2d
📊Computational Geometry
Memory Safety in Web Rust System Zero Cost Secure（1750644757028200）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing