← Feed

Posts

• View post

  RE: https://mathstodon.xyz/@paysmaths/117468417570249709 @skewray What he said.

• View post

  Cool! > One Hash Bloom Filters > While much cheaper than going to disk, computing k independent hashes per key is still a bit expensive for very high performance systems. > > In 2008, Kirsch and Mitzenmacher wrote a paper demonstrating that two hashes can get you the same output https://www.calabro.io/ohbf

• View post

  RE: https://ieji.de/@vnikolov/117293039439013487 I've always loved that humor. I know @ed1conf@bsd.network has seen it a million times but I'm linking them to this full original copy anyway: From: patl@athena.mit.edu (Patrick J. LoPresti) Subject: The True Path (long) Date: 11 Jul 91 03:17:31 GMT Path: ai-lab!mintaka!olivea!samsung!zaphod.mps.ohio-state.edu!think.com!snorkelwacker.mit.edu!bloom-picayune.mit.edu!athena.mit.edu!patl Newsgroups: alt.religion.emacs,alt.slack Organizati...

• View post

  RE: https://masto.ai/@hackaday/117269814563752444 @screwlisp@gamerplus.org I just forwarded this to Amen, but it did make me think of you, too. Just the spirit, not the retro-BASIC. 🙂

• View post

  @AmenZwa@mathstodon.xyz I probably don't overlap with you there at all, whatever you're talking about, but I have no problem with microcontrollers. It's nice that in this day and age, the venerable (although no longer super popular) 8048/8051 has even become fast. In the original, a NOP took 11 cycles. But perhaps you meant all the way down to the level of discrete transistors, which are always fun, not that I have particular expertise (custom multivibrator, anyone?). Although th...

• View post

  "Super-intelligence or Superstition? Exploring Psychological Factors Influencing Belief in AI Predictions about Personal Behavior" https://arxiv.org/abs/2408.06602

• View post

  RE: https://mathstodon.xyz/@sprout/116760372707116149 Control structures in programming languages From goto to algebraic effects Xavier Leroy July 13, 2026 This is a preview of a book to be published by Cambridge University Press. It is distributed under the terms of the CC BY-NC-SA 4.0 license. Contents Preface Introduction Part I Control structures for imperative languages Chapter 1 Early programming languages Chapter 2 Structured programming Chapter 3 Non-local control Chapter 4 Control i...

• View post

  RE: https://mstdn.ca/@teledyn/116864715315063072 @aartaka POV coincidentally fits in with your pondering:

• View post

  RE: https://infosec.exchange/@tbortels/116852900384279950 Continuity of access is what many of us want, when we're not just enjoying ownership for its own sake. E.g. we used to buy music. Now we rent access, which has some advantages, but there's nothing to prevent that access disappearing without forewarning. When we bought music, third parties couldn't just take it away from us again.

• View post

  @johncarlosbaez@mathstodon.xyz > You should call it 'entropy', for two reasons. > > 1. In the first place your uncertainty function has been used in statistical mechanics under that name, so it already has a name. > > 2. In the second place, and more important, no one really knows what entropy really is, so in a debate you will always have the advantage. > > -- John von Neumann to Claude Shannon From a post with quoting turned off: https://mathstodon.xyz/@pustam...

• View post

  "I’ve been learning and applying math for a long time now, and I’m still learning things that were known hundreds of years ago....You have to do original research to get a PhD, so the aim grad school is to get you to the frontier of some narrow bit of math as quickly as possible, rushing past everything along the way that you won’t need in order to write a dissertation. I learned 20th century math in college, and I’ve been learning 18th and 19th century math ever since." John D. Cook h...

• View post

  RE: https://mathstodon.xyz/@paysmaths/116760621857866253 Anyone have pointers to anyone discussing why it can be hard to define mathematics? I find it easier to think of ways to try to succeed in the attempt, but I'm interested in points about difficulties therein.

• View post

  @slava I must say that you're making this simple-seeming mathematical topic look more interesting all the time, day by day. Not that it was boring to start with.

• View post

  @thalia @benjamingeer @j2kun @munificent Very true!

