agentcoops

12 ms·

91.
by agentcoops 1y ago
I’ve been working on RAG systems a lot this year and I think one thing people miss is that often for internal RAG efficiency/latency is not the main concern. You want predictable, linear pricing of course, but sometimes you want to sim
92.
by agentcoops 1y ago
I guess I haven't been an OSS maintainer in too long and might be a bit naive, but I still feel like completely incompetent "vibe-coded PRs" can't be that common... I understand why unqualified people try to spin-up X vi
93.
by agentcoops 1y ago
Oh for sure, I'm not too stressed by it -- but I think the ship has sailed on the chance for mainstream Scala adoption. Perhaps it was always delusional, but there was a period when it really seemed like Scala had somewhat of a chance
94.
by agentcoops 1y ago
I’m honestly still stunned at the self-implosion of the Scala community… can’t think of any other language that threw away such quite unexpected success at an industry level. Apart from the toxic community, not trying to challenge Python fo
95.
by agentcoops 1y ago
It's a really difficult problem. I read a comment on here the other day about the increased burden on project maintainers that I sympathized with, but I wonder if the solution isn't actually just more emphasis on reputation tools
96.
by agentcoops 1y ago
As someone who has always despised front-end programming, I would be more than satisfied if LLMs turned out to only be particularly good at that. Given the number of pages we've all seen where the content as well as the front-end are o
97.
by agentcoops 1y ago
More or less! Just like when writing a typical program or indeed mathematical proof, you have a lot of freedom in how you break up the problem into subproblems or theorems (and rely on “libraries” as results already proven). Traditionally t
98.
by agentcoops 1y ago
I worked a long time ago on tools for algorithmically pruning proofs in another theorem-proving environment, Isabelle. That project was largely just using pretty straightforward graph algorithms, but I’m sure the state-of-the-art is much mo
99.
by agentcoops 1y ago
I fell into a rabbit hole when I was looking for coverage of a recent relatively technical biological result and the most prominent Google results were from 'evolutionnews.org' aka 'scienceandculture.com', run by the &#x
100.
by agentcoops 1y ago
I share your concern for the livelihood of authors (and your skepticism regarding the naiveté that often surrounds pro-piracy rhetoric), but I don't think that's fair to the question here. Unlike in the case of music or film, most
101.
by agentcoops 1y ago
You don't need full reasoning to get accurate results, so even with GPT5 it's still pretty cheap for a one-time job and easy to reason about costs. It's certainly cheaper if you have data where reliability is key and classica
102.
by agentcoops 1y ago
100%. My sense is that many in this thread have never gone through the misery of trying to use classical OCR for non-English documents or where you can't control scan quality. I did a test recently with 18th-century German documents, w
103.
by agentcoops 1y ago
I've worked extensively with Tesseract, ABBYY, etc in a personal and professional context. Of course they work well for English-language documents without any complexity of layout that are scanned without the slightest defect. At this
104.
by agentcoops 1y ago
Have you evaluated this lately? Last year or even just earlier this year I would have mostly agreed with you. At this point, however, with at least the documents I have been working on, OCR reliability with GPT5 or Mistral OCR [1] has been
105.
by agentcoops 1y ago
I'm not sure your argument applies only to AI. Intelligence is certainly not knowing through, say, divine inspiration what another person wants you to do. This bottleneck of "describing the problem" is the same bottleneck fac
106.
by agentcoops 1y ago
I'm biased, but very fond of the open-access introductory textbooks used where I studied. The department was very much pure maths, but the intro classes were accessible to general liberal arts students. I think the texts are relatively
107.
by agentcoops 1y ago
While I would agree with you generally, in this case we’re talking about decisions that are precisely not desired by either business or investors. Which is to say, I think the American people and institutions are in a much worse place than
108.
by agentcoops 1y ago
I moved to the UK with my family just before the Brexit vote and left last year. I love the country, but the changes I saw over that time period were so stark -- and, similarly, so many of the friends I made in that time had already left th
109.
by agentcoops 1y ago
Apologies if this comes across as too abstract, but I think your comment raises really important questions. (1) While studying the properties of the mathematical objects produced is important, I don't think we should understand the sit
110.
by agentcoops 1y ago
I used to work quite extensively with Isabelle and as a developer on Sledgehammer [1]. There are well-known results, most obviously the halting problem, that mean fully-automated logical methods applied to a formalism with any expressive ca
111.
by agentcoops 1y ago
For the record, I wasn't justifying the world that has created these incentives. In order to understand (maybe even someday change) the rottenness of the world, it's important to avoid the sort of reasoning that the OP critiques,
112.
by agentcoops 1y ago
I agree with your point, but I think it's worth noting that there's a real problem of language today both in popular and scientific communication. On the one hand, in popular understanding, there's the importance of clearly s
113.
by agentcoops 1y ago
They bury the important point halfway through the article: Amazon is a free-cash-flow machine and it has almost always been so. The distinction is subtle [1], but consistent (and ideally ever-growing) free-cash-flow is what really matters i
114.
by agentcoops 1y ago
The timeless dilemma! I don't know how old you are, but just don't let the experience break your internal motivation as it can be hard to recover -- and remember however much 100k is and however much you save, it's still many
115.
by agentcoops 1y ago
Yeah, I've had similar results. Even with GPT-o1, I find almost all errors at this point come from the web search functionality and the model taking X random source as an authority. It's interesting that I find my human intelligen
116.
by agentcoops 1y ago
On the second point, it’s worth noting how many of the most vocal and well-positioned critics of LLMs (Marcus/Pinker in particular) represent the still academically dominant but now known to be losing side of the debate over connection
117.
by agentcoops 1y ago
Charitably, I don’t understand what those like you mean by the “whole facade” and why you use these old machine learning metrics like “accuracy rate” to assess what’s going on. Facade implies that the unprecedented and still exponential org
118.
by agentcoops 1y ago
I can’t see that proposed division as anything but a straw-man. You would be hard-pressed to find anyone who genuinely thinks of LLMs as an “all-knowing, all-solving oracle” and yet, even in specialist fields, their utility is certainly mor
119.
by agentcoops 1y ago
It's wild -- I've never seen such a persistent split in the Hacker News audience like this one. The skeptics read one set of AI articles, everyone else the others; a similar comment will be praised in one thread and down-voted to
120.
by agentcoops 1y ago
At this point, it seems to be more engineering throughput that will decide short to medium term outcomes. I’ve yet to see a case where an IC who took a position only because of X in fact outrageous compensation package (especially if not di

More ›