skysight-inc/HackerNews huggingface dataset:
It’s a really useful one. Arc also has cmd + shift + c to copy the current URL, which I very much miss everywhere else now!
Man, yeah. I wish they would acknowledge it like that.
I think that's a bit too harsh. An entire complicated proof concocted solely looking at a computer screen in Coq? Every mathematician will have plenty of hand written sketches, ideas and parts of proofs. Does that mean it was "ported" to Coq?
What’s the best way to effectively make use of Claude 3.5 ? I signed up a few days ago for the api access. Besides console.anthropic.com , do you recommend any other tools that I can run locally to give it api key and use claude effectively ?
[dupe]

Discussion: https://news.ycombinator.com/item?id=40857369
Totally true. Spending years fine-tuning the business logic and UIs made the eventual rewrites a lot cleaner and faster, having already iterated many times over the years and discovering what worked and what didn't. And learning TS after AS3 was easy enough. The real pain point was switching from a paradigm in which I owned the screen graph down to the pixel-level placement of each component, to a trying to wrangle similar behavior from a mix of DOM elements, relative/absolute positioning and arbitrary stuff drawn into canvases. Particularly for things like interactive Gantt charts and some of the really complicated visualization components that had been a relative pleasure to design and code in Flash. But yeah, it was much easier to learn a new language paradigm knowing exactly what I needed to implement, rather than having to devise the logic at the same time.
Sounds like hospitals, but at least healthcare pays.
[dupe]

More discussion: https://news.ycombinator.com/item?id=40857369
Australia out of natural gas, pays gas companies to export its reserves
“What do you do if your habit framework gets jostled”

“You adapt to it — don’t let fear of inevitable challenges prevent you from starting”

“No thanks I have ADHD”

Okay, what other possible answer is there? There’s no way to guarantee your habits don’t get jostled and there’s no method to correct it than adapting. Any specific adaptation method is also notably harder for ADHD folks too. Yes, it is harder, that’s why in order to succeed at this thing one needs to work harder. Any Quick Tip that’d make this easier for an ADHD person would make it easier for everyone else too, ergo it’d be the default advice, and it’d still be harder for an ADHD person to apply.

I think it's fair to say "you adapt" is ~useless advice for everyone, FWIW.
Show HN: Analyze and visualize dependency sizes in Go binaries
A message on LinkedIn or email never hurt!
Afaik, there's no topology - it outputs signed distance fields, not meshes.
rarely saw such uses in the wild, which always breaks my mind. although the filter+map|reduce combo is the most popular that i've saw
I can wholeheartedly recommend yadm which is a dotfiles manager built around the bare git repo concept. If you know git, you know yadm.

https://yadm.io/
I think it's a valiant cause but even if that's what they claim right now, eventually they will have to weigh whether it's worth taking the $100k donation from sponsor A who doesn't demand working on feature X but just suggests it or risk the future runway of the project.
You should look up what Russia does to captured Ukrainians, military or civilian, before spouting such nonsense.
Unsubstantiated sensationalism.

Violent deaths per capita is trending down both inside states and between states, and has been for nearly a century despite increases in tension and extreme improvements in weaponry.
Password Guard (Offline), Android offline password manager, Feedback appreciated
I would like to share an Android password manager app that I have created for myself and put on the Play Store for anyone that might be interested.

Little backstory. I work as android developer, have lots of passwords and trust issues. I wanted an app where I can store my passwords locally, no cloud sync, accounts, etc. Basically a very simple and easy to use app without the fancy features of today's world. I also wanted to improve my proficiency with Android’s recommended modern toolkit for building native UI - Jetpack Compose. This is how the idea for Password Guard (Offline) was born.

I am aware that there are tens if not hundreds of similar apps that offer more or less the same functionalities. Why should anyone switch or use this brand new app instead of a well known and trusted one that does the same things and perhaps even offers more? A solid question. They shouldn't. Especially when we are talking about sharing secrets in an app created by an internet stranger. However, there are passengers for every train and if you would like explore something new then you are welcome to try out Password Guard (Offline). Here is some info about it.

