Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
mayank
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
1.
▲
by
mayank
1mo ago
If you’re doing breakeven math on subscriptions, consider that your own rig can run 24/7 whereas you will get a fraction of that with sub rate limits. Even if you factor in PG&E residential rates, the breakeven is a lot closer to m
2.
▲
by
mayank
1mo ago
I assume this is a strictly B2B proposition in spite of "built for every side of the GPU market" -- meaning I'm probably not going to be able to buy/bid on small (e.g. 2-8) lots of used, matched RTX 3090s for example?
3.
▲
by
mayank
2mo ago
Close to $500 in overage for me :) I’m going to give GLM a shot next.
4.
▲
by
mayank
2mo ago
Oddly enough, I did the exact same thing this past weekend, for a couple hundred usd in Fable overage. It was truly remarkably easy to build and package it exactly to my whims, in my case as a single docker container with a process reaper t
5.
▲
by
mayank
2mo ago
I was curious about the cost angle too, i.e. how much "free" coding agent I can get for what cost. Here's the research by Fable if you're interested: https://claude.ai/public/artifacts/2c9a5001-
6.
▲
by
mayank
2mo ago
Spent nights over the last six months combining AI coding agents with containers, spec-driven development, and formal verification, so that I (eventually) don't have to manually review 10k+ lines of AI code a day, or worry about the la
7.
▲
Show HN: Overplane: Containers and formal verification for AI code
(overplane.dev)
4 points
by
mayank
2mo ago
|
1 comments
8.
▲
by
mayank
2mo ago
TL;DR: Overplane is an AI build system that pairs popular AI coding agents with containers, spec driven development, and automatic lightweight formal verification for a safer, replayable AI codegen workflow. Like many others, I’ve watched A
9.
▲
Dismissive Dan's Review of the Overplane AI Coding Harness
(overplane.dev)
4 points
by
mayank
2mo ago
|
0 comments
10.
▲
by
mayank
3mo ago
Such a great comment, and I agree with all of them. For me in a similar vein: - mar ‘24: thinking about how to survey the field and implement a hard research task in Natural Language Processing, and then just approximating it well enough wi
11.
▲
by
mayank
1y ago
Indeed! It’s a form of a branch table: https://en.m.wikipedia.org/wiki/Branch_table
12.
▲
by
mayank
2y ago
Got a source for this? Because it’s brilliant.
13.
▲
by
mayank
2y ago
Agreed and flagged, this almost seems LLM written, not a bit of data.
14.
▲
by
mayank
2y ago
This seems odd. If your scribe can lie in complex and sometimes hard to detect ways, how do you not see some form of risk? What happens when (not if) your scribe misses something and real world damages ensue as a result? Are you expecting y
15.
▲
by
mayank
2y ago
> They need to reword this. Whoever wrote it is a liability Sounds like it’s been written specifically to avoid liability.
16.
▲
by
mayank
2y ago
Very interesting! I wonder to what extent this assumption is true in tying completions to traditional code autocomplete. > One of the biggest constraints on the retrieval implementation is latency If I’m getting a multi line block of cod
17.
▲
by
mayank
3y ago
> aws s3 bucket needs to match the domain for website hosting. This is outdated information, and not required anymore when using CloudFront. And even in the past, you could use the S3 API to implement a reverse proxy without matching buc
18.
▲
by
mayank
3y ago
> the minimal runtime is typically the best estimator Depends what you’re estimating. The minimum is usually not representative of “real world” performance, which is why we use measures of central tendency over many runs for performance
19.
▲
by
mayank
3y ago
This is a pretty standard measure called the Trimmed Mean: https://statisticsbyjim.com/basics/trimmed-mean/
20.
▲
by
mayank
3y ago
Very debatable, if both are done right.
21.
▲
by
mayank
3y ago
It is in industry, but you may be shocked if you read “research code”
22.
▲
by
mayank
3y ago
> You don't actually write code with e2b. You write technical specs and then collaborate with an AI agent. If I want to change 1 character of a generated source file, can I just go do that or will I have to figure out how to prompt
23.
▲
by
mayank
3y ago
> Because there are many services (each with their own readiness criteria), a cold boot takes a long time until all services stabilize (worst case I've seen was over 30 minutes). With hibernation they can resume where they started o
24.
▲
by
mayank
3y ago
This is a wonderful article, architecture, and project. Can anyone from Clickhouse comment on any non-technical factors that allowed such a rapid pace of development, e.g. team size, structure, etc.?
25.
▲
by
mayank
4y ago
All modern languages heavily borrow from each other’s latest iterations. In the case of Java though, playing catch up is by design since it’s intended to be a conservative/stable language.
26.
▲
by
mayank
4y ago
Wow....confirmed! `{"errors":[{"message":"Your current API plan does not include access to this endpoint, please see https://developer.twitter.com/en/docs/twitter-api for more information&
27.
▲
by
mayank
4y ago
Can you comment on a reply below that claims there was promotional pricing in 2019 at launch? https://news.ycombinator.com/item?id=33929132
28.
▲
by
mayank
4y ago
Exactly! Hashcash was proposed in 1997: https://en.m.wikipedia.org/wiki/Hashcash similar mechanics for a different use case
29.
▲
by
mayank
4y ago
> - /organizations/:id > - /blogs/:id The pragmatic, large-company-only counterpoint is the narrow edge case where: - :id must be human-readable for "SEO reasons" - there are many competing organizations
30.
▲
by
mayank
4y ago
There's a hierarchical modeling paradigm/tools called C4 that (while being boxes and lines) helps with the zoom-in/zoom-out nature of understanding systems: https://c4model.com/
More ›