FP2: Fully In-Place Functional Programming [pdf](microsoft.com)

187 points by chriscbr 3 years ago | 20 comments

BitVM: Compute Anything on Bitcoin [pdf](bitvm.org)

111 points by wslh 3 years ago | 66 comments

The surprising effectiveness of test-time training for abstract reasoning [pdf](mit.edu)

63 points by trott 1 year ago | 13 comments

Learning Theory from First Principles [pdf](di.ens.fr)

240 points by magnio 2 years ago | 56 comments

Terse: A language with hi-level look-and-feel, low-level control (1995) [pdf](terse.com)

58 points by sph 2 years ago | 19 comments

Estimating Bidders' Valuation Distributions in Online Auctions (2005) [pdf](cs.ubc.ca)

22 points by joecobb 2 years ago | 0 comments

Aspects of modern HTML/CSS you may not be familiar with(lyra.horse)

391 points by todsacerdoti 1 year ago | 221 comments

A blog post on lyra's blog arguing that modern HTML and CSS features can replace much of what JavaScript frameworks are used for on the web.

Linux phones are more important now than ever(feddit.org)

627 points by wicket 1 year ago | 394 comments

A Lemmy forum post arguing Linux phone development must accelerate as Android becomes more closed, citing AOSP changes and bootloader lock removals.

Coding is not solved(blog.alexewerlof.com)

458 points by firstSpeaker 28 days ago | 459 comments

Alex Ewerlöf's opinion essay arguing that AI and LLM coding tools have not solved software coding, drawing on his experience building AI systems.

I'm betting on HTML(catskull.net)

909 points by catskull 3 years ago | 418 comments

A blog post arguing that semantic HTML matters more than ever in the age of LLMs, as an open alternative to walled-garden social platforms.

Write some software, give it away for free(nonogra.ph)

350 points by nohell 5 months ago | 235 comments

An anonymous essay on Nonograph arguing for writing software and giving it away free, citing the platform's own low costs versus subscription-driven enshittification.

Cognitive load is what matters(github.com)

1392 points by nromiun 1 year ago | 488 comments

GitHub repository by zakirullin containing an essay arguing that reducing cognitive load is what matters most in software development, with translations.