Many Factorials in Lambda Calculus(text.marvinborner.de)

10 points by marvinborner 1 year ago | 2 comments

Decomposing factorial of 300K as the product of 300K factors larger than 100K(gus-massa.blogspot.com)

90 points by gus_massa 1 year ago | 9 comments

Getaddrinfo() on glibc calls getenv(), oh boy(rachelbythebay.com)

259 points by defrost 3 years ago | 229 comments

Simulating a Machine from the 80s(rmazur.io)

67 points by roman-mazur 1 year ago | 10 comments

Writing Wohpe (2022)(antirez.com)

7 points by jasondavies 2 years ago | 2 comments

Deterministic multithreading is hard (2024)(factorio.com)

95 points by adtac 1 year ago | 9 comments

Bytecode Breakdown: Unraveling Factorio's Lua Security Flaws(memorycorruption.net)

443 points by memcorruption 2 years ago | 113 comments

A security research blog post explaining how Lua bytecode flaws in the game Factorio can be exploited for memory corruption and remote code execution.

Enhancing Factorio with SAT solvers(github.com)

348 points by polivier 2 years ago | 110 comments

GitHub repository for Factorio-SAT, a Python project that uses SAT solvers to generate optimized Factorio designs such as belt balancers.

Show HN: Factorio Blueprint Visualizer(github.com)

419 points by piebro 1 year ago | 91 comments

GitHub repository for a tool and web demo that artfully visualizes Factorio blueprints, updated for Factorio 2.0 and Space Age.

Show HN: Factorio Learning Environment – Agents Build Factories(jackhopkins.github.io)

695 points by noddybear 1 year ago | 200 comments

Project page for the Factorio Learning Environment, an open-source framework and benchmark for evaluating LLM agents building factories in Factorio.

Factorio that you can touch(factorio.com)

308 points by ibobev 1 month ago | 98 comments

Factorio Friday Facts #447 blog post from Wube Software about a physical, touchable version of Factorio items.

LLaMA now goes faster on CPUs(justine.lol)

1286 points by lawrencechen 2 years ago | 413 comments

Justine Tunney's blog post describing 84 new matrix multiplication kernels that make llamafile prompt evaluation 30-500% faster on CPUs than llama.cpp.