rtpg

7 ms·

91.
by rtpg 2mo ago
kinda sad cuz 10klines you really get into "well I can just sit there and bang at the problem by hand" territory. Sounds like a fun project....
92.
by rtpg 2mo ago
There's other web3 nonsense sprinkled about too. I agree with sibling's view on this (provincial SV mindset).
93.
by rtpg 2mo ago
Wild to see NFT nothingburgers next to "real ideas". Also very bizarre to see 2026 thinkpieces floating around in the same space as Gates' internet memos. Maybe these are more million dollar PDFs than billion dollar ones, if
94.
by rtpg 2mo ago
What would be your goto for the ML training pipeline? I have the impression that Python basically wins by default in those spaces due to the lack of many good libraries in other languages (except for, like, C++). But curious if this is just
95.
by rtpg 2mo ago
While PG's behavior doesn't guarantee a lack of data corruption, "an extension crashed, all bets are off, tear everything down" is going to give you a much better fighting chance against data corruption vs the alternativ
96.
by rtpg 2mo ago
grep works well!
97.
by rtpg 2mo ago
Buying Activision was a Phil decision. Not spending 67 billion dollars puts you in a different place
98.
by rtpg 2mo ago
Not to minimise compcert's work nor to trivialise the equivalent kind of work in Rust but I wonder how much of the Compcert difficulty on dead code elimination is downstream of C semantic futziness. I know that CompCert has a whole not
99.
by rtpg 2mo ago
> The issue was labeled p-critical and i-miscompile, out of +61K rust issues there only 7 (including this one) that are both p-critical and i-miscompile, to me those are the most dangerous kind of bugs a compiler can have, given that the
100.
by rtpg 3mo ago
I really wonder what "randomixed testing" looks like in practice. What is the measure of success/failure? I undrestand for fuzzing you have a very basic "doesn't crash" metric. Property based tests.... you gott
101.
by rtpg 3mo ago
There’s s fun subgenre of blog titles in Japanese like なんとか作ってみた／やってみた. Like “we tried something”/“we did something” etc A great sort of tone setter title format. Basically you know you’re about to just read someone talk about their ex
102.
by rtpg 3mo ago
2 is “fine”, or that’s just the status quo. The friction from copying over stuff from a tiny phone screen discretely is the cost to cheat as well I don’t know about 1s practicality. In my schooling it would always be doable but I have the i
103.
by rtpg 3mo ago
I had to do "write code on paper" stuff as part of french engineering school entrance exams. It's fine (tho annoying when you lose points to "typos"), but it limits what kinds of problems you can reasonably put on t
104.
by rtpg 3mo ago
Is this true even for more targeted prompts that aren't about looking over an entire codebase or w/e? I just stick to my sub pricing and find good success on targeted requests, but I wonder if I would run up against things even th
105.
by rtpg 3mo ago
the justification given for the ban (provided in other sources) is that Polestar's software stack is made in China. The theoretical spooky thing is China forcing some "evil" software update that stops all the Polestars. The V
106.
by rtpg 3mo ago
Emacs in particular I suffer so much from basically guessing what needs to be escaped or not. I know `rx` exists[0] as an alternative but it's not really fun to use. Even beyond the regex syntax itself, you often also start running int
107.
by rtpg 3mo ago
I've had this idea of building a codec that would similarly overfit to specific images. But the codec itself would not be a fixed size transformer... instead you could just mess around with the sizing to get better quality/smaller
108.
by rtpg 3mo ago
I think if you believe that the aids types give for refactoring are equivalent to structural editing, then you are the one who might not get the value of typing information (I say this as a Python person, and am totally willing to accept la
109.
by rtpg 3mo ago
> There’s no “defederation” because there’s no analog of “community instances” that may fight with each other. If Bluesky specifically wanted to just not have its user interact with some other entity in ATProto-land would they be able to
110.
by rtpg 3mo ago
as someone who deals with dep upgrades and forensics when trying to figure out a bug I would get _so mad_ if `git diff` didn't show the diffs to lock files. I get what you're saying about it being line noise but when you need it y
111.
by rtpg 3mo ago
> I see absolutely zero value in something like Fin. Y'all really over indexing on the "AI"-ness of intercom. Intercom is a chat box and help pages. Those are nice to have and nice to not have to build yourself (you can bu
112.
by rtpg 3mo ago
"This user is contacting us, and has previously contacted us about something, and we want records of this" is a basic need. > We replaced our helpdesk with Hermes You didn't just put a computer somewhere and have a custome
113.
by rtpg 3mo ago
the Gameboy, not the SNES, but this talk is very very good at going in detail about a bunch of internals. The graphics stuff is 29 minutes in but I love the whole video. Very much a high level guide to building a "retro-y" fantasy
114.
by rtpg 3mo ago
what are y'all doing to hit that? Do you just not give it any pointers and let it churn away? What kind of context are you handing off? I routinely get claude to do things pretty decently and finish up easily in the 4-5 digit range of
115.
by rtpg 3mo ago
> but can reset close to market rate when there's a 'just cause' vacancy. Unfortunate policy, and generating weird incentives to get people to leave! In Queensland (not exactly perfectly managing the rental crisis but...)
116.
by rtpg 3mo ago
Is there any form of client-side caching that kicks in with all of this flow? Tbh I don't feel great about people just writing up a bunch of scripts pulling things just on every run.
117.
by rtpg 3mo ago
The OLFA small box cutter is more ergonomic, does the job, and costs 100x less so you could buy a 10 pack of em and put them everywhere you want one. Other people have linked serious box cutters for "I need to use a box cutter on 100 b
118.
by rtpg 3mo ago
This isn't that but their "record factory" toy[0]... I'm like 90% sure is the same thing as something Gakken released in Japan for half the price as a little fun toy[1] Even in the age of the internet there's a huge
119.
by rtpg 3mo ago
The Gakken toy record cutter was only 8000 yen when it was released[0]. My spouse bought one on a whim. The quality is ... quite bad. It's a tool for learning about how this works though! So it was a fun little activity. But it really
120.
by rtpg 3mo ago
This is a weird angle I think? Desalination brine is a real problem, so if you can eliminate that then efficiency is less of an issue (especially given that desalination plants are often in places with a lot of sunlight!). You don't wa

More ›