Modern perspectives in proof theory (2023)
🤖AI
Flag this post
Chatter: Modern C based Unicode Chat/BBS
🔒Privacy
Flag this post
Parameter-Efficient Conditioning for Material Generalization in Graph-Based Simulators
arxiv.org·13h
🤖AI
Flag this post
Foundations for Hacking on OCaml
⚡Productivity
Flag this post
spectral flow
ncatlab.org·9h
🤖AI
Flag this post
The Underwear Fixed Point
🤖AI
Flag this post
We’re In a New Everything-Is-Connected Epoch. But What to Call It?
nytimes.com·8h
⚡Productivity
Flag this post
Deep Learning for Molecules and Materials
🤖AI
Flag this post
Deselection Deep Dive: University of California Berkeley’s Experience with the WEST Internet Archive Pilot
cdlib.org·32m
⚡Productivity
Flag this post
A Bachelor’s Degree
nigelb.me·8h
⚡Productivity
Flag this post
Building a Production-Ready Batch Video Processing Server with FFmpeg
img.ly·7h
⚡Productivity
Flag this post
Reverse Variational Autoencoder: A probabilistic inference framework for structural health monitoring and inverse analysis in engineering
sciencedirect.com·1h
🤖AI
Flag this post
No one knows the answer, and that’s the point
news.harvard.edu·1h
🤖AI
Flag this post
UDST and MCIT to host Second Winter School in Artificial Intelligence and Software Engineering
zawya.com·6h
🤖AI
Flag this post
Loading...Loading more...