skysight-inc/HackerNews huggingface dataset:
Mine, I plug it in, it gets hot, I solder things. I put it down, it starts cooling immediately. I pick it up, it's hot again in ~2 seconds. I need more oomph for a bigger component, I push a button and it jumps to my second pre-set temperature. It'll go back to my main temp if I put it down again to grab the next component.

I don't yet have a use for Bluetooth, but I do have a few BLE buttons laying around (they're dirt cheap and last years on a single battery), and I can see e.g. having a dedicated button per temp (or perhaps to switch calibration profiles for different tips) could be useful if I did a lot of soldering.

It's minor stuff, not playing Doom while using motion controls. Hiding this kind of control in a proprietary dongle (i.e. the base) is much worse than it being programmable.
And experimentally tested!

> Since a ticket costs £2, the experiment represented a loss to the authors of £54.

> This unfortunate incident therefore serves both as a verification of our result and of the principle that one should expect to lose money when gambling.

> For a more philosophical discussion of the National Lottery and its implementation for supporting charitable causes, we recommend David Runciman’s article in the London Review of Books [Run96].
So in your workflow you never "git commit -a"? So you have to always manually mark what you stage. Which is probably more work than always manually removing the changes you don't want to commit.

The ability to rewrite older commits easily in jj also looks like it would help with this usecase if you get it wrong once.

Concretely I think you would do is: Instead of staging part of your changes and then committing as in git, you would call jj split and split the commit into the part you want to keep local and the part you want to push. This way the local changes always stay in your working copy commit.

Even better, just commit the local changes once when you start. Work locally and before you push you call jj diffedit on your initial commit of the local changes and remove them. Now all the work you did since then will be automatically rebased on the edited initial commit and you can now push up. Instead of excluding your local edits every single time you just have to do it once before pushing.
Oh yes… with more frequent and routine MRI we have a path to helping maintain longer human lifespan.
(I'm the author of the linked post)

Yes, much needed.

Here's a list of possible "monopoly breakers" I'm going to write about in another post - some of these are things people are using today, some are available but don't have much user adoption, some are technically available but very hard to purchase or rent/use, and some aren't yet available:

* Software: OpenAI's Triton (you might've noticed it mentioned in some of "TheBloke" model releases and as an option in the oobabooga text-generation-webui), Modular's Mojo (on top of MLIR), OctoML (from the creators of TVM), geohot's tiny corp, CUDA porting efforts, PyTorch as a way of reducing reliance on CUDA

* Hardware: TPUs, Amazon Inferentia, Cloud companies working on chips (Microsoft Project Athena, AWS Tranium, TPU v5), chip startups (Cerebras, Tenstorrent), AMD's MI300A and MI300X, Tesla Dojo and D1, Meta's MTIA, Habana Gaudi, LLM ASICs, [+ Moore Threads]

The A/H100 with infiniband are still the most common request for startups doing LLM training though.

The current angle I'm thinking about for the post would be to actually use them all. Take Llama 2, and see which software and hardware approaches we can get inference working on (would leave training to a follow-up post), write about how much of a hassle it is (to get access/to purchase/to rent, and to get running), and what the inference speed is like. That might be too ambitious though, I could see it taking a while. If any freelancers want to help me research and write this, email is in my profile. No points for companies that talk a big game but don't have a product that can actually be purchased/used, I think - they'd be relegated to a "things to watch for in future" section.
That’s why it’s called bash: you gotta bash your head against the desk real hard sometimes before the damn thing does what you want.
I don't think so, it seems to me it is because its semblance with incandescent bulbs. In Spanish are actually also known as "bulbos"[1] (bulbs).

[1] https://es.wikipedia.org/wiki/V%C3%A1lvula_termoi%C3%B3nica
https://ghostarchive.org/archive/hhx0x
KDTree Written in Scala
This is an interesting take, I'm curious to know how you do this
ChatGPT Code Interpreter in Jupyter
Splay Tree Written in C++14
So you have a profitable company but at what cost? These drivers are working at slave wages unable to pay into any retirement funds or have health insurance.

