2
points
philipwhiuk
Joined 3,625 karma
- philipwhiukWhen the answer for if a given port is in the ephemeral range is still clearly wrong, it's not clear they've moved on at all.
- > It’s one of the most-served fonts on the internet, clocking in at some 120 billion font requests a month.
Isn't this an incredible waste of bandwidth? Surely people only need the font once.
- I doubt it.
Just because he found one vulnerability at one vendor used by Discord doesn't mean he'll find all the vulnerabilities that exist at Discord or indeed any of them.
- > We write unit tests for the happy path, maybe a few edge cases we can imagine, but what about the inputs we'd never consider? Many times we assume that LLMs are handling these scenarios by default,
Do we?
- Exactly - it's on a short leash towards being blocked by browsers.
https://security.googleblog.com/2025/10/https-by-default.htm...
- The proselyting over frameworks is the worst bit of the web ecosystem.
If your solution is actually good, it will get adopted eventually...
Forget React, there's still stuff written in jQuery and JSP.
Why the rush to convert everything - you're not a missionary on a mission, just build your stuff in stuff you like?
The attack on npm is ridiculous, when (apart from introducing a permanent vulnerability in the form of a runtime dependency on a third party site), you still need npm for htmx.
- Stolen from your competitors, obviously.
- Waterfox.
- At a guess, because it sounds like a product pitch and these 'lifetime payment things' are ALWAYS curtailed if the product actually survives.
- > If we went back to recording lectures by the worlds best and putting it online for free with attached books and exercises, we could improve the world a lot.
How is that a viable model?
- Time to update the meme: https://preview.redd.it/cloudflare-had-a-rough-day-today-and...
- It's interesting to me that Simon considers ChatGPT 1.5 better than Nano when it recolours the pots the kakapos are drinking from despite claiming that it "makes precise edits while keeping details intact".
If you ask me NBP does a much better job - merely adding the kakapos.
- > if it doesn't, you can ask the LLM to build one first, for the original project, according to specs.
And you have no idea if that is necessary and sufficient at this point.
You are building on sand.
- The US is the only organisation in NATO to ever invoke Article 5.
- He's not defending "THE FREE INTERNET" at his new place.
(Which for the record, is less important than physical freedom).
- Aristotle is already an LLM and LEAN combined.
[from the Aristotle paper]
> Aristotle integrates three main components: a Lean proof search system, an informal reasoning system that generates and formalizes lemmas, and a dedicated geometry solver.
[from elsewhere on how part 2 works]
> To address IMO-level complexity, Aristotle employs a natural language module that decomposes hard problems into lists of informally reasoned lemmas. This module elicits high-level proof sketches and supporting claims, then autoformalizes them into Lean for formal proving. The pipeline features iterative error feedback: Lean verification errors are parsed and fed back to revise both informal and formal statements, iteratively improving the formalization and capturing creative auxiliary definitions often characteristic of IMO solutions.
- > This time, one guy has two matches which means that there will be eleven girls, but only ten boys.
One thing the show runners do subtle alterations that makes the logic much harder.
The Traitors has to do lots of these tricks when not playing the Celebrity edition because there's a self-selection for the sort of person who has already played Werewolf/Avalon-type games.
- America is the pickup market.
Europe doesn't do pickups.
- I mean, "to err is human" was written in the 1700s, by the enlightenment era author the essay writer is presumably reading.
Humanity has always been about errors.