How to Average in Prolog (2017)(storytotell.org)

64 points by todsacerdoti 1 year ago | 19 comments

What is f(x) ≤ g(x) + O(1)? Inequalities With Asymptotics(jamesoswald.dev)

36 points by ibobev 8 months ago | 26 comments

AsciiMath(asciimath.org)

130 points by smartmic 1 year ago | 41 comments

Nyquist Limit:The frequency of changes in tech is invalidating our understanding(ryanprior.com)

50 points by evakhoury 9 days ago | 21 comments

Blog post by Ryan Prior arguing that LLM-driven rapid change in software exceeds the human 'sampling rate' of understanding, using the Nyquist limit as an analogy.

Show HN: Resonate – real-time high temporal resolution spectral analysis(alexandrefrancois.org)

59 points by arjf 1 year ago | 19 comments

Show HN: ADRs for AI – Deliberation records for human–AI work, versioned in Git(adrs.systems)

59 points by lumbroso 20 days ago | 32 comments

Landing page for ADRs4AI, a Git-versioned framework, template, VS Code extension, and iOS app for recording human–AI design deliberations as decision records.

That's not an abstraction, that's a layer of indirection(fhur.me)

546 points by fagnerbrack 1 year ago | 213 comments

A blog post arguing that many so-called abstractions in codebases are merely layers of indirection that add complexity and hurt performance without real value.

We have traits at home(axelmagn.com)

40 points by Ygg2 22 days ago | 14 comments

A blog post proposing a convention for compile-time Traits in Zig as comptime structs of functions, compared with interfaces/vtables and comptime duck typing.

Web development is fun again(ma.ttias.be)

444 points by Mojah 10 months ago | 544 comments

Mattias Geniar's blog post reflecting on how web development felt simpler in the PHP 4 and jQuery era and arguing it has become fun again.

I don't like NumPy(dynomight.net)

399 points by MinimalAction 1 year ago | 164 comments

A Dynomight blog essay critiquing NumPy's design, arguing its array broadcasting and indexing make complex computations confusing.

Yet another way to invoke functions without parentheses(blog.ikaes.de)

235 points by aragonite 1 month ago | 101 comments

Blog post showing a technique to invoke arbitrary JavaScript functions without parentheses using Error.prepareStackTrace and prototype overrides.

The Mathocalypse(scottaaronson.blog)

361 points by 6bitquant 1 month ago | 380 comments

Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.