In countries where there was a reasonable taxi system uber gutted them and went around regulations taking away the few guarantees the people had like a retirement and sick leave.

In the end we the tax payer have to help these people down the road when they get sick or old and all of this for the profit of a few share holders.

In Switzerland Uber still owes drivers half a billion Swiss Francs in unpaid wages/retirement and sick leave. Where do people think this missing money will come from when these people need it later on in life?
It needs to be flexible, but not so ductile that the magnetic fields produced deform it under the associated stresses, so preferably 'rigid' in one or two dimensions and flexible in the others. You then need to fixate it after you've made your assembly otherwise the stresses will rip it all to bits.

This is why the copper wire in an electric motor is potted: the wire is what the forces in the motor act on, if the wire isn't rigidly fixed it will vibrate (and reduce efficiency) and that vibration will eventually wear through the insulation causing a short in the motor.
In particular, for portable soldering irons the whole "plug it in" part is not simple. The small irons that are the target for this software predominantly use batteries, USB-PD, or QC for power. The former needs voltage measurement and cutoff, and the latter have negotiation steps before drawing high power.

This firmware also controls tip temperature with a PID loop, whereas a classic 'dumb' temperature-controlled soldering iron might use a thermostat with on/off control.
(Author here) I'd be interested in writing about this in the future. I need help though because I don't know people in those spaces. Email is in my profile. I had a section on this in early drafts but removed it as I didn't feel confident enough in my research.
Is this something like how ".local" is already a mDNS standard but OSX and android won't support it yet? (Unless they buy your app)

I can already access "myserverhost.local" from everything but android and OSX. Windows and Linux work fine automatically.
Look up FOGBANK (nuclear material), if you want to see what happens when people get REALLY motivated to replicate the impossible to replicate.
It really stands to reason that at some point these systems will just be "too smart" and we won't find any value in something that much more intelligent. It's like a 4 year old trying to understand a seasoned professor explaining some concept, we just won't get it.

Imagine a hypothetical scenario where some ultra-intelligent beings delivered a book with all the answers humans ever wanted, but we needed an IQ of 500 t understand it. This IMO is where we're heading.

There might be some pretty sweet low hanging fruit to attain along the way, but at some stage, we'll hit a ceiling and the only way forward would be to augment our own intelligence.
Could be just the general deadlock and inability to come to consensus about any long term future threats. Could be AI, climate change, housing crisis, China, etc. But you’re right, likely climate change.
[1] links to https://github.com/RadeonOpenCompute/ROCm/issues/2198 which has all the context (driver bugs, vowing to stop using AMD, Lisa Su's response that they're committed to fixing this stuff, a comment that it's fixed)
This looks really great!

When do you expect to add Linux support?
Until then, I'm using a devenv.sh Nix-based setup (without mDNS), with something like this:
https://github.com/cachix/devenv/blob/main/examples/mkcert/d...
eg see https://www.theguardian.com/environment/2021/jun/16/half-the... about Jays planting oaks in UK.
I would love to see it too.

Papers about failed experiments are worth a lot more than no papers about failed experiments. Alas, it is rare.
Pixar, Adobe, Apple, Autodesk, and Nvidia Form Alliance for OpenUSD
helping build https://portkey.ai/ where we try to take care of storing all prompts, responses, erros, costs, latencies etc and make it available to debug.
Mastering GPUs: A Beginner’s Guide to GPU-Accelerated DataFrames in Python
I wonder how CNN will respond to this, I usually think there's some sort of competition between these two news outlets.
Here's the post that the video is about

https://www.reddit.com/r/rust/comments/12b7p2p/the_rust_prog...
> It's trivial to create these "automate contract labour" apps

