Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2h
λLambda Formalization
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·14h·
Discuss: Hacker News
📊Static Analysis
Flag this post
ESTIMED_hackathon1_SSSUP
hackster.io·3h
🔒WASM Capabilities
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.org·11h
🧮Vector Embeddings
Flag this post
Malicious NPM Packages Disguised With 'Invisible' Dependencies
darkreading.com·18h
📦Package Managers
Flag this post
The average codebase is now 50% dependencies — is this sustainable?
intel.com·20h·
❄️Nix Flakes
Flag this post
Open-sourcing yensid
garnix.io·1d
❄️Nixpkgs
Flag this post
I'm Independently Verifying Go's Reproducible Builds
agwa.name·22h·
🔄Reproducible Builds
Flag this post
My Rough and Incomplete Back End Developer Skill Tree
iainschmitt.com·2d·
Discuss: Hacker News
🔩Systems Programming
Flag this post
From Bottleneck to Breakthrough: AI in Chip Verification
spectrum.ieee.org·5h
🔧Hardware Verification
Flag this post
Beyond Speed: Why Your Next App Must Be Multi-Architecture
thenewstack.io·31m
🖥️Self-hosted Infrastructure
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·10h·
🦀Rust Borrowing
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·2h·
Discuss: Hacker News
Effect Handlers
Flag this post
Automated Causal Pathway Discovery via Dynamic Bayesian Network Refinement
dev.to·2h·
Discuss: DEV
Incremental Computation
Flag this post
AI and the strengthening of records management approaches
thinkingrecords.co.uk·6h
📐Archive Calculus
Flag this post
Infrastructure as Code
opentofu.org·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
Using Claude Skills with Neo4j
towardsdatascience.com·1d
🕸️Neo4j
Flag this post
I built an faster Notion in Rust
imedadel.com·1d·
🦀Rust Macros
Flag this post
How fast can an LLM go?
fergusfinn.com·5h·
Discuss: Hacker News
🎯Emulator Accuracy
Flag this post
The Green Tea Garbage Collector
go.dev·1d·
🌊Streaming Algorithms
Flag this post