skysight-inc/HackerNews huggingface dataset:
Show HN: Continue.dev releases local, open-source tab-autocomplete
Hey HN! After working on this for the last couple of months, we (Continue.dev) are finally releasing tab-autocomplete in beta. It is private, local, and secure, using Ollama, llama.cpp, or any other LLM provider. I'm even more excited about it being completely open-source, because it means I can share how we built it!

I've been sharing details on Twitter for the last month (summarized here: https://twitter.com/NateSesti/status/1763264142163808279), covering the following:

- A specific type of debouncing, and strategy for re-using streamed requests

- How we use the Language Server Protocol to surgically include important context

- Using tree-sitter to calculate the "AST Path", an abstraction with many uses

- Truncation: how we decide to stop early, complete multiple lines, and generally avoid mistaken artifacts

- Jaccard similarity as a method of searching over and ranking recently edited ranges / files

I will continue to share as we improve, so feel free to follow along. I'll also be compiling all of this into a more well-formatted blog post in the future!

Inspired by the "Copilot Internals" post from a year ago (https://news.ycombinator.com/item?id=34032872), I’ll be sharing live updates, clear explanations, and non-obfuscated code.

---

...and one more thing: we've exposed a handful of options that let you customize your experience. You can alter:

- the model
- stop words
- all numerical parameters / thresholds used for retrieval and prompt construction
- the prompt template
- whether to complete multiple lines, or only one at a time
- and a bit more (https://github.com/continuedev/continue/blob/0445b489408f0e7...)

This lets each individual make their own preferred trade-off between speed, accuracy, and other factors.
Do you think banning private jets and yachts would improve traffic flow?
Thank you for the tip, didn't know that!
If you intentionally undercapitalize a business to avoid foreseeable liabilities, the courts can pierce the corporate veil. Otherwise, limited liability is thought to provide the necessary incentives for widespread equity ownership and investment and desirable economic risk taking. In any case, limited liability is not a constitutional right and could be modified or abolished. Free speech and freedom to petition the government are guaranteed rights though. The government can’t just circumvent the first amendment by making waiver of those rights so economically necessary that every business has to do it to be competitive. The courts don’t buy that logic nor should they.
I recommend James Gleick's Chaos book. It will change your perspective on the world.
> social media is just LLM bots talking at each other

I think it's not going to be too much longer before you can't meaningfully post anything online without ID verification, because of "protect the children" rhetoric and because advertisers don't want to pay to advertise to bots. This means only locked-down platforms are going to be useable for interaction at some point. LLM bots will accelerate this.
I was evaluating them at the time. No data loss
Nope, not me.
I assume they're talking about elastic IPs and not Ethereum Improvement Proposals
Similar to the other commenters I much disagree - "but this ofc. rly depends on what you expect from them..."

If the thing has power, network, working hardware and is able to "boot into there rescue-system" that is all they care about.
And for that support has been stellar including preventive disk swaps, moving disk into new chassis and such with feedback and action within minutes basically 24/7.

But the software end is ofc. entirely on you,
down to the BIOS where they roll you a network-KVM-Cart to the box for some hours after requesting it with a click.
They wont fix your HTML errors, nor your php syntax errors, or explain how to setup SSL on your apache, nor will they help when you dont know how to operate ssh/putty ;)
and if "with such an issue" one bothers the 24/7-datacenter guys (and not just "8-16/5 normal customer support") I may even understand that it seems a little rude ;-)
Hardly? It says the plastic is shuffled off to other recyclers in the EEA, but gives no indication how much of the material those recyclers actually recycle. Maybe it doesn't end up in a Chinese landfill, but substitute "China" with "Latvia" or "Estonia" and the point still stands. Show me the miraculous Estonian recycling industry where 90% of consumer plastics comes from recycled material and I'll take my words back.

What are they actually doing with the recycled plastic? Making it into pellets and flakes. They call out that you could use these to make shampoo bottles, but dare not actually claim that such a thing is happening. My understanding of recycled plastic is that it is inherently lower grade than new plastic. If recycled plastic is that much cheaper but still as useable, then surely manufacturers are jumping at the bit to use it everywhere?