Just another HN Tuesday I see. It’s so easy that it’s still duopoly in US since the inception of the market.
"It is your birthday."
Well to be fair it's very difficult to nail down every possible parameter to 99.99% accuracy and precision from the original successful experiment. There's a lot of randomness even in a highly controlled, well funded, modern laboratory setting, let alone less well equipped facilities.
That does not actually answer penaazv's question.
Thanks! (Author here, see other work in my HN submissions and comments)
The situation described in the video can and probably does happen to C++ codebases as well, if not even more than Rust. It's easier to be good at Rust than it is to be at C++, even if C++ seems easier at first.
Looks like an interesting project. What I guess is not really clear is why you'd want to do TLS for local only connections? Are the services published with the .local domain accessible from outside as well so it's like a ngrok alternative?

I'm pretty sure I'm misunderstanding the value-add of having TLS for localhost connections...
That's not too bad - they only have to bring that down to 4-7 years to get in sync with their valuation!
The sample was replicated a few hours ago, in correlation with the betting merkets spike. While I dont think its a superconductor(and have bet as such) I think the odds are reasonable.

God do I hope I'm wrong though.
This is silly and reads like a thriller rather than a recounting of real events.
React Native file upload with Supabase Storage
I just find another alternative to Git called Grace. It's made by a Microsoft employee with F#.
Curious why you needed to inject the violent overtones in your comment, "curb stomped?

We're building tools to help us augment our intelligence, I don't see anyone getting "curb stomped"?

If intelligence leads to more violence, then I don't think it will be as useful as we'd have hoped.
It's even easier than that, the functionality exists inside rsyslog. All you have to do is set up a template in /etc/rsyslog.d and point it towards a mail relay...

if $syslogseverity <= 3 then {
action(type="ommail" server="127.0.0.1" port="25"
mailfrom="rsyslog@localhost"
mailto="root@localhost"
subject.template="mailSubject"
template="mailBody"
action.execonlyonceeveryinterval="3600")
}

While I generally like to dump all logs into elasticsearch/opensearch, it's also really handy to have this set up for one-off machines so that critical/error logs that usually come from things breaking & restarting still get seen.

https://docbot.onetwoseven.one/services/syslog/
Vacuum tubes were quaint tools for labs, but then someone figured out how to program logic on them.

You can't a priori plan out a path to new technology, it's usually surprising. This new category of materials can be a platform for lots of surprising uses
Maybe wait and see if it really is a sustainable business first. Making a profit for 1 quarter after 50 quarters of loses whilst having over $9 billion of debt isn't strong proof that it will be profitable from now on. The numbers are positive though, it doesn't seem to be just a bookkeeping profit as they have a good rise in revenue & use. Personally I think if they keep running a tighter ship than they did pre-pandemic they might make a sustainable profit. Using profits for buybacks and dividends will be more attractive to shareholders than paying off debts as that's what most have been waiting for.
curious why it is under "langchain_helpers"... I assume there is nothing specific to langchain here?
I don’t think so, not at this point. Their foundational theory and experiments to objectively prove it are more than enough. Anything that follows could be too but it doesn’t diminish what these guys have discovered.

There will be thousands of people working on this now. These guys are the shoulders they all stand on.
Wow! This is cool. Love how the documentation is done
"Thank you, we couldn't have done it without the incompetency of the New York City subway system!"
Hey HN! That's me talking in the video. This is basically GPT-4 + the new functions capability. We added this to Deepnote during a 2-day hackathon and were surprised by how well it works. Let me know if you have any questions!
The Art of Knowing What to Do in Life
Usually flexibility is a function of how thin you can make something and what physical shape it has. You can shape it such that it becomes less flexible (think I beam for an example) or you can shape it so that it becomes more flexible (think foil). It's all the same material but the mechanical properties can be quite different. Practical use superconductor material is typically in a ribbon form, this allows for relatively easy shaping along one axis and still allows you to connect to it in a (relatively) simple way. An extra advantage of using a ribbon like conductor is that it allows for very close spacing without much loss in packing. Think 'oranges' versus 'boxes'.
Tech illiterate people should be using MacOS anyway. Windows just gets worse every year. MacOS is actually more like classic Windows than Windows 11 is so it's actually easier to use for tech illiterate people.
You're welcome! It was a fun ride with plenty of failures to learn from. ;)
I heard Clinton's voice reading that - srsly. Maybe it's like that striped dress illusion thing.
Most middle and high end soldering irons have had digital control loops run by microcontrollers for decades and that has serious advantages over a "dumb" iron (though there are some analog closed loop systems like Weller). The targets for IronOS are mostly small portable irons with compact screens and controls that have to be run by something, so at least you can run open source firmware on them.

