← Feed

Posts

• Post #4360796

  Introducing Objective-Lean

• Post #4248987

  This sounds perfect for full stack development. Tk frontend, AOLserver backend. “AOLserver is multithreaded, Tcl-enabled, and used for large scale, dynamic web sites.” https://en.wikipedia.org/wiki/AOLserver

• Post #4248986

  Neo

• Post #4248985

  Ok, now I’m completely sure that <a, b | aaa=1, ababbb=ba> is a finite monoid with 336 elements. I got Knuth-Bendix completion to succeed by adding the generator c=bbbbbbbb. It generates several million rules, before settling at 216 and establishing confluence. Most of those intermediate rules don’t participate in any reductions leading up to the final system, so they can be thrown out. Only ~32,000 intermediate rules are referenced by the 216 that remain at the end. For every...

• Post #4248984

  Electron but with lynx as the browser engine

• Post #4248983

  A Database of One-relator Groups https://warwick.ac.uk/fac/sci/maths/people/staff/linton/homepage/

• Post #4248982

  What do you mean, compiling the same program twice should produce identical binaries? In the security world they’d call that a “replay attack”

• Post #4248981

  A counterexample to the unit conjecture for group rings, Giles Gardam https://arxiv.org/abs/2102.11818

• Post #4248980

  Chalkidiki, Greece

• Post #4248979

  Zig incremental compilation internals https://mlugg.co.uk/posts/incremental-compilation-internals/

• Post #4248978

  The official beer of the Riemann hypothesis?

• Post #3720684

  MAF is so fucking hardcore, it doesn’t even build on Linux out of the box unless you edit the Makefile, it cracks my 87-element monoid instantly, and it also has a direct implementation of a Rubik’s cube as a permutation group https://sourceforge.net/p/maffsa/code/HEAD/tree/rubik.cpp

• Post #3556974

  If you can solve the word problem in this monoid, you’re following too close

• Post #3520319

  Smalltalk-80, HyperCard, and Visual Basic 6 were far more compelling "future of programming" attempts than anything available today

• Post #3458232

  All the scrubs who joined for the tech hot takes start unfollowing every time I post about one-relation monoids. I think of it as cleaning up technical debt

• Post #3421105

  “If you’re not running a swarm of LLM coding agents, you’ll be left behind” Bro I don’t even use code completion

• Post #3412808

  Perl 5 LLM policy https://perl.topicbox.com/groups/perl-core/Tded84d01cb16966e-M4f2b94e0c07f9d7cb8e1e76b

• Post #3394898

  RE: https://social.nouveau.community/@andnull/116807799779378492 An interesting corner of PL history saved from bitrot, thank you!

• Post #3382718

  Open source projects will tell you they have no choice but to allow slop, because doing anything else is a form of gatekeeping that will exclude too many potential contributors. Nothing could be further than the truth, though. When the review queue is a non-stop machine gun of giant, bogus drive-by patches, the good contributions will inevitably fall through the cracks. Eventually, the contributors you actually want—those who care about the long-term health of the code base, building instituti...

• Post #3339913

  For some reason they always write “Assisted-by: Claude” in their commit messages instead of “Assisted-by: human reviewers who patiently explained why the original change was completely wrong, and pointed out the exact lines of code to change instead”

• Post #2451425

  You’re a supervillian in a 90s action movie. What ridiculously overpowered computer are you using for your nefarious but ultimately computationally trivial task, like e-mailing a ransom note or bomb threat, etc?

• Post #2148346

  This article is about the software bug. For events occurring during the presidency of George W. Bush, see Presidency of George W. Bush. https://en.wikipedia.org/wiki/Bush_hid_the_facts

• Post #1968504

  Silicon Valley: “AI makes us 10x more productive!” Reality: - junior devs write the prompt - senior devs tell the junior how dev to write the prompt - staff devs attend meetings with senior devs on how to translate business requirements into prompts - execs lay everyone off and cancel their projects: we’re pivoting to AI!

• Post #1968503

  Interesting Unix race condition I hadn’t considered before: if one process is generating new files in a directory and you concurrently run rm -rf on that directory, the rm -rf can fail if it thinks the directory is empty but the rmdir at the end fails because new files have been created since

• Post #1968502

  Startup idea: retro-computing DevOps as a service (once this takes off, we’ll just call it RCDOaaS). Whether it’s setting up a CI pipeline for testing and packaging your System 7 app, or running a million Commodore 64 VMs in a Kubernetes cluster, we’ve got you covered. Anywhere from 1 9’s of uptime to 1.5, based on your budget and needs

• Post #1827202

  A funny little monoid: ⟨a, b | ba=ab, aaa=bb⟩ It is commutative, because ba=ab. It is cancellative, because ax=ay or bx=by implies x=y, for all x, y. A cancellative commutative monoid embeds in a group with the same presentation, and the group you get is Z, so this is a submonoid of the integers. But which submonoid? One possible embedding sends ‘a’ to 2 and ‘b’ to 3, so this monoid is the set of all non-negative linear combinations of 2 and 3. What numbers can you get this way? Well, our su...

• Post #1769864

  That’s the debian-testing leader. The debian-stable leader for 2026 won’t be elected for another four years. https://www.phoronix.com/news/Debian-DPL-Sruthi-Chandran

• Post #1769863

  RE: https://mastodon.social/@Cdespinosa/116439702239797827 (Checking my badge number) Ok, this is going to take a while…

• Post #1769862

  Oh nice, a new variant of SSA for directly encoding closures and higher-order functions just dropped https://arxiv.org/abs/2604.09961

• Post #1769861

  If your monoid has a finite complete rewriting system, checking if the monoid is a group becomes decidable, but the more general question of whether the monoid is left or right cancellative is still undecidable even with an FCRS, wow https://www.researchgate.net/publication/220160877_Cancellativity_in_Finitely_Presented_Semigroups