Finally, there is no mention of the energy cost or environmental impact of the recycling.
That's why everyone is standarizing on NACS for new models. Not much you can do about old ones.
Nice! It's cheaper and less bad? Seems like a win/win.
And you can easily make KDE title bars even smaller by changing the title text size, and use global menu and hide title bar in maximized windows. Massively better use of screen real estate than GNOME. Imo much more "professional" and productive vs GNOME's cartoonish touch screen UI.
To get to an appropriate speed, you need to accelerate eventually. But it's easier to do that at a higher altitude, where you have thinner air to travel through: less drag, less severe transonic effects to mitigate and, on the way up, a wider variety of air-breathing engine types to choose from (including the Astro Mechanica one).
>I do not consider consumers as faceless automatons

Then you have made a great mistake about the capabilities of your fellow humans and are not paying attention to their actual behaviors.

>They are each intelligent

Please define your definition of intelligence, there is no common standard definition that is agreed upon, and by the basis of your claim you seem to have a very particular definition.

>obligated citizens who vote with purchases

By buying the items they can actually afford, hence most commonly the cheapest item.

>Companies are entities made up of such people and as such do not love (or hate) anything

A convenient fiction you tell yourself, but this is a complete fiction. If I, for example, create a corporate and direct it, the company represents my loves and hates. We see this behavior in a large number of companies. It's funny you bring up anti-authoritarian sentiments, when companies are 100% authoritarian structures kept under control by regulations as to prevent them from simply buying compliance from everyone in the government.
If thats the case then thats a tragedy. Third places online usually have like only a couple good years at best before they suffer from eternal summer or their owners enshittify the platform or shut down the game servers.
Having grown up on the ocean, I'll admit I assumed it meant open-water swimming or some similar context with nontrivial risks that can get you regardless of how good you are, like crazy riptides. If we're talking the pool then yeah, somewhat different.
Yep. The only compositors of any significance that do not use wlroots are Gnome/Mutter and KWin. I guess Weston is also an independent compositor, but I don't think anyone actually uses that.
There are action models based on LLMs like Gorilla LLM or autoGPT that take a natural language input and convert that to API calls that could do all sorts of things from sending emails to performing stock trades.
Intent Based Deployments
Tesla already does this.
Is this rant really necessary? Most models, especially ChatGPT4 can perform carry based addition and there is zero reason for them to fail at it, but the moment you start using quantized models such as the 5 bit mixtral 8x7b the quality drops annoyingly. Is it really too much to ask? It's possible and it has been done. Now I'm supposed to whip out a python interpreter for this stuff, because the LLM is literally pretending to be a stupid human, really?
I agree! Which is why I'm not building the next Excel, but rather something different which offers (or "will offer") ~feature parity with Excel spreadsheets but approaches knowledge work and document authoring from an entirely new angle
My bet is that jurisdictions with Extended Producer Responsibility laws were going to charge them money to clear up their mess and it became a sensible business decision to make this change to save them money.
FYI, 'curl -sL -H "Accept: text/roff" https://jamesg.blog/2024/02/28/programming-projects/ | man -l /dev/stdin' works for me - no need to safe the roff file locally.
> best way to get ketchup out of a glass bottle.

i store the ketchup bottle upside down and when i open it, it is immediately ready to pour and is mostly controllable
Why every eatery has a goddamn app now
In the past week the CSR you worked with had a hundred cases of 'it wont turn on ---> you need to plug it in' and another hundred 'where is my package --> let me check the tracking number we sent you, it is out for delivery'.

When I was a CSR I had a 2% escalation rate. That means 98% of the calls did not actually require any action to fulfill.

If people only called for the kinds of thing you mentioned, a given company could have like 5 CSRs and answer on the first ring every time. Instead the queue has 1 person like you and 99 people who arent sure what 'this end up' means, which is why now everyone has to survive a filter before they are allowed to have their message read by a human.
uninsured/underinsured motorists is a business risk for insurance companies, one they mitigated by convincing our government to make it required but they did so at the expense of placing an undue burden on the poor.