The app operates without the need for internet, does not require any sensitive or unnecessary permissions, does not require an account to use, has no ads, does not collect and share any data, encrypts and stores everything locally on the device and has some neat features like backup/restore, a password generator and more. It gives total control of its contents over to the user. There is a free and a paid version. The paid version has everything, the free version has the main features but lacks few of the neat ones I mentioned above and has some limitations.

Anyway, here are the two versions. Feel free to try them out if you are interested. I will appreciate any feedback that you can give me. Also, I am happy to share more if you have any questions.

Free version - https://play.google.com/store/apps/details?id=com.teoryul.passguard.free

Paid version - https://play.google.com/store/apps/details?id=com.teoryul.passguard.pro
That's a bit of a strawman - I'm sure there are old washer and dryers that were also terrible, it's not inherently a property of all modern washers and dryers.
Seeems like simple enough 3D-to-3D will be possible soon!

I'll use it to upscale 8x all meshes and textures in the original Mafia and Unreal Tournament, write a good bye letter to my family and disappear.

I think the kids will understand when they grow up.
https://archive.ph/3hJWk
It's an easy analogy to say in <10 seconds that non-technical people can understand. Had they not mentioned "bioelectricity" at all, it might have been harder to nitpick.
Is a PlayStation user a FreeBSD user? Yes, clearly. Can he see the source code of the FreeBSD derivative he is using? No, obviously not. Did FreeBSD make this possible? Yes, obviously.
It would have some follow-on effect for a while due to shrinking the global economy but over time domestic demand in these countries and other places would pick up the slack.
This is awesome news!

Ironically for a story about a webbrowser, the screen is showing 404 comments as I type this. :-)
Jane Street | Hybrid | Full-time

If you haven't heard of us before, we’re a quantitative trading firm that cares a lot about technology. This means building elegant solutions that scale well, never assuming that “best in market” is the same as “best possible,” and ensuring everybody has the resources needed to do their jobs well.

We're looking for engineers in New York, London, Hong Kong, and Singapore including, but not limited to:

- Meticulous and experienced Windows Engineers to help run our entire Windows infrastructure, from managing Active Directory and DNS, to acting as an escalation point for more complex issues in the Windows Desktop environment -- https://www.janestreet.com/join-jane-street/open-roles/?type...

- Linux Engineers to join a group of Systems Engineers, Administrators and Programmers, tasked with maintaining and improving the linux platform that powers Jane Street's production trading systems -- https://www.janestreet.com/join-jane-street/open-roles/?type...

- Software Engineers who are intimately tied into every area of our business. We are big believers in functional programming, using OCaml, a statically-typed functional programming language, as our primary development language. We also believe in the value of open source software, using it in our daily work and releasing hundreds of thousands of lines of our own code as open source -- https://www.janestreet.com/join-jane-street/open-roles/?type...

For more about technology at Jane Street, visit: https://www.janestreet.com/technology/
Marketing for both of these companies now claims edr is obsolete and calls out the risk of using an edr product, with xdr being the cool acronym of the month to sell.
In your comparison, is Viet Cong Ukraine or Russia??
Are you sure they’re asking for AI? It sounds to me like they are asking for the Internet to be turned off.
> However, the possibilities opened up by technologies this radical in the magnitude of the improvements they make in specific fundamental societal functions are enormous, and for that reason, they are on the balance massively beneficial, and that includes chat bots.

The improvements it can be dreamed of to the bottom line of companies by replacing expensive labour are massive, that's why it got US$ 1tn Capex downed into it as noted in another article from Goldman Sachs shared today on HN.

It doesn't mean it's massively beneficial to societal functions, a bigger case for that would be a clean, and massively cheap energy source (if fusion turned out to be viable and scalable, for example) but we don't see US$ 1tn poured into the pursuit of that because it does not promise improving companies' bottom line in a short time frame.

