🔗 Category Theory - abnv · Scour

Formally verifying digital circuits with category theory in Lean ↕️Bidirectional Types

matt.hunzinger.me·5d·r/programming·

The Reamorment Monograph: Four-Torus, Decordment, and the Topology of Return 🔗Concatenative Theory

beyondturbulence.blogspot.com·2d·

Manifold topological deep learning for biomedical data 🗺️Region Inference

nature.com·18h·

Why natural transformations? ✨Code Formatting

lesswrong.com·14h·

Think Labyrinth: Maze Algorithms 🤐Zipper Structures

astrolog.org·1d·Hacker News·

What Category Theory Teaches Us About DataFrames 📊DataFrame Types

mchav.github.io·4d·Lobsters, Hacker News, Hacker News, r/programming·

Woot! Toy Spring Sale: Up to 62% off Mega Bloks, 4D Build, Squishmallows and more 🐹Minimal Go

home.woot.com·4h·

Poisoned pixels, phishing, prompt injection: Cybersecurity threats in AI-driven radiology 🛡️Security Type Systems

healthcare-in-europe.com·9h·

James P. Edwards in nLab 📐Mathematical Computing

ncatlab.org·2d·

What’s the difference between a topology, an ontology and a taxonomy 🎯Type Theory

rogerswannell.com·4d·

asshole sluts are taking over the topology seminar!? 🎭Racket

bsky.app·2d·Bluesky·

Intro to Reality Pentesting 🏰Capability Machines

cptkj.substack.com·1d·Substack·

A Node Optimization Idea: Solving GC Bottlenecks Under Concurrency ⏲️Embedded GC

github.com·6d·r/node·

From Oil to All-Electric: My 1950 Cape Cod Journey 🚀V8 Internals

tools.schleidtworks.com·2d·Hacker News·

Uncertainty-aware frequency stability prediction with label-free model adaptation to grid topology changes 🌪️V8 TurboFan

sciencedirect.com·4d·

Predicting and interpreting cell-type-specific drug responses in the small-data regime using inductive priors ✨Effect Inference

nature.com·6h·

Devlog 6 🐛Interactive Debuggers

luckless01.itch.io·3d·

Changing Interfaces Connected to netlab Links 🔧WASI

blog.ipspace.net·3d·

ewijaya/cluspro-automation-py: Automated protein-protein docking pipeline for ClusPro. Batch submission, queue monitoring, results parsing, and GPCR topology-aware pose validation. Enables high-throughput virtual screening of peptide-receptor interactions for drug discovery workflows. 💬Interactive REPLs

github.com·2d·r/Python·

Best Outdoor Lighting Spring Sale: Up to 81% off Brightever, Hakol, BesLowe and more 🌐Browser REPLs

tools.woot.com·6d·

Loading more...