21
3
The extended predicative Mahlo universe in Martin-Löf type theory (2023) (oup.com)
1
Haskell library for non-deterministic pattern matching (github.com/egison)
3
Physicist: After 33 billon years, universe 'will end in a big crunch' (cornell.edu)
1
Pre-balanced GPU workload distribution inspired by octopus neural coordination (github.com/matthewlam721)
4
Collatz-Weyl Generators: Pseudorandom Number Generators (2023) (arxiv.org)
2
Fast backtracking-resistant random generator (github.com/google)
2
Semantic Dictionary Encoding (falvotech.com)
2
Build Your Own Htmx (joshi.monster)
85
Some arguments against a land value tax (2024) (lesswrong.com)
24
Learning from the Amiga API/ABI (asm-basic-coder.neocities.org)
3
LzTurbo – Fastest Compressor (sites.google.com)
2
A Comprehensive List of Versioning Schemes in Open Source (nesbitt.io)
1
The Lottery Problem: Tracing Stefan Mandel's Combinatorial Condensation (arxiv.org)
1
Computer-Optimized Floor Plans (kottke.org)
1
Lev Foundation (levf.org)
1
New Molecule Mimics Exercise and Fasting Effects (neurosciencenews.com)
1
A.I. Designs New Electric Motor [video] (youtube.com)
2
Swift Regret: Tuples and Argument Lists (belkadan.com)
1
Scaling up worker cooperatives through the franchise model (ilo.org)
2
Springs and Struts (c2.com)
1
The Power of Sponsorship at Gore (chieflearningofficer.com)
1
Fast, high quality, platform-independent hashing algorithm (github.com/nicoshev)
12
An icon taskbar for the Gnome Shell (github.com/home-sweet-gnome)
1
Overview Effect (wikipedia.org)
1
Reversible computing from a programming language perspective (sciencedirect.com)
6
A collection of compiler optimizations with brief descriptions and examples (compileroptimizations.com)
70
Automated integer hash function discovery (github.com/skeeto)
1
Silicon could make car batteries better–for a price (acs.org)
3
Parse Ternary Lambda Calculus for Correctness (codegolf.stackexchange.com)
1
ELF, Part 2 (kestrelcomputer.github.io)
2
Pattern Calculus (wikipedia.org)
11
Fast Virtual Functions: Hacking the VTable for Fun and Profit (medium.com/calebleak)
2
Reactive or Coroutines: Between a rock and a hard place? (medium.com/digitalfrontiers)
1
Practical compilation of fexprs using partial evaluation (arxiv.org)
3
3D Printing Companies Are Dying (medium.com/alexhuckstepp)
1
The HSIC Bottleneck: Deep Learning Without Back-Propagation (arxiv.org)
49
Ternary circuits: R=3 is not the Optimal Radix for Computation (2019) (arxiv.org)
14
Programming Language for Ternary Computing (github.com/nirvanasupermind)
1
A modern header-only zero-overhead library for creating smart references (github.com/erikvalkering)
2
Synthetic Diamonds and Ultrapure Glass May Make the Coolest, Fastest CPUs Yet (tomshardware.com)
2
Matching namespaces to folders is an anti-pattern (medium.com/steve_verm)
1
Structured Data Programming (codefarms.com)
27
A fast, lightweight, and undetectable YouTube Ads Blocker for Firefox (addons.mozilla.org)
2
Windows Copilot AI is the new Start button, says Microsoft CEO (pcworld.com)
92
Pepper X (wikipedia.org)
2
Nearly all mammals will go extinct in 250M years as Earth warms (newscientist.com)
2
Fly-Pie is an innovative marking menu (github.com/schneegans)
1
Forensic Watermarking Tool Embeds Trackable Info in Every Frame (tomshardware.com)
1
Technology Independent Machine Interface (wikipedia.org)
1
General to Specific vs. Specific to General (lesswrong.com)
2
Programming with Implicit Values, Functions, and Control [pdf] (microsoft.com)
2
Janino is a super-small, super-fast Java compiler (github.com/janino-compiler)
1
Just in Time Datastructures (github.com/ubodin)
1
First Class Types (c2.com)
1
Reliable User Datagram Protocol (wikipedia.org)
2
Pluggable Type Systems [pdf] (bracha.org)
2
3D X-DRAM Roadmap: 1Tb Die Density by 2030 (tomshardware.com)
2
Open XML Paper Specification (wikipedia.org)
1
Static Considered Harmful? (infoworld.com)
1
Continuous program optimization: A case study (acm.org)
2
Sum Types and Union Types (yinwang0.wordpress.com)
1
Vedic Mathematics (wikipedia.org)
2
USB-C on iPhone 15 might still require MFi certified cables (appleinsider.com)
1
I Turned MIT Award Winning Toroidal Propeller into a PC Fan (youtube.com)
2
Cooperative vs. Preemptive: a quest to maximize concurrency power (medium.com/traveloka-engineering)
2
Integrity (Operating System) (wikipedia.org)
2
Beyond static and dynamic scope [pdf] (pleiad.cl)
2
Lenient evaluation is neither strict nor lazy (sciencedirect.com)
4
(When) Will Property-Based Testing Rule the World? [pdf] (upenn.edu)
1
Platform Cooperative (wikipedia.org)
1
Modernizing File System Through In-Storage Indexing (usenix.org)
2
Professional File System (wikipedia.org)
5
If Apple Were a Worker Cooperative, Each Employee Would Earn at Least $403K (forbes.com/sites/cameronkeng)
2
Lua in the Kernel? (lwn.net)
3
Is This Truly a Maintenance-Free House? (treehugger.com)
2
Pie Menu Generator (softwaretailoring.net)
1
Control Strip (wikipedia.org)
1
Awesome-Terminals (github.com/cdleon)
1
Maple Trees (lwn.net)
1
The Move Borrow Checker (arxiv.org)
1
BbLean (sourceforge.net)
1
A Type System for First-Class Recursive ML Modules (tuni.fi)
2
What Is Structured Concurrency?
1
Tripos
2
Two-Level Namespaces
1
We Need Simpler Types
1
Fundamentals of Spreadsheet Languages
2
Proposal to Add a Keyword to All OO Languages
2
New Battery Technologies That Will Change the Future
1
Use Postfix Dereferencing
1