My stance here is that if you're going to make it required by law, someone needs to subsidize it and I believe it should be the insurance companies.

The low minimums you're complaining about exist specifically because the law is trying to split the difference between requiring insurance and not causing too much harm to those that can't afford it, or can barely afford it.

Here's how insurance works.

I purchase insurance. Someone hits me. My insurance company pays to repair the vehicle and the medical coverage needed (per my insurance policy). They then sue the other party to recoup the money. If it's another insurance company they're typically guaranteed 2 things.

1. The company can afford to pay out

2. The company doesn't want to go to court so gentleman's agreements are made between the insurance company to minimize overhead costs.

If the other party is uninsured they're typically forced to eat the cost because the chances of getting money out of someone who can't afford insurance isn't worth the overhead of even trying.

This is why it's a business risk that the insurance companies have mitigated by getting it required by law.
Functionally yes, but it’s likely more specifically referring to having one in a temporary structure, e.g.: a demountables.

“Donga” is used commonly within Australian mining and construction industries (and presumably also overseas) to refer to a demountable/transportable structure like you might see on a commercial construction site. Sometimes in FIFO mine sites they’re used to house the workers. I’m guessing the same things are used in Antarctic research stations to house the personnel.

These things: https://dostonhouse.com/office-donga/
The Fremen follow the Zensunni religion (exactly what it sounds like), so continuity with real world cultures is a big part of the story. Another example, the Bene Gesserit are called Reverend Mother.
> effectivly using 2 stalls to charge

Only for stations that aren't at the end of a row or lack a parking spot adjacent. And only if the "blocked" spot can't be used by another "mirror image" car design.

