variadix

6 ms·

61.
by variadix 1y ago
Seems obvious. If you don’t use it you lose it. Same thing happened with mental arithmetic, remembering phone numbers, etc. Letting an LLM do your thinking will make you worse at thinking.
62.
by variadix 1y ago
The uncomputable real numbers always seemed strange to me. I can understand a convergent sequence of rationals, or the idea of a program that outputs a number to arbitrary precision, but something that cannot be computed at all is a very bi
63.
by variadix 1y ago
The strategy is fine, the problem is there aren’t enough domestic competing players in cutting edge semi nodes for it to work anymore. The US had many competing foundries before its semi industry was hollowed out by Japan and Korea. Now the
64.
by variadix 1y ago
Names are also a good way to determine how to draw boundaries between data, between code, etc. If you can give something a concise, descriptive, and intuitive name you can usually pull it out into its own function, type, etc. and it will _i
65.
by variadix 1y ago
Still makes more sense to do the transcription an analysis lazily rather than ahead of time (assuming you can do it relatively quickly). If that person never calls in again the transcription was a waste of money.
66.
by variadix 1y ago
Re: YT AI content. That is because AI video is (currently) low quality. If AI video generators could spit out full length videos that rivaled or surpassed the best human made content people wouldn’t have the same association. We don’t live
67.
by variadix 1y ago
You’re not imagining what post scarcity can really look like. If you have abundant energy, automation, etc. you could manipulate geography and climate, you could build artificial land mass, and so on. It really depends on what people mean b
68.
by variadix 1y ago
I don’t see how advertising is going to work with agents, especially if they’re being used by companies to replace or supplement jobs. Am I going to have comments in my code with ads for McDonalds? Will the AI support agent start trying to
69.
by variadix 1y ago
The welfare state has to collapse before people realize children are their retirement plan, and that there’s no guarantee the government will take care of them in old age.
70.
by variadix 1y ago
Yeah but floats can typically be formatted with E notation, i.e. it makes sense to parse floats with E notation. I’m not aware of any integer formatting functions that will emit integer strings in E notation. The leading zeros and unary sig
71.
by variadix 1y ago
You can also use virtual memory for a stable resizable vector implementation, up to some max length based on how much you virtual memory you reserve initially, then commit as required to grow the physical capacity.
72.
by variadix 1y ago
Some other things you can do to improve packing are using integer indices/offsets/relative pointers instead of absolute pointers (especially on 64-bit machines), overlapping fields for unions (as an example you may have a tag that
73.
by variadix 1y ago
I feel like there are better ways to make it hard to push malicious updates, while still allowing a user to flash their own devices. For example: manufacturer bakes in their public key and a per device public/private key pair. The boot
74.
by variadix 1y ago
Pretty interesting concept, though as other commenters have pointed out the efficiency gains likely break down once your program doesn’t fit onto the mesh all at once. Also this looks like it requires a “sufficiently smart compiler”, which
75.
by variadix 1y ago
This effect requires identical models, i.e. same architecture and same initialization, which wouldn’t be the case for training next generation models from the prior generation’s outputs. This effect seems like it’s highly dependent on coinc
76.
by variadix 1y ago
Hopefully they can be repurposed for something like cheap drug discovery rather than shitcoin mining.
77.
by variadix 1y ago
Trading the long term reputation of your company for short term profits. What could go wrong?
78.
by variadix 1y ago
That library looks awesome
79.
by variadix 1y ago
For the majority of the questions asked and answered on StackOverflow, LLMs are undeniably better. I’m thinking of things like ‘How do I do X in Python’, ‘How do I do X on Linux’, etc., questions that are small in scope, not open ended, and
80.
by variadix 1y ago
Different metrics measure different things. The right metric depends on what you want to compare and what kinds of claims you want to make, which determines what should be adjusted for in the metric.
81.
by variadix 1y ago
Using more tokens = more compute to use for a given problem. I think most of the benefit of CoT has more to do with autoregressive models being unable to “think ahead” and revise their output, and less to do with actual reasoning. The fact
82.
by variadix 1y ago
None of these are good arguments to convince the average person to not use Amazon (or any other service provided by a megacorp). A better argument (well, maybe not as of May 2025) is that most crap on Amazon is available for 1/5 the pr
83.
by variadix 1y ago
I agree, there are actually several reasons to prefer the header impl. Debugging is better, both because you can step through the header code where you can’t with a macro function, and because the type information available to the debugger
84.
by variadix 1y ago
As I understand it, the physical FPGA layout and timing information used for placement and routing is proprietary, and the vendors don’t want to share it. They’ll let you specify constraints for connections, but it has to go through their o
85.
by variadix 1y ago
The institutions have failed to follow their own (supposed) standards, and failed to purge bad actors that subverted or abandoned those standards. Yes, ultimately it is the people at those institutions that have failed not the institution i
86.
by variadix 1y ago
Some standards do define performance requirements, e.g. operations on data structures, in BigO notation.
87.
by variadix 1y ago
At some point human intellectual labor will have little to no value in any domain, pushing laborers into too-expensive-to-automate-efficiently jobs, which will likely be relatively unskilled physical labor where the cost of building and mai
88.
by variadix 1y ago
The thing required isn’t a GUI for LLMs, it’s a visual model of code that captures all the behavior and is a useful representation to a human. People have floated this idea before LLMs, but as far as I know there isn’t any real progress, pr
89.
by variadix 1y ago
Degrowth isn’t a realistic nor acceptable solution to climate change. People aren’t going to accept a lower standard of living because scientists and activists told them they should. The only solution is technological progress.
90.
by variadix 1y ago
Split and tenting solved all of my wrist and finger pain issues. I occasionally have to use a normal keyboard for work and pretty quickly get wrist pain and pain in my right pinky. 3x6 Corne is my favorite split layout.

More ›