whinvik

9 ms·

31.
by whinvik 6mo ago
Is this guaranteed by the async specification? Or is this just current behavior which could be changed in a future update. Feels like a brittle dependency if its not part of the spec.
32.
by whinvik 7mo ago
Haven't used it but have seen some online recommendations for gh-dash. https://github.com/dlvhdr/gh-dash
33.
by whinvik 7mo ago
I don't get it. All these are provided by many different agent libs like langgraph, Pydantic AI etc. I thought DSPy was for prompt optimization but I could never wrap my head around that aspect since like Langchain, DSPy seems to hide
34.
by whinvik 7mo ago
Yeah I have always struggled to figure out why I would use SQLModel. Big fan of FastAPI but I think SQLModel leads to the wrong mental model that somehow db model and api schema are the same. Therefore I insist on using SQLAlchemy for db mo
35.
by whinvik 7mo ago
This is my current position as well. I think we are going through the same cycle of http leading to https, the rise of oauth and oidc. Its just way faster now.
36.
by whinvik 7mo ago
Sorry if I wasn't clear but was not talking about demo runs. There are plenty of those. Was more meaning operational speeds having a limit.
37.
by whinvik 7mo ago
Wow I though 300 Kph was some kind of physical limit. I mean every high speed train in the world used to max out at 300. Now it feels like it was just lack of competition. Maybe now other countries will start producing lines and trains capa
38.
by whinvik 8mo ago
Looks very interesting. Can you comment on why you think this model can give comparable performance with less training data?
39.
by whinvik 8mo ago
Another vote for handy. I am using with Parakeet and its pretty good. Now its mostly about models getting better.
40.
by whinvik 8mo ago
It's weird to see the expectation that the result should be perfect. All said and done, that its even possible is remarkable. Maybe these all go into training the next Opus or Sonnet and we start getting models that can create efficien
41.
by whinvik 8mo ago
Came here to ask the same question!
42.
by whinvik 8mo ago
One can put `dotenvx` into the deny list for the agent but there will definitely be ways around of it.
43.
by whinvik 8mo ago
Interesting. That's exactly what I feel about most subreddits. Go to r/Python for example. It's an endless stream of basic tool/library questions. Put me off reddit quite a bit.
44.
by whinvik 8mo ago
Curious if anyone has experimented with dotenvx - https://dotenvx.com/
45.
by whinvik 8mo ago
When we were trying to build our own agents we put quite a bit of effort on evals which was useful. But switching over to using coding agents we never did the same. Feels like building an eval set will be an important part of what engg orgs
46.
by whinvik 9mo ago
Thanks. I was sure someone was going to make this sooner rather than later and this one seems relatively easy to configure. I got tired of setting individual allow lists for each CLI, hopefully now I can run them all in Yolo mode while fenc
47.
by whinvik 9mo ago
I am on a Mac but I develop remotely on a VM, LSP is sometimes so slow, I want to shut it down.
48.
by whinvik 9mo ago
Sorry off topic question but has Docker come up with a easy to use dev solution. I always end up with using Devcontainer: it solves the sandboxed, ready to use dev env. But the actual experience with developing on VSCode with Dev Containers
49.
by whinvik 9mo ago
Parakeet is much smaller and for me the perf/speed combo has just been better.
50.
by whinvik 9mo ago
I am often frustrated by PDF issues such as how complicated it is to create one. But reading the article I realized PDFs have become ubiquitous because of its insistence on backwards compatibility. Maybe for some things it's good to mo
51.
by whinvik 9mo ago
Haha something that I want to try out. I have started using voice input more and more instead of typing and now I am on my second app and second TTS model, namely Handy and Parakeet V3. Parakeet is pretty good, but there are times it strugg
52.
by whinvik 9mo ago
Sorry for the naive question but specifically for running Claude on a sandbox, why do people decide to use lume as opposed to running it on Docker?
53.
Introduction to Formal Methods (Part 2): From Spec to Code(vikramsg.github.io)
1 points by whinvik 9mo ago|0 comments
54.
by whinvik 9mo ago
I will be honest. I love that post, makes me want to go see what they are doing. However, I haven't seen anything from Mozilla in recent years that makes me trust this has a future.
55.
by whinvik 9mo ago
Nice, I actually understood a lot of that post since I am trying to teach myself formal methods. Wrote up a bit here - https://vikramsg.github.io/introduction-to-formal-methods-pa...
56.
Introduction to Formal Methods – Part 1(vikramsg.github.io)
3 points by whinvik 9mo ago|0 comments
57.
by whinvik 10mo ago
I think this is how us engineers always do it but it's almost always the other way around. Sell first. Building the tech is just an excuse to not learn how to sell. You don't really know what customers really want until you start
58.
by whinvik 10mo ago
Haha the issue is competition. If nothing else existed then every GPT5.X release would have been amazing. But Opus 4.5 exists.
59.
by whinvik 10mo ago
We are. But our usecase is more tolerant of failures so it's probably not as much of an issue.
60.
by whinvik 10mo ago
I actually have 0 enthusiasm for this model. When GPT 5 came out it was clearly the best model, but since Opus 4.5, GPT5.x just feels so slow. So, I am going to skip all `thinking` releases from OpenAI and check them again only if they come

More ›