AI can definitely turn out to be a panacea but more and more grifters are attaching themselves to it, and the companies churning out the most advances of it are not really invested in improving society as a whole, that's the marketing speak used but we in tech have seen those empty promises of utopian changes turning out to be just smoke and mirrors for the surveillance capitalism age to set in.
It is important to remember that the optimizers used in mainstream deep learning models have all been developed and fine tuned to work well with classic NN architectures. There is no such thing as a generic optimization algorithm.
Phi-3.1 for example.
> The client should always include a clause into the contract that the client must hand all work over after closing the partnership.

I think you might have meant that the developer should hand over all source material after the agreement has been fulfilled.
Here's the underlying report that this CNBC story is based on: https://www.gstatic.com/gumdrop/sustainability/google-2024-e...

The key driver for the CO2 growth is "scope 2" emissions, mainly electricity demand from data centers. See pages 34-38 in the PDF for the definition of scope 2 emissions and overall progress on running data centers with carbon free energy. They're currently at 63% CFE, the same as in 2022, but absolute growth in electricity consumption also meant absolute growth in emissions from the other 37%.
Abandoned Shopping Trolleys in Bristol Rivers
Fred Wilson – The USV Librarian
Ah, Russia/the Soviet Union, land of “but wait, it gets worse”.
Not sure if energy use is a sufficient criteria to dismiss some technology. This universe progresses by turning low entropy energy into high entropy energy, which the use of energy is doing. So it seems to be closely tied.

Making processes more energy-efficient is only really a good thing as long as it retains its effectiveness.
I was the victim of an attempted robbery in NYC. I had fired a pistol before, so when the robber threatened me with one (which he may or may not have had) I did some mental calculations and came to the conclusion to run, hard, in the direction where there seemed to be the most people. If he had a piece on him, by the time he drew it from his hoodie and aimed, I would be far enough away to make an accurate shot difficult... and if he missed he might hit someone down the road. I calculated he wouldn't be stupid enough to risk it.
Yep definitely. There are a few of these like JSPM that help convert libraries into browser-importable URLs.
NHL free agency shows teams in states with no income tax have an advantage
I came up with this explanation to make me enjoy the movie more: The world outside the matrix is not the real world, but just another layer by the machines for obfuscation. In the real real world humans are actually used as processing units but since it is easier for the humans to accept and not ask further questions, the intermediate level with humans as batteries is introduced by the machines.
Its a good thing the GPL stopped google from taking it and running with it!
Take a look at the gender pay gap reports large companies produce. It’s very much a problem even with people sat next to one another doing the same job.

As I’ve said elsewhere in this thread, people take it as axiomatic that markets would react to this, but the evidence is strong that they don’t.
what do you think is unusual about the interpreter implementation? from what i read of the post (admittedly not all of it) it sounds like a fairly by-the-book smalltalk-80 blue book thingamabob?
Latitude-wise, Torres de Paine is comparable to northern Belgium than it is to Norway. Even Ushoaia, the southernmost major city in Americas, looks more like Belfast in the UK, or Gdansk in Poland, which are both into way more nicer climates than Norway. I just think that having some infrastructure in place, linking the southern parts of Chile with the rest, may be exactly what is needed for addressing the stounted growth there.
Pretty interesting how it seems like the leverage is all in Apple's hands here.
They didn't invest and AFAIK they aren't even paying for the GPT4 api calls.

Is the Apple user base THAT valuable?
I was quite pleased with myself when I finally learned to solve the standard cube a few years ago. But there are kids out there who can solve 3 of them simulteneously while juggling them in the air. Someone can even do that while riding a unicycle.
I'm no expert either, but it's interesting to note that the original computer-aided proof was erroneous. ctrl-f for Schmidt on the Wikipedia page.
I don't :) I've just delayed thinking about it until I have a service that actually does have that spike, which hasn't happened yet.

