robot-wrangler

9 ms·

91.
by robot-wrangler 10mo ago
Tiresome. You're quoting me out of context, and generally assigning me the POV you want to argue with. You come across as pro-AI looking for anti-AI to do combat with. First, I'm not the right guy, and second, all I'm real
92.
by robot-wrangler 10mo ago
A root-cause analysis here that's about intrinsic difficulty is misguided IMHO. Secrets and secrets-delivery are an environment service that individual developers shouldn't ever have to think about. If you cut platform/devo
93.
by robot-wrangler 10mo ago
> Then what sort of math problem would be a milestone for you where an AI was doing something novel? What? If we're discussing novel synthesis, and it's being contrasted with answer-from-search / answer-from-remix.. the p
94.
by robot-wrangler 10mo ago
The conclusion perfectly and concisely states the straw-man: > If your job is only to write beautiful code, you have a problem. Definitely no one at senior or even mid thinks this is what their job is about. Something like modularity is
95.
by robot-wrangler 10mo ago
> The kind of cultural cognition highlighted by the article/study is common to everyone, not to some groups that just are incapable of seeing it in themselves. Yeah this seems political, and it is, but it's really about cogniti
96.
by robot-wrangler 10mo ago
These guys have the dubious distinction of absolutely blasting tons of podcasts with the stupidest commercials I've ever heard. Basically at the level of "grondo has what plants crave", Odoo has what businesses need.
97.
by robot-wrangler 10mo ago
Terrible name. Looks exactly like the logo for secular humanism or an angel though
98.
by robot-wrangler 10mo ago
> They mostly seem to be into their own thing. How can I energize engagement? You jest, but the best way is to give the nerds only a feed and don't allow any other organizing principles for navigating the content. Lured by the prom
99.
by robot-wrangler 10mo ago
> These are all interesting things, but they are not popular things. Or even commercially interesting things. This is not really your average front-page at the moment, and in fact it feels significantly more geared towards curiosity an
100.
by robot-wrangler 10mo ago
That also is/was awful. But it's just another platform like GHA, and the solution to this kind of thing is always the same, should not be surprising, and is boring in the good way. Write automation so that it's not tightly
101.
by robot-wrangler 10mo ago
If you like the rigor of formal methods and dislike the vaguery of LLMs, shouldn't you be in favor of using the first to improve the second?
102.
by robot-wrangler 10mo ago
Welcome to shop class. Safety goggles are required here, primarily for eye-safety but that said, all use-cases are equally valid. If you feel they clash with your style then feel free to leave them around your neck while operating the mac
103.
by robot-wrangler 10mo ago
There's always a bridge, dude. The only question is whether you want to buy one that's described as "a pretty good one, not too old, sold as is" or if you'd maybe prefer "spans X, holds Y, money back guarantee
104.
by robot-wrangler 10mo ago
The whole perspective of this argument is hard for me to grasp. I don't think anyone is suggesting that formal specs are an alternative to code, they are just an alternative to informal specs. And actually with AI the new spin is tha
105.
by robot-wrangler 10mo ago
I don't like sharing unpolished WIP and my project is still more at a lab-notebook phase than anything else, but the think-pieces are always light on code and maybe someone is looking for a fun holiday hackathon: https://mat
106.
by robot-wrangler 10mo ago
> The workflow I'm envisioning here is the plan document we're all making nowadays isn't being translated directly into code, but into a TLA+/Alloy/... model as executable docs and only then lowered into the code
107.
by robot-wrangler 10mo ago
> Maybe other people have perspectives Yeah, no. The whole "every perspective has some validity" thing won't really apply to most safety/security issues. The most charitable thing to say here is that the workflow is
108.
by robot-wrangler 10mo ago
> Those people already had your contact info, probably. What leaked was that I was a signal user, and that the person on the other side was a signal user. The security implications are obvious, and by itself, that's already enough
109.
by robot-wrangler 10mo ago
Setting aside the usual compatibility issues with those things.. neither are available from your buildbot. Also while Jupyter does supports images other notebooking ecosystems may not, and anyway you need a file whereas chafa can work with
110.
by robot-wrangler 10mo ago
Signal blasted my whole contacts list the day I signed up so that I was surprised to see lots of people saying "finally you got signal". That was also the moment I uninstalled the app. Leaking contact info appears to be part of
111.
by robot-wrangler 11mo ago
I'd love to hear a good argument for optimism if you've got one. I suppose the pendulum thing works sometimes on certain timescales, but for a physical analogy "shit rolling downhill" might be more accurate. Typically
112.
by robot-wrangler 11mo ago
> the system loses legitimacy, defection becomes the dominant strategy. Almost every sentence of this piece is a very powerful reminder that we're not really talking about education vs cheating and it's actually about real wo
113.
by robot-wrangler 11mo ago
I'll take a shot at it. Using collatz as the specific target for investigating the underlying concepts here seems like a big red-herring that's going to generate lots of confused takes. (I guess it was done partly to have access
114.
by robot-wrangler 11mo ago
IANACosmologist, but in for a penny, in for a pound. If one accepts weirdness along the lines of extra spatial dimensions and mathematical singularities made physical, why not throw in a few extra dimensions for time or why not have imagin
115.
Tensor Logic Language [pdf](homes.cs.washington.edu)
3 points by robot-wrangler 11mo ago|0 comments
116.
by robot-wrangler 11mo ago
Something that is advertised as 10x improvement in productivity isn't like your personal preferences for git or a few dinky bash aliases or whatever. It's more like a secret personal project test-suite, or a whole data pipeline y
117.
by robot-wrangler 11mo ago
Claims about agentic workflows are the new version of "works on my machine" and should be treated with skepticism if they cannot be committed to a repository and used by other people. Maybe parent is a galaxy-brained genius, or..
118.
by robot-wrangler 11mo ago
Switched to zen recently, and although I only expected a slightly different experience to firefox, it's hugely better. Profiles/containers/workspaces especially are great.. this level or organization fits my mental model muc
119.
by robot-wrangler 11mo ago
So "use our proprietary service to scale our proprietary language" is a great pitch for people who are already all in. Increasing spend among existing customers won't help you get new ones though. And it kind of feels like
120.
by robot-wrangler 11mo ago
Hard to decide use-cases without much discussion about how it works. It converts 2 hours to seconds but not 2 pb to gb. Does this use frink under the hood? If not.. maybe it should. An AI front-end that's fine-tuned to quietly &quot

More ›