simpaticoder

8 ms·

151.
by simpaticoder 1y ago
Surprised the article didn't mention the most fitting sense in which life is computation, which is at the biosphere level. Life can be characterized as a (recursive) search function executing continuously over billions of years. It see
152.
by simpaticoder 1y ago
I've always wondered about the feasibility of adding a reflective solar shield between Venus and Sol to cut the feedback loop that keeps surface temps so high, eventually reducing cloud cover and revealing what lies beneath. In additio
153.
by simpaticoder 1y ago
Anecdotally, having lived in Germany for a couple of years recently, there is a perceptible national character. The best way to understand it is to ponder the difference between a drag race and a rally race - in one, success means going a
154.
by simpaticoder 1y ago
Boredom is the key to solving this problem. Exert control over yourself, do not let yourself do anything other than the task. No watching videos, no reading of either web sites or books, no checking the phone, no listening to music. Nothi
155.
by simpaticoder 1y ago
Thanks, I didn't know that about Zod ( https://zod.dev/api#intersections ). But I suppose I could generalize my point to be "less is more when it comes to algebraic types". A little ketchup is good on fries, bu
156.
by simpaticoder 1y ago
Algebraic types aren't scary, but they offer enough degrees-of-freedom to become scary [1]. Software is interesting because you can move around the complexity, and putting complexity into the type system has its advocates. They like to
157.
by simpaticoder 1y ago
>I've got a small file that's almost entirely devoted to reversing stupid things he unilaterally shoved into core That's actually very cool. In most runtimes the "core" built-ins and standard libraries are immu
158.
by simpaticoder 1y ago
Perhaps that would work, but I'm not so sure. I don't think the employers we're talking about are sensitive to a 20% price premium. And they might find the additional leverage H1B gives them over the employee to be worth the
159.
by simpaticoder 1y ago
I see lots of good ideas about changing the selection process. Another option is to change is to change the new hire process and require employers to advertise every recent H1B hiring decision for 60 days, including job description and resu
160.
by simpaticoder 1y ago
Yes, something like this would be great. You could tie the registry to both IRS and SSA databases ensuring a) the job hunters are real, and b) the jobs offered are (eventually) real. It would also be great to carve an exception into liabili
161.
by simpaticoder 1y ago
>can’t just attract foreign doctors like Anglo countries due to language requirements That is a serious and real obstacle. German has a well-deserved reputation for being difficult to learn. I'm pretty good at learning languages b
162.
by simpaticoder 1y ago
Healthcare is not a free market. People don't comparison shop, and couldn't even if they wanted to. Price lists are secret because providers have two prices, one for cash and one for insurance. People with health problems have str
163.
by simpaticoder 1y ago
America has had political violence for a long time. The unique combination of post-war economic prosperity and centralized mass media (radio, TV) imposed an unnatural coherence on an incoherent body of people. This was a trade-off that paid
164.
by simpaticoder 1y ago
True enough, but that has always been true. Something has changed on the institutional side such that it is no longer willing and/or able to simply reject batshit insanity and continue teaching children such that they are as well infor
165.
by simpaticoder 1y ago
>Things like no bullying, inclusiveness, fire safety, bring your own water bottle, how to pray When great controversy surrounds the curriculum, the safest thing to teach is nothing at all.
166.
by simpaticoder 1y ago
The final answer to the perennial question "What is algebra good for?" is found in the success or failure of society as a whole. The same can be said for many other oft-questioned values, like "What does it matter if I'm
167.
by simpaticoder 1y ago
>We've gone from "Demonstrate the value of our product" to "Create an illusion of our lifestyle" Scott Galloway occasionally mentions that he thinks most consumer spending is irrational and marketing spends pur
168.
by simpaticoder 1y ago
I've come to the conclusion that avoiding the npm registry is a great benefit. The alternative is to import packages directly from the (git) repository. Apart from being a major vector for supply-chain attacks like this one, it is also
169.
by simpaticoder 1y ago
I think there is a fundamental misunderstanding caused by the OP's article. It mischaracterizes your blog post as a performance test of microdot, but as you say, it has nothing to do with it. Still, a baseline, best-case RPS number is
170.
by simpaticoder 1y ago
Yes, I also wanted to comment on the benchmark article[1], because it seems you looked at compute-bound performance rather than rps (requests per second) on simple data. Given that what you made, MicroDot, is a web server, it would make mor
171.
by simpaticoder 1y ago
I like that resource, but it's missing an important one: github-markdown-css[1]. Given that most devs these days read a lot of Github markdown, it seems like a reasonable starting place for a css system. 1 - https://github.c
172.
by simpaticoder 1y ago
Java Spring is at root a way to combine large software components (singletons) together in a controlled manner (dependency injection). It doesn't really have an opinion on what you do with it, or even if you use it for webapps. In fair
173.
by simpaticoder 1y ago
With thinking models, yes 100x is not just possible, but probable. You get charged for the intermediate thinking tokens, even if you don't see them (which is the case for Grok, for example). And even if you do see them, they won't
174.
by simpaticoder 1y ago
PPT (price-per-token) is insufficient to compute cost. You will also need to know an average tokens-per-interaction (TPI). They multiply to give you a cost estimate. A .01x PPT is wiped out by 100x TPI.
175.
by simpaticoder 1y ago
There is a stark difference between using the public web to do research and searching through your colleagues' private notebooks and discussions to do research.
176.
by simpaticoder 1y ago
Thanks. I upgraded the kernel (had to turn off secure boot to do it), and set the nvme kernel option, too. So far no unwanted side-effects, but it's too soon to say if it fixed the problem.
177.
by simpaticoder 1y ago
Interesting. I'm not normally in the habit of upgrading the kernel independently of the distribution, but it's worth trying. Thanks for the tip.
178.
by simpaticoder 1y ago
Well then, you live in the best of worlds because every laptop is repairable even at the chip level or individual capacitor/resistor/connector level. All you need is a workshop, a multimeter, oscilloscope, probes, a hot air gun,
179.
by simpaticoder 1y ago
I'd happily accept a replacement motherboard. They aren't offering that though ,but I'd be impressed if they did.
180.
by simpaticoder 1y ago
It does not make sense to praise a company for selling defective products because some of the customers have the ability to repair the defect.

More ›