It looks like the CapRover devs have a solution https://caprover.com/docs/app-scaling-and-cluster.html but I haven't tested it.
Thank you. That is enlightening. Not something I had ever thought about, but why I...
seems like the problem I am experiencing right now is that I'm overwhelmed by the sheer number of tools and choices its frankly exhausting

there is a feeling that i can do anything and everything with AI but in reality I can't do anything because i can't prioritize and choose anymore due to choice fatigue
imagemagick really is magical.-
Yes, the difference is I'd like to offload the work of having to think about optimising code delivery.
It's encouraging to see how digital tools are helping address the "legacy data backlog". This aligns well with the collaborative open-science approach.

For those interested, I recently translated an article by french archeologists on the same topic: https://sql.ophir.dev/blog.sql?post=How%20archaeology%20is%2...
It's important to note that, in some interpretations, it could be much, much longer:

https://craigcalcaterra.com/blog/long-chile-ohio2-and-the-sn...
"unable to issue citation to computer" is about the stupidest and laziest police response I have ever heard. I am beyond upset about this. It's obvious they could issue a citation and send it to the address on the registration of the car, which is certainly Waymo or a company that could forward it to Waymo.

If my parked car gets a ticket, they put it on the windshield. It's not some stupid response like "unable to issue citation to car with no one in it." Since the window was open, they could also tape it on the dash or put it on the driver's seat.

There is no reason why Waymo should not get a citation and be forced to appear in court to explain themselves, just like everyone else. That is why the courts exist. But lazy cops seem to prevent this from happening.
> I think that's a bit too harsh. An entire complicated proof concocted solely looking at a computer screen in Coq?

Nobody is suggesting this, and in this case, it was indeed "ported" to Coq from existing sketches.

The distinction here isn't between on-paper-first vs computer-first. The distinction here is between using a custom computer program to perform computations for a mostly-paper proof, versus taking an existing general-purpose theorem-checker (Coq, in this case) and writing down the entire proof in its language so it can check it.
I don’t think you’re pro-slavery, but I do think you picked a metaphor not for the light it sheds on the issue, but the heat—and then preemptively dismissed a strawman objection to it instead of, say, improving your own communication.
As far as I remember (I also used the Alt+255 trick at the high school to hide stuff), Windows 3.1 could not open folders containing the blank 255 character, which was displayed as an underscore for some reason, and not properly translated to the windows code point for the same character (160). So it was not possible to open those folders, although they were visible in the File manager.
Grandparents can now get paid to take care of grandkids in Sweden
Isn’t the answer obvious? They were trying to make it look like a Chile pepper.
> Is the Apple user base THAT valuable?

Depends on how you monetize the data.
As someone who has very little experience working on a browser, but is interested in helping, could you possibly recommend where a dumb dude that wants to help could get started?

There's probably a huge influx of people trying to get involved now, which probably really complicates and muddies the waters right now as well.

Either way, congrats!
Head over to the full text (https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10899630/) and find in the page for “sleep”. Excerpt:

