photonthug

8 ms·

31.
by photonthug 1y ago
Meh. For a long time people have been saying stuff like "devops is dead, long live the platform engineer" exactly because the figuring-out-what-works phase of wild experimentation is over and there are unambiguous "winners&qu
32.
by photonthug 1y ago
An loanword in English, many will recognize it from Bach if nothing else https://en.wikipedia.org/wiki/The_Well-Tempered_Clavier
33.
by photonthug 1y ago
The silly thing about this is that context is everything. I bet it's extremely easy to be a top-tier figure-skater in, say, a small tropical island nation? In a similar way, I very much doubt that you'd really need to be in the
34.
by photonthug 1y ago
> One thing that it doesn't really cover is the rest of German society and how those thugs managed to get power. Just to clarify for other folks, there are many episodes re: Nazis, but it also covers everything from Khmer Rouge to m
35.
by photonthug 1y ago
As a big believer in documentation and communication in general, there's this inevitable double-bind that people hate whatever you give them and also hate it if you give them nothing. LLMs have made this worse. No emojis and any effor
36.
by photonthug 1y ago
To know the answers to all of these questions, you should really check out the Behind the Bastards podcast because that is the whole premise. Covering the lead-up to horrible situations and the inevitable slide in fascism. It's ins
37.
by photonthug 1y ago
To know the answers to all of these questions, you should really check out the Bbehind the Bastards podcast because that is the whole premise. Covering the lead-up to horrible situations and the inevitable slide in fascism. It's in
38.
by photonthug 1y ago
Love the premise and I see several years are posted. I like your philosophy of science section especially, because while most would neglect that area, it's probably got good predictive/foreshadowing juice in general (although not
39.
Knots and π-Calculus (2010)(arxiv.org)
11 points by photonthug 1y ago|0 comments
40.
by photonthug 1y ago
> There is a certain amount of regular work that I don't want to automate away, even though maybe I can. That regular work keeps me in the domain. It leads to epiphany's in regards to the hard problems. It adds time and somethi
41.
by photonthug 1y ago
A related topic you might want to look into here is called nucleus sampling. Similar to temperature but also different.. it's been surprising to me that people don't talk about it more often, and that lots of systems won't e
42.
by photonthug 1y ago
> where is the problem? Honestly, if you have to ask then you'll probably not understand the answer, but here's some related questions to ponder. What's the problem with having money in politics as much as possible? What
43.
by photonthug 1y ago
After we fix the all the simple specious reasoning of stuff like Alexander-the-great and agree to out-source certain problems to appropriate tools, the high-dimensional analogs of stuff like Datasaurus[0] and Simpson's paradox[1] etc a
44.
by photonthug 1y ago
From the paper abstract, > (4) we derive the optimal chain-of-thought length as [..math..] with explicit constants I know we probably have to dive into math and abandon metaphor and analogy, but the whole structure of a claim like this j
45.
by photonthug 1y ago
> There are two camps emerging, and the difference isn't really about skill level or experience. Assuming everything else the author believes is true, the real camps are "money" and "less money". Those camps alr
46.
by photonthug 1y ago
About those rules. Any high-profile court case is by definition crime/politics, and all over TV news. Have you recently mentioned the name of any famous person(s) in your comments, offering opinions and critiques perhaps? But that&#x
47.
by photonthug 1y ago
> General intelligence may not be SAT/SMT solving but it has to be able to do it, hence, backtracking. Just to add some more color to this. For problems that completely reduce to formal methods or have significant subcomponents tha
48.
by photonthug 1y ago
[flagged]
49.
by photonthug 1y ago
What? I'm not arguing that people have the right to ignore important safety-related notices, especially if it's related to public safety. I'm arguing that we should have the right to reliably separated channels for safety&
50.
by photonthug 1y ago
You're acting like this is related to necessary maintenance / safety, why give corporate the benefit of the doubt without knowing about the vehicle involved? Even things like washing machines and coffee makers will soft-brick them
51.
by photonthug 1y ago
Open-source / noncommercial isn't exactly a cure for the steady drip of "like and subscribe" type of harassment these days. Probably just because commercial interests have pushed user-harassment so hard for so long that
52.
by photonthug 1y ago
This misses the point completely? Wanting to know that you're not alone and wanting to be left alone are completely different, despite the word choice. Surely you realize this. Saying that "I prefer to avoid unsolicited harassm
53.
by photonthug 1y ago
I'm also reading TFA's intent as less about big-brother and info-hygiene stuff, and more about standard enshittification. Since we're talking about "doing more things with a piece of software than [users] could do withou
54.
Oddy Weird Fiction(oddlyweirdfiction.com)
2 points by photonthug 1y ago|0 comments
55.
by photonthug 1y ago
> https://github.com/pydantic/pydantic-ai/issues/2405 Thanks, this is a very interesting thread on multiple levels. It does seem related to my problem and I also learned about field docstrings :) I'll
56.
by photonthug 1y ago
Thanks for the reply. Native output is indeed what I'm shooting for. I can't share the model directly right now, but putting together a min-repro and moving towards and actual bug report is something on todo list. One thing I can
57.
by photonthug 1y ago
I wanted to love pydantic AI as much as I love pydantic but the killer feature is pydantic-model-completion and weirdly.. it has always seemed to work better for me when I naively build it from scratch without pydantic AI. I haven't
58.
by photonthug 1y ago
Ok this nerd-sniped me pretty good, never seen this before and assumed it would be quickly connected to the Ulam spiral mentioned elsewhere in the the thread. That particular rabbit hole kinda bottoms out in polynomial residues and the very
59.
by photonthug 1y ago
As linked elsewhere in this thread, see Uri Berliner on the subject https://www.thefp.com/p/npr-editor-how-npr-lost-americas-tru...
60.
by photonthug 1y ago
> logics philosophers use .. aren't very "modular" and can't easily be mixed Not sure if the model-checking communities would agree with you there. For example CTL-star [0] mixes tree-logic and linear-temporal, then

More ›