Readit News logoReadit News
vlade11115 commented on Hypothesis: Property-Based Testing for Python   hypothesis.readthedocs.io... · Posted by u/lwhsiao
vlade11115 · 4 months ago
One cool application of this is schemathesis. I really enjoyed it, and I found more input validation bugs in my code than I can count. Very useful for public APIs.
vlade11115 commented on Crimes with Python's Pattern Matching (2022)   hillelwayne.com/post/pyth... · Posted by u/agluszak
vlade11115 · 7 months ago
While the article is very entertaining, I'm not a fan of the pattern matching in Python. I wish for some linter rule that can forbid the usage of pattern matching.
vlade11115 commented on Anna's Archive: An Update from the Team   annas-archive.org/blog/an... · Posted by u/jerheinze
vlade11115 · 7 months ago
Also, they provide a torrents list that anyone can seed and be part of the long-term preservation.

https://annas-archive.org/torrents

vlade11115 commented on Claude Opus 4.1   anthropic.com/news/claude... · Posted by u/meetpateltech
ryandrake · 7 months ago
Am I the only one super confused about how to even get started trying out this stuff? Just so I wouldn't be "that critic who doesn't try the stuff he criticizes," I tried GitHub Copilot and was kind of not very impressed. Someone on HN told me Copilot sucks, use Claude. But I have no idea what the right way to do it is because there are so many paths to choose.

Let's see: we have Claude Code vs. Claude the API vs. Claude the website, and they're totally different from each other? One is command line, one integrates into your IDE (which IDE?) and one is just browser based, I guess. Then you have the different pricing plans, Free, Pro, and Max? But then there's also Claude Team and Claude Enterprise? These are monthly plans that only work with Claude the Website, but Claude Code is per-request? Or is it Claude API that's per-request? I have no idea. Then you have the models: Claude Opus and Claude Sonnet, with various version numbers for each?? Then there's Cline and Cursor and GOOD GRIEF! I just want to putz around with something in VSCode for a few hours!

vlade11115 · 7 months ago
Claude Code has two usage modes: pay-per-token or subscription. Both modes are using API under the hood, but with subscription mode you are only paying a fixed amount a month. Each subscription tier has some undisclosed limits, cheaper plans have lower usage limits. So I would recommend paying $20 and trying the Claude Code via that subscription.
vlade11115 commented on AccountingBench: Evaluating LLMs on real long-horizon business tasks   accounting.penrose.com/... · Posted by u/rickcarlino
vlade11115 · 8 months ago
I love the site design.

> There's an obvious question looming here — if the models got so confused, how did they consistently pass the reconciliation checks we described above? It may seem like the ability to make forward progress is a good proxy for task understanding and skill, but this isn't necessarily the case. There are ways to hack the validation check – inventing false transactions or pulling in unrelated ones to make the numbers add up.

This is hilarious. I wonder if someone is unintentionally committing fraud by blindly trusting LLMs with accounting. Or even worse, I bet that some governments are already trying to use LLMs to make accounting validators. My government sure wants to shove LLMs into digital government services.

vlade11115 commented on How Can Open Source Projects Accept AI-Generated Code? – Lessons from QEMU's Ban   shujisado.org/2025/07/02/... · Posted by u/taubek
vlade11115 · 8 months ago
> The DCO requires that the contribution be “created by me,” yet in many jurisdictions AI-generated code is not recognized as a copyright-protected work.

I get that, but what are the particular examples of such jurisdictions? For example, when I run the linter that fixes my code formatting, no one will think that I did not create it. What about autogenerated code? Is it not copyright-protected?

vlade11115 commented on Opencode: AI coding agent, built for the terminal   github.com/sst/opencode... · Posted by u/indigodaddy
brainless · 8 months ago
I have a question around pricing:

I am using Claude Code almost exclusively. I am using the Claude Pro subscription and it allows Claude Code usage, with limits on the number of prompts per 5 hours, according to their site. I have not hit these limits yet even though I use this full-time, daily.

With other tools, do I have to pay API based costs or are there ways to use my subscription? As I see it, the API costs add up quickly. That means we can be stuck with a few tools from the top tier model companies.

vlade11115 · 8 months ago
> do I have to pay API based costs Usually, yes, you do. However, in this case, opencode kinda cheats by using Antropic client ID and pretending to be Claude Code, so it can use your existing subscription. > We recommend signing up for Claude Pro or Max, running opencode auth login and selecting Anthropic. It’s the most cost-effective way to use opencode. https://opencode.ai/docs/
vlade11115 commented on Valve conquered PC gaming – what comes next?   ft.com/content/f4a13716-8... · Posted by u/HelloUsername
vlade11115 · 8 months ago
> “Anybody who wants to put Valve out of business could do so, but nobody cares,” argues Michael Pachter, a gaming industry analyst at Wedbush Securities.

This is untrue; many tried. Almost every major publisher has its own launcher. The problem with them all is they absolutely suck. Even Epic Games Store, the biggest competitor with the most money poured into it, is ridiculously bad in almost every way. Aside from the lack of network effect, it just misses most of the QOL features, is slow, ugly, and very unpleasant to use. Almost universal agreement in the PC gaming community is that EGS is a bootloader for free games that it throws at the user. Every time I use EGS, I am constantly amazed by how bad it is, despite probably tens of millions of investments.

The second point that the article completely misinterprets is Microsoft's role. Microsoft (Xbox specifically) is hands down the closest company to beating Steam in its own game. PC game pass provides a constant stream of very good games available on day one for dirt cheap. The work that Microsoft is doing on optimizing Windows for games in general and for handheld consoles in particular is very promising (see Xbox Ally X). This is the threat that Valve faces. Not just a better store, but the absence of a store and "buying games" in general. For example, I intended to buy The Outer Worlds 2 on launch. Now that I know it will be available day one on Game Pass, there is almost zero chance that I will buy it on Steam or anywhere else.

vlade11115 commented on Spending Too Much Money on a Coding Agent   allenpike.com/2025/coding... · Posted by u/GavinAnderegg
borgel · 8 months ago
Interesting, I'm fairly new to using these tools and am starting with Claude Code but at the $20 level. Do you have any advice for when I would benefit from stepping up to $100? I'm not sure what gets better (besides higher usage limits).
vlade11115 · 8 months ago
I recently switched from Pro to $100 Max, and the only difference I've found so far is higher usage limits. Antropic tends to give shiny new features to Max users first, but as of now, there is nothing Max-only. For me, it's a good deal nonetheless, as even $100 Max limits are huge. While on Pro, I hit the limits each day that I used Claude Code. Now I rarely see the warning, but I never actually hit the limit.

u/vlade11115

KarmaCake day106July 3, 2025
About
https://kartavets.com/
View Original