> Covariates included … drinking status (never drinker/past drinker/current drinker), body mass index (kg/m2), physical activity (metabolic equivalent hours per week (METs-h/week), sleep hours (hours/day)

They also break down sleep hours by cohort, with roughly 12 minutes/day less sleep among high nighttime eaters.
2.423 seconds is on the fast end of what I've seen, congratulations. For most systems I've seen it would be at least 5 seconds and when comparing that to loading a webpage, I would consider closing the tab.
Maybe AI summarized the document for the reporter.
That's fucking crazy.
I am pretty sure you are mistaking sponsorship and regular use. It is like when you are a RedBull athlete or taking part in a RedBull sponsored/organized event, you have to take a few sip of the product in front of the camera. That doesn't mean you are fueling your efforts with RedBull.
It didn’t: that’s the joke.
Ah that's cool. So it includes spacing inherently in the character it looks like, rather than English's ". " which are two characters.
I just deploy straight from my machine with a single command "caprover deploy". No container registry involved.
The NSA's data center is a drop in the bucket compared to the hundreds of similar data centers operated by Google, Amazon, Microsoft, Facebook, et al. And I would not call increasing your power consumption YoY by 13% or whatever it was to be "trying". To the extent they are trying, it's only to squeeze the value out of their real estate and to avoid blowing their transformers. They can spin that as "saving energy" until something like LLMs with their GPU requirements comes along.
I think it was a very sound decision back in 2007 if you wanted to write once and deploy everywhere. In browser, and on the desktop for Windows and Mac. JS wasn't up to the task of complex SPAs or graphic visualizations yet (<canvas> didn't even exist), and the alternative would have been Java apps which relied on whatever runtime the user had installed. The fact that Flash/AIR could deploy with its own runtime or a browser plugin was huge. It allowed an independent coder like me to maintain multiple large pieces of software across multiple platforms at a time when it was almost unheard of to do that without a team.
Thank you for your kind words! I drew most of the environment graphics and designed/encoded the maps in pen+paper as you can see. That style of graphics fascinated me since I saw Uridium on the C64 and then the Spectrum port. Julio Martin (a real artist) drew the ships and sprites and frame, the actually artistic stuff.

Fun bit: the explosions and possibly other sounds were just us pushing graphics bytes to the audio port (a 1-bit piece of metal which you had to flip in software to make it vibrate) as we rendered them. A poor man's source of noise.
Absolutism like this hurts adoption of otherwise-useful tools. Given the choice between a tool which simply cannot play DRM-protected content, and a tool which can, _ceteris paribus_ most consumers will prefer the former. If you believe there are other properties of a proposed tool that mean it is a public good for it to be adopted, it behooves you to make it attractive to adopt.
Some laptops have (had?) ways of entering numpad keystrokes using Fn+something (usually some letters), but I dind't see that in many years. I guess they used that because Alt+ normal numbers can be used as a hotkey in normal software (not sure what DOS software was using as keyboard shortcuts when they introduced this back in old BIOeSs...)
Darwinism, one might say.
> But more seriously: it is actually the truth.

If you have to convince people that you are seriously telling the truth, you are probably making an unproven assertion that relies on many benefits of the doubt.
> Is the Apple user base THAT valuable?

Ask google, they pay $20B/yr

https://www.bloomberg.com/news/articles/2024-05-01/google-s-...
I'm sure that's definitely what the parent commenter was thinking of.
If you want to be more widely understood, it's better to sound more like the King of England than whatever your local variety is.

I tone down my (English language) accent when speaking to foreigners all the time. The point is to be understood.

I'm toning it down right now in this message. I want to be clear to a wider audience, not folksy.

So is Spain really telling other people the way they speak is "wrong", or is there simply a prestige accent, best utilised for international communication so the maximum amount of people can understand?
I looked it up and it seems to just be a typical driverless train, more or less the same as is found in airports for changing terminals, except that this is longer than those. It might be a good service, but not quite as exciting as your description.

https://en.wikipedia.org/wiki/Skyline_(Honolulu)
Realizing the AMD Exascale Heterogeneous Processor Vision – ISCA 2024
It is a non profit foundation. Not a buisness. And so far they managed quite well to get funds without all the buisness plan things you want them to add.

Mozilla went that route and many are not happy with that.

So I am really happy for Kling and the project, that they managed what many others only dreamed about. Focusing on developement - delivering - building trust - getting funds.

Why do you want to change the plan, when it is working?
That's my point. I don't believe they do. I don't believe the reals are well defined since no one can name them. In general, I lean towards mathematical constructivism: https://en.wikipedia.org/wiki/Constructivism_(philosophy_of_...

I agree that computable real numbers exist, even if they're intractable to compute.