Edit: Though to be fair, I think the popular ones already have open source firmware from the manufacturer but I may be mis-remembering.
It does look very nice, but as with all fancy debugger features I wonder if I'd spend more of my life debugging the debugger when it doesn't debug than it'd save me.

I also think that while a debugger is a great and useful tool, being able to debug without one is a requirement, because sometimes you don't have one (or it stopped working properly - see recent Android Studio releases) and if one can't do it just using logs one is really stuck. So it's worth getting practice at that.
Unfortunately these interviews tend to be full with fun anecdotes, but tend to lack technical details
How do you intend to keep the grounded battery charged ?
Show HN: End-to-end encrypted chat platform for interacting with LLMs
Hello HN! I would like to introduce a tool I've developed: a dedicated chat platform designed for interaction with LLMs.

Currently, it supports models by OpenAI and Cohere, and active work is underway to add more models very soon.

Key features:

* Privacy-first approach. User data is end-to-end encrypted with a provided password and stored in an unreadable form. The password and encryption key never leave the browser.

* Performance-oriented design. Quick response times and seamless UX. No ads. No tracking.

* Installable as a Progressive Web App.

This tool aims to streamline the use of various LLMs by providing specific controls for each, while ensuring complete data privacy.

Give it a try and feel free to share your thoughts.
> What's a large language model doing when it's not being queried?

Nothing.

> Am I correct that they only compute information when dealing with a prompt?

Yes.

> If so, that seems like a fundamental flaw.

Flawed in what way? It clearly doesn't need to be like us to be useful, because it's useful and definitely not like us.

> An actual "thinking machine" would be constantly running computations on its accumulated experience in order to improve its future output.

This might be good, but it's not clear if, or to what extent, we really do that ourselves — the differences between working/short/long term memories, between episodic and skill, even linguistically between knowledge of phonemes, words, grammar, and the connection between those and the things they represent all being impaired independently of each other by localised brain damage[0].

Then there's how much this changes with some stages of sleep, and meditation to clear your mind.

Given the number of users (what is it, 100 million?), having it always on, continuously integrating, would still be inhuman even if the architecture was a perfect mirror of the human brain.

Also, if the AI is structured to be a "thinking machine", does that make it murder to switch it off?

[0] Cognitive Psychology for Dummies, currently listening to it as an audiobook.
> What about Asia?

What about it? Are the workers there currently off the job while they wait for more money?

> Because I'm replying to what you said "Not having enough revenue to pay the workers a sufficient rate is just a symptom of that."

Oh? Are you sure? You have offered nothing to suggest Louis Vuitton is struggling to find workers. The closest we got was me mentioning that their workers were on strike last year, which was followed with more pay to compel the workers back. That shows that Louis Vuitton is, in fact, quite prepared to pay more when they can't find the workers they need.

Here I was convinced you were just going on some mindless "workers are victims" rant, not realizing that workers don't show up when they are not paid enough. If you don't believe in that, you need to go back to the original comment in this thread – the one before my first – and reply to it instead. As you know, as you surely read all the words before replying (haha), my comment merely followed the premise established there.

> Sorry but what the hell are you talking about?

It was suggested that head of Louis Vuitton is too greedy to randomly pay people more than what they asked for. I then asked if you go around randomly paying people more than they ask of you. If not, it would be strange for you to expect others to do so. Everyone here has money to spare.
You're right that it won't be the same - it has the potential to be faster.

Speed of light in a vacuum is higher than what can be achieved in a fiber-optic. Combine that with a more direct path than what can be achieved with an undersea cable and things start to get interesting.
Very impressive! Special congrats for not bloating the title with "in Rust"
Certain browser features/apis are only available when in a secure context https://www.digicert.com/blog/https-only-features-in-browser... so I imagine this might be a reason you would want it.

