HNHacker News
TopNewBestAskShowJobs

sa-code

582 karma · joined May 2, 2023

github.com/sa-
submissionscomments
sa-code··on I'm becoming AI-blind
Someone shared with me this system prompt that at least makes assistant outputs usable

    For information retrieval tasks, I want you to provide links to sources and use exact quotes as much as possible. When using a source, consider if it is primary or secondary information. If secondary sources are found, search again for primary sources. Sources and quotes, if applicable, should be mentioned in the answer first before the rest of the response with links.
sa-code··on Kobo can run apps now
Would this also work on a Tolino?
sa-code··on Show HN: Discover Wikipedia articles popular on Hacker News
This is an amazing interface for Wikipedia; at least for those of us who have their brains fried by "verticals"
sa-code··on Please don't spam people looking for employment. It's just cruel
You're good at writing
sa-code··on Don't Subscribe So Casually
I would go a step further, cancel as soon as you subscribe. It's still valid for a month because you've paid for it!

If you ever need to use the service again just re-subscribe (and re-cancel)

In fact, what is stopping you from cancelling all your subscriptions right now? You can always buy back in when you like

sa-code··on Lisette a little language inspired by Rust that compiles to Go
> Basically, why try to make Go more like Rust when Rust is right there?

The avg developer moves a lot faster in a GC language. I recently tried making a chatbot in both Rust and Python, and even with some experience in Rust I was much faster in Python.

Go is also great for making quick lil CLI things like this https://github.com/sa-/wordle-tui

sa-code··on Kagi Translate now supports LinkedIn Speak as an output language
I don’t think this counts as support

It just goes along with whatever "language" you type into the query parameter

sa-code··on Leanstral: Open-source agent for trustworthy coding and formal proof engineering
Why not Large 3? It's larger and cheaper
sa-code··on Yoghurt delivery women combatting loneliness in Japan
> backpacking around the world

> sports

> seeing cultures and history and food

All of these things still require interaction with other people? If you remove all the others you also don't get to enjoy the things that you claim to enjoy by yourself

Being able to hike the mountains without the equipment that others have tried/tested/packaged/sold is not possible either.

Imagine that you're traveling space and you get stuck on an empty planet, that's the logical conclusion of "removing the need for human connection"

sa-code··on Yoghurt delivery women combatting loneliness in Japan
What’s there to live for otherwise? Can you flesh this idea out more?
sa-code··on Claws are now a new layer on top of LLM agents
> every time you try something innovative the "policy people" will climb out of their holes and put random roadblocks in your way

This is so relatable. I remember trying to set up an LLM gateway back in 2023. There were at least 3 different teams that blocked our rollout for months until they worked through their backlog. "We're blocking you, but you’ll have to chase and nag us for us to even consider unblocking you"

At the end of all that waiting, nothing changed. Each of those teams wrote a document saying they had a look and were presumably just happy to be involved somehow?

sa-code··on Y Combinator CEO Garry Tan launches dark-money group to influence CA politics
Were you able to understand the explanation in the link?
sa-code··on Anthropic raises $30B in Series G funding at $380B post-money valuation
"Post-money valuation is a way of expressing the value of a company after an investment has been made" [1]

[1] https://en.wikipedia.org/wiki/Post-money_valuation

sa-code··on Y Combinator CEO Garry Tan launches dark-money group to influence CA politics
You get points for effective use of rhetoric, but it's more of a solvable challenge and not a deal breaker.

The goal of a borrowing tax would be to prevent someone with a a $200 mil stock portfolio living off the "buy, borrow, die" strategy and not home equity loans on mere middle class millionaires.

Capital gains, for example, on a primary residence already have an exclusion of a certain amount. There's no reason a borrowing tax can't kick in only after one has let's say 10mil in assets or securities.

Heck, you could even exempt primary residences regardless of value, so you should be fine

edit: here's an explanation of the buy, borrow, die strategy for those who are interested https://www.reddit.com/r/BuyBorrowDieExplained/comments/1f26...

sa-code··on Y Combinator CEO Garry Tan launches dark-money group to influence CA politics
I’ve heard about a borrowing tax as an alternative, because that’s when paper money becomes spending money

I would love to see that discussed

sa-code··on Irish man detained by ICE for 5 months
Not sure if this is intentional ragebait

@rayiner Do you understand that justifying his 5 month detention without due process means you are justifying your own 5 month detention without due process?

sa-code··on OpenAI’s unit economics
Thanks, could the link for this post be replaced with the original?
sa-code··on Kairos: AI interns for everyone
Is scrolling broken or somehow messed with on that page?
sa-code··on ANN v3: 200ms p99 query latency over 100B vectors
I wish you the best
sa-code··on ANN v3: 200ms p99 query latency over 100B vectors
I listed some reasons in another comment: https://news.ycombinator.com/item?id=46757853

I appreciate your responsiveness and open mind

sa-code··on ANN v3: 200ms p99 query latency over 100B vectors
Can confirm. With a setup that works offline, one can

- start small on a laptop. Going through procurement at companies is a pain

- test things in CI reliably. Outages don’t break builds

- transition from laptop scale to web scale easily with the same API with just a different backend

Otherwise it’s really hard to justify not using S3 vectors here

The current dev experience is to start with faiss for PoCs, move to pgvector and then something heavy duty like one of the Lucene wrappers.

sa-code··on ANN v3: 200ms p99 query latency over 100B vectors
I’m curious about this. Could you please point to some things the CEO has said, or reports of shard failures?

The bit about paying for publicity doesn’t bother me.

Edit: I haven’t found anything egregious that the CEO has said, or anything really sketchy. The shard failure warnings look serious, but the issues look closed

https://github.com/qdrant/qdrant/issues/6025

https://github.com/qdrant/qdrant/issues/4939

sa-code··on ANN v3: 200ms p99 query latency over 100B vectors
I should have clarified, by local dev and testing I did in fact mean offline usage.

Without that it’s unfortunately a non starter

sa-code··on ANN v3: 200ms p99 query latency over 100B vectors
Qdrant is also a good default choice, since it can work in-memory for development, with a hard drive for small deployments and also for "web scale" workloads.

As a principal eng, side-stepping a migration and having a good local dev experience is too good of a deal to pass up.

That being said, turbopuffer looks interesting. I will check it out. Hopefully their local dev experience is good

sa-code··on Microsoft Office renamed to “Microsoft 365 Copilot app”
You’d be 5 degrees off technically
sa-code··on Microsoft Office renamed to “Microsoft 365 Copilot app”
For Teams
sa-code··on Microsoft Office renamed to “Microsoft 365 Copilot app”
In comparison, "Google Docs" is simpler and not rage inducing.

365 is a terrible name. Could you explain to your grandma what a 365 is? Likely not, and I’m not looking forward to that conversation. This is disappointing stuff

sa-code··on Show HN: uvx ptn, scan a QR, get a terminal in your phone
I can recommend tailscale for creating private networks. It has a generous free tier and would reduce the attack surface considerably compared to ngrok

Better yet would be setting up your own wireguard instance and not relying on free lunches. But as far as free lunches go tailscale would be my preferred option

sa-code··on A confession from a mainstream food delivery app engineer
I wish that were convenient

They do offer more utility and convenience than the previous generation of services, which is why they’ve gained market share. Increasing accountability on the current big players is better

sa-code··on A confession from a mainstream food delivery app engineer
Takeaways:

Always tip in cash and never through the app

Don’t use priority delivery

Page 1 of 6Next →