bwfan123

15 ms·

301.
by bwfan123 1y ago
Arguably, the biggest breakthroughs we have had came out of formalization of our world models. Math formalizes abstract worlds, and science formalizes the real world with testable actions. The key feature of formalization is the ability to
302.
by bwfan123 1y ago
My abstract algebra class had it exactly backwards. It started with a lot of needless formalism culminating in galois theory. This was boring to most students as they had no clue why the formalism was invented in the first place. Instead, I
303.
by bwfan123 1y ago
He is talking his book. Management thinks it adds value in the non-coding aspects of the product - such as figuring out what customers need etc. I suggest management stays in their lanes, and not make claims on how coding needs to be done,
304.
by bwfan123 1y ago
Looks like the AWS CEO has changed religion. A year back, he was aboard the ai-train - saying AI will do all coding in 2 years [1] Finally, the c-suite is getting it. [1] https://news.ycombinator.com/item?id=41462545
305.
by bwfan123 1y ago
so, azure growth is circular. VC funding for openai and databricks funeled into azure for growth. What happens when things get into reverse gear ?
306.
by bwfan123 1y ago
> Claude wrote me Go tests that passed. They were beautiful, and they were worthless Their ability to look correct exceeds their ability to be correct. Optimized for form more than function. Like politicians and management at large compa
307.
by bwfan123 1y ago
llm maximalists' apologies: - but tokens are not letters - but humans fail too - just wait, we are on an S curve to AGI - but your prompt was incorrect - but I tried and here it works Meanwhile, their claims: - LLMs are performing at P
308.
by bwfan123 1y ago
> Verification is the bottleneck In my use of cursor as a coding assistant, this is the primary problem. The code is 90% on the mark, but still buggy, and needs verification, and the feedback it gets from me is not with full fidelity as
309.
by bwfan123 1y ago
This is close to what the apple paper [1] also found on constraint satisfaction problems. As an example, on towers of hanoi, past a frontier, accuracy collapses. Even when the algorithm steps are laid out precisely, they cannot be followed.
310.
by bwfan123 1y ago
In tech, change is the only constant. From embedded software in assembly to mobile/web development in javascript to jit-compiled python. This is not easy on engineers or on businesses as they have to keep reskilling at all times. The s
311.
by bwfan123 1y ago
this is literally what likely happens at these companies. ie, have teams that monitor twitter/social media for fails, and fix them with data patches.
312.
by bwfan123 1y ago
> I have never met a human who has a good grasp of what they know and don't know yep. There are 2 processes underlying our behaviors. 1) a meme-copier which takes in information from various sources and regurgitates it. A rote-memor
313.
by bwfan123 1y ago
> What made you believe this is true? I am yet to see a theory coming of the LLM that is sufficiently interesting. My comment was answering your question of what does it mean to "understanding something". My answer to that is:
314.
by bwfan123 1y ago
Humans build theories of how things work. llms dont. Theories are deterministic symbolic representation of the chaotic worlds of meaning . Take the turing machine for example as a theory of computation in general, euclidean geometry as a th
315.
by bwfan123 1y ago
I lived through dot-com, and there are so many parallels. Large amount of money is chasing a dream which wont materialize in the near term. Recent deja-vus are articles like this: "The 20-Somethings Are Swarming San Francisco’s A.I. Bo
316.
by bwfan123 1y ago
Majority of us are prone to believe whatever comes our way, and it takes painstaking science to debunk much of that. In spite of the debunking, many of us continue to believe whatever we wish, and now LLMs will average all of that and prese
317.
by bwfan123 1y ago
> Their ability to sound correct continues to increase faster than their ability to be correct Sounds like a core skill for management. Promote this man (LLM).
318.
by bwfan123 1y ago
The issue here is that the deputy editor-in-chief of the journal is also an author of the paper. As such, the conflict of interest should have raised the bar to the acceptance of the paper. Here is a business idea. Start a "Frontier Jo
319.
by bwfan123 1y ago
Consistently making $1 a day may be difficult for retail trading. Rather, you could attempt to be right 51% of the time gathering a 1% edge. This is not easy for us because, it randomizes profits and losses, and we like to not lose money (m
320.
by bwfan123 1y ago
There is a very nice chapter in the somewhat dated but classic book Business Adventures [1] on trade-secrets and what happens when employees of one company move to another. In chapter 11, "A man, his knowledge, and his job", there
321.
by bwfan123 1y ago
google was also accused in its early days of free riding on other people's content - google news still remains controversial. Also, in its early days, google did not have to deal with a large counter-party like cloudflare which is now
322.
by bwfan123 1y ago
I think what has happened is the following: A whole bunch of folks got into management thinking coding is beneath them, they are now wielding the power - let the code-monkeys do the typing. Then, turns out, coders are continuing to call the
323.
by bwfan123 1y ago
right yea, Whens the last time you saw management tell you which compiler or toolchain you need to use to build your code ? But now we have CEOs and management dictating how coding should be done. In the article the author admits: "I s
324.
by bwfan123 1y ago
We are past the "peak of inflated expectations" and entering the "trough of disillusionment" - which are the gartner hype-cycle phases for any new tech [1]. Just for reference (and whether you agree with it or not) the p
325.
by bwfan123 1y ago
Expand it to "enterprise security solutions for agent deployments" and you will get VC funding for it. For any new technology, the playbook is create startups that do: "compliance", "governance", "security
326.
by bwfan123 1y ago
Kudos, great start. Ambitious effort, for it to be successful you could zero-in on a specific application and make that better than pytorch for training/inference. Many users of pytorch are scientists and folks only peripherally intere
327.
by bwfan123 1y ago
Because we need to celebrate BullShit at scale ! and celebrate the fearless data-scientists turned software engineers who aided by AI are setting PR records while we software engineers watch with envy and sarcasm.
328.
by bwfan123 1y ago
wow, BS at scale. Love the LGTMs and the ship its. A few of these merged PRs and the project gets into the shitter. meta/amazon manager be like - productivity through the roof.
329.
by bwfan123 1y ago
Meta interviews in the past have been straight regurgitation of leetcode. They want to measure your flow and typing speed (sarcasm). So, the interview can now be 2 leetcode hards in 20 min. Earlier, it was typing solution code from rote mem
330.
by bwfan123 1y ago
There is no right or wrong on the output of AI. You lapped it up wholesale because you were looking for meaning, and found it in the AI. I have to invoke the BS generator here: https://sebpearce.com/bullshit/ I can bet

More ›