That being said I don't know why you would pay for an application that does this but I guess I'm not the target market.
> I'm pretty sure I'm misunderstanding the value-add of having TLS for localhost connections...

It often feels like the noose is tightening tbh.
There are things that contemporary "evergreen" web browsers just flat out refuse to do without https.

I think this is where they document this... https://www.chromium.org/Home/chromium-security/prefer-secur...

which I got from this stack overflow answer https://stackoverflow.com/a/34161385
You should check out Pijul, as it essentially implements everything you mentioned here. Pijul works on patches which are CRDTs, it makes conflicts a first-class concept, etc.
An Amateur Diver Became a True-Crime Sensation
Can recommend https://github.com/FiloSottile/mkcert for this purpose (local development certs).
OpenXML in MS products was a "tickbox feature" to fight the spread of OpenOffice formats. They didn't expect people to use it for real; in fact they'd probably prefer that you didn't.
The Wikidata project maintains links between different encyclopedia articles on the same subject, including subjects too obscure for Wikipedia e.g. using the famous example of Pokemon, Pikachu is linked to a bunch of esoteric wikis, with different target focus, demographics and languages:

https://www.mariowiki.com/List_of_fighters_debuting_in_Super...

https://www.tcdb.com/Person.cfm/pid/48602/

https://bulbapedia.bulbagarden.net/wiki/Pikachu_%28Pok%C3%A9...
It's so easy that there's like 5 or 6 of them that I know of in Romania alone and drivers will swap between 2-3 of them every day. So yeah, it's pretty trivial. While there's no reason to start one if you can't undercut Uber or whoever's already cutrate prices, that doesn't mean Uber has a lot of room to increase prices/profits.
I dont know rust but the following comment from the reddit thread resonates with me:

So you started learning rust by trying to make something multithreaded that also interops with C instead of starting with something simpler so you can learn to understand the borrow checker? That's a recipe for disaster.
How do you reconcile this kind of thinking with driving a car?
Is this a git issue or a github issue? I know git is being (mis)used, but the issues seem to be with github. Maybe a better title for those of us with no interest in github would be "Github hides git files in plain sight" ?
browsers nowadays are picky about including content from and communicating with non secure hosts. Depending on your setup, it might make local development less of a hassle
Do you have a link to this? I’m interested to learn more.
> The final question is: what's the moat?

I mean, it's a 2-sided market. That's inherently a moat.

There's a reason why it took Amazon to displace Ebay, and Facebook to displace Craigslist. It's a very expensive and difficult market to get into.

> It seems an industry designed to reach, at its height, tiny profit margins.

There are plenty of industries like that. Grocery, for example. That doesn't mean that the business is a bad one by itself.

> I suspect regulation is heading in the direction of making it easier for people to move their data between apps too -- if that happens, the "social-data" moats of these bizes will disappear.

IMO, that wouldn't change anything.

If I could export all of my Facebook data (maybe I can, I haven't checked), it wouldn't cause me to abandon the platform - I'm there because of the other people on the platform.

Riders use Uber because it has the drivers. And the drivers use Uber because it has the riders. The ability to export ride history or reputation isn't going to change that fact.
A few years ago it seemed everyone in London used Uber the whole time to get around. It was pretty cheap and convenient.

Nowadays very few people I know seem to use Uber (and the equivalents) on even an occasional basis. It's a lot more expensive than it used to be and you just can't rely on it any more.

I tried to get one last month for the first time in ages (from a not particularly out-of-way location) and no driver was around to accept my booking. It took over an hour of trying and I eventually managed to get a Bolt. It was a painful experience.

In a way it's a good thing - I don't think it's sustainable to have everyone be driven around in private. vehicles in European cities, especially when there's often very good public transit available. There was a point when Uber usage was simply a lazy habit for people. Although I accept that for some people and situations it is the best option (disabled, lots of luggage etc)