• View post

  @Mr0@privacysafe.social @AmenZwa@mathstodon.xyz > flying dragons is easy Big talk -- wanna race?

• View post

  @Mr0@privacysafe.social @AmenZwa@mathstodon.xyz > "back in my day, we didn't have cars, we had to fight off a lion and tame a dragon to fly us back home" Well, it's true.

• View post

  @AmenZwa Photography technique has certainly gotten easier, which sure as hell helps with crowd journalism (along with sheer quantity/universality of camera phones). But on the artistic side it was always about composition, and why the better photographers (casual, journalists, and artists) take many many photos of almost exactly the same scene, to get small differences, and later choose the best of the crop. Shortly we'll have machines doing all that, too, which will make your assessment...

• View post

  @AmenZwa "Automation complacency" was the older phrase; recently people have been saying about LLM use that the user has "cognitive surrender". https://gizmodo.com/cognitive-surrender-is-a-new-and-useful-term-for-how-ai-melts-brains-2000742595 The one that astonished me the most was the lawyer who submitted an LLM-produced brief without reading it, and it had things like hallucinated cases. That one probably hit you especially hard. Nasty.

• View post

  @AmenZwa People needing to land planes after all the pilots die is of course a popular movie plot. In the future it'll be the same, except the AI pilot will be insane or something.

• View post

  @AmenZwa Since I'm not a pilot, I have no idea that you mean shit in = shit out. Flawed input data creates flawed output actions.

• View post

  @AmenZwa All true. And yet my ancient comprehensive vision of systems still serves me. Beats the people who think that covering the frontend and backend of web software defines the entire universe.

• View post

  @AmenZwa Hey, I'm a leet vibe coder, and I'll have you know that vibe code will work one day...any day now! I've been doing FPGA work (usually at the architectural level with specialists doing the hard work of implementation) since the 1980s, on and off, and I must admit I usually didn't have to know much about the topics you list. But anyway; we *really* need better algorithms that avoid the need for billion dollar data centers.

• View post

  @AmenZwa Not long ago I urged some physicists to distinguish the different kinds of probability, particularly whether we're talking about future events, or merely our ignorance of past events, and how extremely different those are (complete with wikipedia links). It fell on deaf ears. Nay, bordering on hostile ears. (Or maybe there was just silence and I assumed the worst; I don't recall.) Sigh. Anyway, > they place the core probabilistic nature of AI, front and centre. Yes, tha...

• View post

  @AmenZwa Thanks again; I'll take a look.

• View post

  @AmenZwa Thank you.

• View post

  @screwlisp > What would a shell one-liner Since you said "Is CLISP not your unix login shell?", I feel that you know I'm talking about a new shell I'm creating, not about a shell script, which is what your first phrasing implies. > ...a shell one-liner that handles both the pathnames, trace and missing-file versions like my lisp handler-bind version be like? Yes, quite. @vnikolov @kentpitman @khinsen @holdenweb

• View post

  @screwlisp > While I appreciate that most people seem to be disagreeing with my interpretation, I am very happy that this discussion of what the common lisp condition system does and can do happening. I tend to both get distracted and to ramble, but what I had in the back of my mind was a wish for an example of clearly wonderful usage -- which on the one hand maybe you've finally shown that, on the other hand maybe I'm still confused about how to add that to my shell implementation...

• View post

  @kentpitman Yes, good. One caveat is that, in the absence of hardcore unpredictable Lisp compiler optimizations, Lisp stack frames (and therefore things like unwinding) are much simpler than C. In Lisp "as she is spoke" [1], without optimization, doing e.g. evaluation of a polynomial at a point involves a bunch of function calls, period. In C it is a bunch of register operations. So the stack is wildly different between the two languages. Common optimizations will, you might say, mak...

• View post

  @vnikolov Ha ha! Thanks! ...I think. @kentpitman @screwlisp

• View post

  @kentpitman @vnikolov @screwlisp > I'm being kind of deliberately sloppy about notations here, though I have not so much so that you can't figure out what I'm generally getting at. As you have doubtless noticed, it is extremely common for arguments, on perhaps any topic, to devolve into an argument that ultimately is about notation, but that said underlying issue remains a mystery to the conversationalists.