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)
📊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
Open-sourcing yensid
garnix.io·1d
❄️Nixpkgs
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
🦀Rust Borrowing
Flag this post
Automated Causal Pathway Discovery via Dynamic Bayesian Network Refinement
⚡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
🧱Immutable Infrastructure
Flag this post
Using Claude Skills with Neo4j
towardsdatascience.com·1d
🕸️Neo4j
Flag this post
I built an faster Notion in Rust
🦀Rust Macros
Flag this post
How fast can an LLM go?
🎯Emulator Accuracy
Flag this post
The Green Tea Garbage Collector
🌊Streaming Algorithms
Flag this post
Loading...Loading more...