I mean, gas stations have been dealing with this problem for decades (different car designs need to pull through along different sides, so sometimes my Mazda "blocks" the two pumps because other cars can't pull in until I move) and we've all survived.

And in any case, unless you're trying to charge on major corridors on high traffic weekends, it's academic anyway. Over 30k miles and almost three years, I can count on one hand the number of times my Model Y has had to wait for a charger spot.

People are making way to big a deal out of a minor issue, basically. Standard Tesla discussion form.
That's not "no reason". The insurance company incorrectly listed the car as totaled and the DMV issued a salvage title for it. Tesla doesn't want chargers or vehicles to be damaged or destroyed, so they have a policy of disabling supercharging on cars with salvage titles.

That Tesla didn't fix the issue until a news crew contacted them is an indictment of Tesla's customer support, not some sort of fickleness where they gleefully disable supercharging for random cars.

Edit: The parent comment originally said "They block access to current Tesla owners for no reason."
You say this as if it's a bad thing? I don't see the need to be pesemistic about this.
What an attention grabber! If only more textbooks introduced their topics so as to capture the imagination and set the reader on a path of possible danger and intrigue.
How does the billing work? I know with our Tesla it just billed our Tesla account and knew our car. How do other manufacturers using these work? Will my Volvo EX30 just talk to the Tesla equipment when I get it?

Edit: Sorry I see it says this in the article.

> Ford EVs already use the ISO 15118 "plug and charge" protocol, which means they give the charger their billing details as part of the electronic handshake, obviating the need to use an app or credit card to start a charging session.

Are the prices the same as the rates that Tesla charges for Tesla vehicles? It was really cheap for our Tesla and we loved that.
Yes fundamentally different[1].
There are dozens of implementations under the Ultra Wide Band definition.

[1] https://en.wikipedia.org/wiki/Ultra-wideband
It all seems too good to be true but your comment helped me develop a mental model for how this could work.

The most inspiring aspect to me here is just realizing how much potential low-hanging fruit there is in this space! What other seemingly naïve optimizations are there to try out?
Conclusion: Despite significant market rally, indicators suggest an absence of a bubble. Market conditions are continually monitored for changes.
I found myself downloading an app for EVERY place I eat at. So I decided to do some digging as to why every eatery needs a goddamn app. And how it's profitable? Since building/staffing mobile apps is not cheap.
It’s interesting that Tesla shows pricing for non-Tesla EVs using Tesla superchargers but does not (AFAICT) show pricing for Tesla cars.

It’s extra odd given that Tesla’s sort-of-sister-company SpaceX is notes for its transparent pricing.
Egg-free ice cream is a thing, you know. It's colloquially called Philadelphia Style, and has been around for a long time. I make it at home for reasons far removed from cost (I just like it).

When were eggs legally required to be in ice cream? Philadelphia style ice cream predates modern food regulation.
Looking forward to see another of my childhood favorites turned into a woke-culture war casualty…
For novels, being “canceled” is apparently a better fate than being loved by the new elites.
(Sorry, I really hate how the Foundation is treated by Apple)
So, your positive anecdote was somehow valuable for the discussion, but my negative anecdote had absolutely no value? That's how anecdotes work?
https://github.com/KDE/konsole/blob/61264c1917770102a85123d3...

It appears the default is Top in Konsole's source.
Archive link anyone pls?
You nention ltt but theyve had their own issues woth fake stuff, and linus famously considers ad- blocking to be theft I've no trust left in damn near anything anymore.
isn't "in kind" a good thing here? As in, not trying to do some BS where they give the value of the assets from a certain date when Bitcoin was worth $17k?
If my life were ruined and I was dying from alcoholism or drug addiction I get the feeling I probably wouldn't be thinking about this in a philosophical way. Societal impacts or potential abuses would be the least of my concerns.
ALOS1 can surf in the web intelligently. from automating tasks to ordering stuff online, anything can be done through AL OS1
Show HN: Marimo – open-source reactive Python notebook – running in WASM
Hi HN! Last month, we shared marimo [1][2], an open-source reactive notebook for Python. For those who missed it, marimo notebooks are reproducible, stored as Python files, executable as Python scripts, and deployable as web apps.

It’s now possible to run marimo notebooks entirely in the browser via WebAssembly (WASM).

- A marimo tutorial as a WASM notebook: https://marimo.app/l/c7h6pz

- Training a neural network with Karpathy’s micrograd: https://marimo.app/l/xpd4te

- Visualizing attractors, as a read-only app: https://marimo.app/l/e9wii1?mode=read

- A blank notebook: https://marimo.new

- Docs: https://docs.marimo.io/guides/wasm.html

WASM notebooks let you experiment with code without having to install Python on your machine. These notebooks can be easily shared — marimo includes a button that generates a marimo.app URL (code encoded as a query parameter), and marimo.app has a built-in permalink generator. We also support embedding via iframes: you can use this to (say) author interactive documentation or standalone interactive blog posts. We now in fact use embedded WASM notebooks throughout our API docs.

Our WASM notebook is powered by Pyodide [3], a WASM-based Python distribution. Pyodide can run any Python package that has a pure Python wheel, as well as many popular libraries for scientific computing and machine learning, including Pandas, NumPy, SciPy, and scikit-learn. Over time, we expect more and more libraries to be packaged for Pyodide.

We’re very excited by the potential of WASM notebooks to make computing more accessible, and we’re in awe of all that the WASM and Pyodide contributors have accomplished. We have lots more planned (one example: we plan to make it easy to work with local files), and hope to share new developments with you in the future. In the meantime, please try https://marimo.app out. We’d appreciate feedback!

P.S. Our support for WASM is very new; you may encounter sharp edges. Still, since WASM-compatibility was one of the most requested features from our previous HN, we felt it was worth sharing.

[1] https://news.ycombinator.com/item?id=38971966

[2] https://github.com/marimo-team/marimo

[3] https://github.com/pyodide/pyodide
You could get a casual job in a service role, like a bartender. It’s a great treatment for social anxiety via exposure therapy.
I'm positive a lot of people don't care a lick about windows...maybe we should reconsider their requirement. Especially if there are natural light simulators in the apartment
The Internet of Batteryless Things
I don't know why this particular thing set off my pedanticism. Someone is slightly wrong on the Internet! Maybe because it started right off being needlessly Linux-centric. Or that I thought it would be one thing but it turned out to be a brief demo of content negotiation in NGINX.

In any case, a few pointless things that I seem compelled to say:

* It's not returning roff, as such. Those things like `.TH` are not part of roff, they are part of the macro package for writing man pages.
* I was disappointed that there was no markdown-to-roff conversion, which seemed like it was going to be the interesting part of this post. At least use one of the existing ones.
* On a similar note, this means that the text isn't really formatted correctly. roff is meant for one sentence per line of input, to distinguish between `.` to end a sentence vs. other uses.
* Also also wik, this means that any line starting with a `.` will be interpreted as a command, potentially wreaking havoc.

Or maybe I'm just a grumpy old man.
For S3 specifically, we support IAM-based role assumption. If you go to Data > Import from Amazon S3 > Add S3 Bucket, you can grant our AWS account permissions to read an S3 bucket in your account.

We also have dedicated hosting options for our Enterprise tier.

If there's a specific data source you'd like us to support OAuth integration for, let me know, and we'll add it.
c = -3/2 produces nice "hyperbolic" behavior has been discussed in this video

https://www.youtube.com/watch?v=eC9-1wY7FvU
I like to keep the Windows install around on small partition as I find at least on Thinkpads the Vantage app on Windows often has firmware and bios updates more available/earlier than on linux but ymmv. Plus is there for random need for windows-only app but maybe not as important.
The saying don't hate the player hate the game is pure cope.

It's finger pointing. Blame the game and the players who perpetuate them.
Somewhere lower than both of us

me: for engaging with this

you: for making an account to post this in the first place
Can't wait for the next version of Clippy that polices whatever you're writing to make sure you capitalize 'Black' but not 'white,' and use only non-gendered xe/xir pronouns, and have footnotes/endnotes that cite an equal number of female-authored and male-authored papers.
https://news.ycombinator.com/item?id=36278320

Gren is very open to contributions. This can radically change how this enforcement impacts users in practice. It's too early to say really.
I remembered it as a version of what some Gnome designer claimed, but I tried searching for some statement on the topic and I couldn't find any explicitly mentioning it.
Things like this show that LLM are not even remotely intelligent.

It's also pretty clear that trying to "fix" them to use human judgement in their answers is doomed to failure.

I suggest that:

1. LLM developers stick to information meant for public consumption for training data, such as books, periodicals, and newspapers. Surely there must be enough of that. Stay away from social media.

2. People should stop anthropomorphizing LLMs. Stop being offended by a computer program. Stop complaining about its "bias". It's just a computer program.

3. LLM developers should stop with lecturing people on what is inappropriate. A computer program is not anyone's mommy. Just restrict it to saying "I'm sorry, Dave, I'm afraid I can't do that."
The Russian element is interesting, as it stood out to be on my last rewatch of the 2021 film that the main villain (Stellan Skarsgård) is named "Vladimir Harkonnen".
Which machine did you pick? I've got a Whynter that works pretty well, but it's pretty low volume (not that it's a huge deal — I eat too much ice cream as it is!).
Is the number crunching running fully locally via WASM? Or is it more of a websocket pushing commands thru to the backend type setup? I'm guessing the latter because of how fast the S3 import was but the former would be super interesting as well. Great demo!
Elastic IPs i believe - you can attach/detach an IP to a server instead of having a new IP everytime
I wonder if it would be worthwhile to have a “here are some of the options we’ve got, pick one, there’s no default!” splash screen on first run.
It will be billed through ford just like any other Plug & Charge station would be.

It’s not clear at the moment if you can start a session in the Tesla app and be billed that way.
From https://www.reuters.com/article/idUSL1N2XV1HA/

> According to the U.S. Geological Survey, published scientific estimates of the global CO2 emissions for all on land and submarine volcanos “lie in a range from 0.13 gigaton to 0.44 gigaton per year.”

> This is a fraction of the CO2 produced by human activity. In 2021, the global CO2 emissions from energy combustion and industrial processes alone reached a record high of 36.3 billion tonnes (or gigatons, GT), data from the International Energy Agency (IEA) showed