冈妈去年的新片《アリスとテレスのまぼろし工場》向观者展开了一个谜题：标题中的「アリスとテレス」究竟意谓何物？片中并没有任何和アリス或者テレス相关的名字，但是如果将「と」也纳入名字的一部分，我们便得到了「アリストテレス」这个词，即亚里士多德。而回顾片中，确实可以找到亚里士多德的蛛…

Terence Tao, UCLA, gives the first of three AMS Colloquium Lectures at the 2024 Joint Mathematics Meetings in San Francisco. This lecture is entittled, "Machine Assisted Proof."

CUDA on non-NVIDIA GPUs. Contribute to vosen/ZLUDA development by creating an account on GitHub.

Introducing openFPGA. The future of video game preservation.

libgit2 going for a home run with this one

Have you ever done a dense grid search over neural network hyperparameters? Like a *really dense* grid search? It looks like this (!!). Blueish colors correspond to hyperparameters for which training c…

💖 10.04K 🔁 2.08K

This blog is intended to be a place to share ideas and results that are too weird, incomplete, or off-topic to turn into an academic paper, but that I think may be important. Let me know what you think! Contact links to the left.

飴蜜～

today i found out that this one australian guy has been toiling away making incredibly detailed Neural Circuit Diagrams with the vibe of a 1950s issue of Popular Mechanics, but content fit for the 2020s

behold. the Transformer

Even cats have something to say. 🐈

#catmemes

for(float e,i,a,w,x,g,h;i++<90.;o+=.01-.02/exp(max(s,e)*3e3)/h){vec3 p=vec3((FC.xy-.5*r)/r.y*g+2.,g);p.zy*=rotate2D(.5);e=p.y;h=e+p.x*.3;p.z+=t;for(a=.6;a>.001;a*=.7)p.xz*=rotate2D(5.),x=(p.x+p.z)/a+t+t,e-=w=exp(sin(x)-3.)*a,h+=abs(dot(sin(p.xz/a*.3)*a,r/r));g+=e=min(e…

Yesterday we released 0.1.0 Surfer, an extensible waveform viewer that runs everywhere

It includes a new wave library written by Kevin Laeufer which supports FSTs, and is more efficient handling VCDs. Startup time on a 7GB VCD went from 2 min to 6 sec…

Enhancing the Factorio experience with SAT solvers - R-O-C-K-E-T/Factorio-SAT