skysight-inc/HackerNews huggingface dataset:
I commented to the blog, saying that it was incomplete to say "Red Hat and IBM are making their sources available to all those who receive their binaries under contract. That is the GPL." The blog responded, it's submitted for moderation - but I do not see my, or any other comments.

A simple search on "Linux GPL-2 license" yields "The Linux Kernel is provided under the terms of the GNU General Public License version 2 only", and on the gnu site, "Accompany it with the complete corresponding machine-readable source code [...or...] give any third party, for a charge no more than your cost of physically performing source distribution, a complete machine-readable copy of the corresponding source code". For brevity, I synopsized this in my comment.

I see too many articles saying that Red Hat only have to provide source code to its customers - and the blog only implies that - but the Linux license requires more. The community often takes the source code, compiles and matches the binaries. That is essential. Red Hat offers a service, support and warranty, but as the license says, you cannot just take the source code, you have to give it back too.

I had a contract where source code had been lost, until I found a printout, yellowed and wrinkled, showing self-modifying code to boot, and assembled that, finding a match to the binary, at which point I could produce a module that could be maintained in the future. That task would have been much more difficult without source code.
A a ballpark you can guess ~100x the margin of gaming GPUs since the transistor counts and architecture are similar enough to high end gaming GPUs that sell for a fraction of the price and the extra RAM isn't going to close that gap.

When you have 100x the margin on a product you only need to sell 1% as many to almost double profit. 10% would be more than 10x profit.
In Mexico there are areas where taxi drivers are violent towards Uber cars and their passengers.

It's a very common occurence in Cancún for example where taxi drivers are a mafia (literally, they are known to work with the narcos). It's so common, that in some cases taxi drivers have attacked non Uber cars by mistake. This is from a couple of days ago (in Spanish):

https://www.infobae.com/mexico/2023/07/28/terminaron-detenid...
Estimates for weeks of storage are made by people who don’t understand the fundamental cost optimization going on.

More production costs X which reduces the need for batteries by Y, as long as X > Y you build more production even if most of it’s output is unnecessary. Also 16% of global electricity comes from hydroelectric generation, we really don’t need that many batteries.

Actual optimized energy storage is on the order of 2 to 6 hours total globally ~30 years from now depending on how much prices drop. With larger numbers representing lower battery prices. In the shorter term it’s a tiny fraction of that.
I live in already bike intensive area and only have a bicycle myself. Since I already have too many hobbies I intentionally try not to work on my own bike. Unfortunately, for me I suppose, the amount of people on bikes now means the bike shops are absolutely stuffed with bikes needing repairs. So, when my rear axle bearing went out I bought a rack and a tool kit after years and years of avoiding it. I couldnt be happier for me and the bike shops.
> Assuming this lesson is teaching you something you didn't know, that's the surprise.

There was some trick in calculus that makes it 1% more efficveint. Big deal but hardly surprise.
You asked and op answered honestly. Most people on HN recognize the value of their labor and won't take a lower paying _desk job_ than what they know they're worth, much less a backbreaking labor job that will likely ruin their health long term.
People rarely even offer a definition of consciousness that stays consistent between both premises of a syllogism.
> "If you're a beginner with X like I am, you may or may not have discovered"

What’s a beginner?

Reading 3 books on $topic will give you a deeper understanding and appreciation for $topic than 99.9% of the population. Yet you are still at basically zero compared to the people who wrote those books.

The people who wrote those books are at basically zero compared to the bleeding edge researchers who invested entire lifetimes into 1% of what the book covers. Those researchers are at like 60% compared to the researchers who are looking into the other 99% of what the book covers.

By and large we are all beginners in almost everything.
I quit riding my bike for exercise because I had 45 minutes to exercise but 50% of the time I’d spend 30 minutes patching a flat tire instead.
There are practically infinite combinations of things to mess around with. Which stuff do scientists choose to mess around with and why?
Ah. Then yes, sorry I misunderstood.
For me, it was usually still cheaper to go pick it up myself even after I factored in the cost of my time (and I don't price myself cheap.) Doordash would regularly double the cost of an order for two people.
wait, who is wild?
If your Python programs heavily use Pandas and Numpy, could there still be speed benefits to translating them to Nim?
Gold is absolutely a negative sum game. From a technical financial perspective it has negative carry[1] because of the cost of storage, insurance etc. Quite a few other assets are similar (eg art). Negative carry doesn’t intrinsically denote a scam but its fair to say that its much easier to establish a “fundamental” theory for the value of something like a dividend-paying stock that has positive carry.

[1] Negative carry means it costs money to hold an asset on an ongoing basis. Given most assets have transaction costs when you buy or sell, anything with negative carry will be a negative sum game in your terminology. https://www.investopedia.com/terms/c/costofcarry.asp
Unfortunately JetBrains, like many, are unwilling to pass up on exploiting the good margins on data extraction - even at the expense of their products and userbase.
I was annoyed by a lack of support for git worktrees in my current employer's dependency system (think virtualenv from python, but for everything). I fixed some scripts to be worktree dependent and tested it out thoroughly on the CLI, but as soon as I got the PR through with the change, I got a bazillion messages on Teams from people yelling at me that I broke their workflow.

Their workflow was basically "blindly point and click in Visual Studio because I don't understand even the basics of git. I miss the old custom in-house VCS and am very grumpy".
They're both at least masters of EE, and not drop-outs. I find that refreshing for CEOs, and it shows an individual passion for and knowledge of their product. Intel's new CEO Gelsinger follows the same trend after a slew of MBAs. I'm hoping this means more competition and progression.
Sure but why stop a practice that is working so well already? It's just 10 slots out of 100s.
Travy - Easiest way to travel together
Travy offers an all-in-one solution for international companies that spend too much time on scheduling business trips. With Travy, you can effortlessly plan, book, and manage trips for individuals or groups, regardless of whether they are departing from the same location or not.
It's a casual desire and a component of a larger ambition. I hope Charlie's proves useful.

I do plan to start documenting and publishing but I'm still a few months out.

Thank you for the encouragement. It always helps.
Imagine you're connecting to a VPN server. The service provider says they don't store logs - nowadays you have to trust them, and perhaps any audits they might have done in the past. Remote attestation allows you to get information about the actual VM that's running the service, so the provider can give you the image for the machine (or build steps for it), and what you get via remote attestation is cryptographic proof backed by the hardware that the machine you're talking to is indeed running that software, and not something else that the provider has deployed.

And this is just a consumer-centric use, most use cases related to remote attestation have nothing to do with end consumer. The goal is usually to make sure that some workload or device that a company owns (say, a VM in the cloud, or an IoT device running in a field somewhere) are what the company expects them to be.
Yeah, I would class it as encouraging, but far from definitive. But at least it shows that there might be some theoretical basis to it.

It might be useful (as jboggan mentioned in another thread) in explaining why reproduction could be difficult; it seems to be a finicky material to create.
I like that, I use Twitter/X as my CDN: https://sonnet.io/projects#:~:text=Laconic!%20(a%20Twitter%2...
Nice try with the quotes hahah. But no, that is not mentioned in the whitepaper, and you are way off now: Cold storage is a cloud term for long-term storage, it has nothing to do with "cold wallets" - the term centralized exchanges use for "off-chain" assets.

Also this (from bitcoin whitepaper):

"A block header with no transactions would be about 80 bytes. If we suppose blocks are generated every 10 minutes, 80 bytes * 6 * 24 * 365 = 4.2MB per year. With computer systems typically selling with 2GB of RAM as of 2008, and Moore's Law predicting current growth of 1.2GB per year, storage should not be a problem even if the block headers must be kept in
memory."

I'm convinced 90% of people talking about crypto don't get it.
I've used both to work on a hobby OS project (Nim[1], Zig[2]). I very much prefer Nim. Code is succinct, elegant, and lets you focus on your core logic rather than fighting the language.

Zig is nice and I like its optionals support and error handling approach. But I was put off by its noisy syntax, e.g. !?[]u8 to represent an error union of an optional pointer to a many-pointer of uint8. Also having to prepare and weave allocators throughout most of the code that needs to dynamically allocate (which is most of the code) gets in the way of the main logic. Even little things like string concatenation or formatting becomes a chore. Zig also doesn't have dynamic dispatch, which makes polymorphic code hard to write; you have to work around it through some form of duck typing. In the end I realized that Zig is not for me.

[1] https://github.com/khaledh/axiom
[2] https://github.com/khaledh/axiom-zig
If the same number of car miles are being taken then it is a wash on the manufacturing side, but you are totally correct that car parking is a terrible waste of space. Of course the biggest blight is the roads themselves and car sharing does little to help that. In fact it may be even worse as the drivers have to make the trip between the fares that wouldn’t exist with privately owned and parked vehicles.
Yes, you're misreading it. "the president" is not a label that applies solely to JFK, or one that applies at all to JFK in the context "when JFK was born".

If someone gave me the question "who was the president when JFK was born?", the answer is clearly not JFK, so it isn't correct to infer that JFK is the president whose height, party affiliation or essay writing skill is being asked about "when JFK was born".

If someone gave me the headline "was the president strong at writing essays when JFK was a high school freshman?" I would assume that either they were trying to trick me or that they were a non-native English speaker or computer program that didn't understand how English syntax or the concept of presidency worked. If you flip it to "was JFK strong at writing essays when the president was a high school freshman" then yes, I'd consider both to refer to JFK because "the president"can't be identified as anyone else, but I'd also consider it to be bad writing by someone cargo-culting the idea of elegant variation...
I never use food delivery apps unless I get a work credit for this reason. The food is always overpriced and cold.

It's faster if I pick it up myself or use the rare restaurants that have their own delivery service.
> No their research is much better than most.

Yeah, so good they were extensively faking their research and demos for a "personal food computer"...and even selling the fucking things to unsuspecting schools. Literally snake oil scamming.

https://www.google.com/search?client=firefox-b-1-d&q=MIT+med...

Then there's your robotics team, backed by millions of dollars in free products and "consulting" (ie doing work for them) in sponsorship by defense contractors...beaten by a bunch of high school kids who raided a BoatUSA store and Home Depot to build an underwater robot with bilge pumps and a bunch of PVC pipe.

The most exciting thing to come out of MIT Media Lab in two decades is an alarm clock wrapped in carpet that rolls off your nightstand when it goes off.

MIT is a defense industry thinktank masquerading as a university.
> I'm not sure why someone would choose them for their bench iron, which seems to be what a bunch of attendees were suggesting they do with their USB/battery irons.

Me either. I have both -- I have a very nice battery/usb-powered one that I keep in my portable electronics kit, and a mid-level bench iron for at-home work.

The bench iron simply works better in every way, and I'd never even consider using the portable one when I have the option of using a bench one.
From the article: But, increasingly, I feel less and less like an outsider. It’s not me. It’s people living for and by advertising who are the outsiders. They are the one destroying everything they touch, including the planet. They are the sick psychos and I don’t want them in my life anymore.

My thoughts exactly. Like the author, I don't have patience for glossy websites anymore. If a site needs third-party JS to be usable then I'm gone. I won't put up with 15mb downloads just to read some content (Twitter included). The web is not so much splitting in two. We are simply saying "no more" to the exploiters and grifters. Eventually, they will have to learn to eat with the commoners or eat by themselves.
SEEKING WORK | Remote

Location: Porto, Portugal
Technologies: Machine learning, web, and games.
Résumé/CV: https://marcospereira.me/resume

Developer with a background in machine learning, web, and games. MLC research lab member under Rosanne Liu (Google DeepMind). Unity asset store publisher.

Full time availability but open to partial schedule. Willing to travel periodically.
Oh yes, I also don’t think this reproduction failure is a strong signal either. It is super finicky usually in practice
Until an alternative the use could be reduced drasitcally. I personally use Uber as the last resort
Check out my project Torrentinim for a popular but simple enough project if you want to taste what Nim is like.

https://github.com/sergiotapia/torrentinim

It's easy to understand code.
Mystery company that's bought 55,000 acres of land surrounding a USAF base
[dupe]

mistyped double-slash url

Discussion over here: https://news.ycombinator.com/item?id=36955806
Low key sizes (<= 1024) of RSA are considered vulnerable, especially to quantum computer attacks. Some ECC curves are considered vulnerable, especially to NSA backdoors.
It is not surprising. Those in leadership positions intentionally look the other way because they and their cohorts benefit from the cheaper labor. They openly issue paltry fines to giant companies found to be violating the law.

If they really wanted to, they could easily make it a jailable felony to not eVerify employment status of immigrants.
> Thinking that something will either happen or not happen if I mix those two substances is not a theory.

OK I'll bite. What is it then?
1. Nim uses 'var' modifier to pass by reference, e.g. "proc (n: var int)...", default behaviour is pass by value. And there're also raw pointers and references (safe pointers).

>is a no-gc mode available?

You can disable gc, but most of standard library depends on it. But in Nim 2.0 there's finally support for ARC and ORC (ARC + cycle collector).
Interesting. If I realized this was happening I'd be inclined to simply order a Lyft/Uber and off I go, and the driver will eventually have to cancel to get their next fare.
Lol, no, that's funny money. The 32B I'm talking about it's actual cash that is gone and has to be recouped.
I would like to ask in general to the group. How do I get a job doing field work? Like working on sensors but then also going outside and working and doing analysis?
Out of curiosity, how far are these trips? I think a far more salient comparison would be around the $/mile cost of Uber rather than the individual rides.
We Americans do it for "reverse discrimination," and yes it's racist.
That isn't economic growth because there is no change in the supply or demand of goods or services which underlay economic activity.
We need more fun AI projects like this
Pioneer | Founding Senior Software Engineer | Climate Tech and LLMs | Seed stage | SF Bay Area, DC or remote in USA only | $150K+, equity

Apply here: https://usepioneer.com/careers

About: Pioneer's mission is to coordinate the funding for rapid decarbonization. We take the pain out of the government application process by using LLMs to gradually reduce the effort required to identify, qualify, apply, and comply with government awards. We are passionate about climate impact and creating a supportive growth environment based on the fundamentals of Radical Candor. We also have a proven business model and rapidly growing revenue.

Culture: Our core values are kindness, feedback, intentionality, ownership, and impact. We implement these in various creative ways: toms, laps instead of sprints, feedback instead of 1:1, and decision journals! Our newest team member said “Every interaction is “kind”, coming from a good place of respecting each other.”

You: Enjoy the 0-to-1, pre-PMF phase, have an owner mindset, collaborative, have curiosity for technology like LLMs, start sentences with “What if…“, enjoy building across the full stack.

Stack: We use TypeScript, React, Next.JS, and other modern tools.

P.S. We are also hiring for a Founding Operations Lead - apply through the same link as above.
Elon Musk to be billed for unauthorised flashing X sign
My experience with IDE integration is that it never implements the full feature set of the git CLI. It's probably improved, but I've generally found that anything besides basic clone/branch/commit/merge with very few developers and branches eventually leads to having to resort to the git CLI to resolve issues.
It's not always outright failure, but rather different performance binning.
That is a very special set of metrics and one could argue the opposite using e.g. social and environmental externalities (social safety net/ energy consumption pP...).

The other thing is, is there more real innovation going on or is this just some local hyper optimization of making the numbers go up?

I don`t claim to be the judge/arbiter on this matter, guess i`m glad we can compare both on this world
All tag updates require a force push and any existing clones also need a force pull.
> If you don't cancel, drivers will simply park and wait for you to cancel

If I realized this was happening I'd be inclined to simply order a Lyft/Uber and off I go, and the driver will eventually have to cancel to get their next fare.
Can't edit any more, so I will reply to my own comment.

There's a better video showing a different flake, where you can see the same corner of it being repelled by both poles of the magnet.

https://www.bilibili.com/video/BV1Ex4y1X7ix/
had a mini-heart attack reading the intro; we don't see enough of each others' names on here :)

been waiting for something like this to come along: when i set up microcontrollers that expose a mini-server, i would like to use the Geolocation API built into mobile browsers so users can tell the gadget where it is, but they block access to the API unless your site starts with 'https://' ( a silly barrier but whatever )
It’s bonkers we are even talking about any of this.

These security startups are hilarious

“> Given adobe acrobat you can modify a PDF and upload it and people wouldn’t be able to tell if it contains misinformation if they download it from a place that’s got no editorial or provides no model hashes”

“Publish it Gary, replace PDF with GPT let’s call it PoisonGPT, it’s catchier than Supply Chain Attack and Don’t use files form USB sticks found on the street and all investors need to hear is GPT”

How is this any difference then corrupting a dataset, injecting some stuff into any other binary format or any others supply chain attack. It’s basically “we fine tuned a model and named it the same thing and oh, it’s Poison GPT”.

What does this even add to the conversation? Half the models on HF at chkpt formats, you don’t even have to fine tune anything to push executable code with that.
so commit is a side effect, not an explicit action

weird choice, isnt explicit always better than implicit
I don't find that particularly relevant to the questions at hand.

Even if it's true, then at best it means that the LLMs that we've created are only a small part of what's necessary for an AGI that functions as an "artificial brain": that not only are they not conscious, they are fundamentally incapable of it, and in order to create artificial consciousness, we have now gone as far along that particular path as we can (roughly speaking), and need to be looking into how to create the other parts of the "artificial brain", and how to hook them together.
Oh absolutely, there’s a lot of potential issues with the simple suggestion of requiring replication. I was tempted to write a bunch more to outline strategies and counter strategies from a game theory perspective but realised it was basically unnecessary since it will never happen.
The person you are quoting in [1] is a chronic bad faith actor. Examine his arguments with great skepticism. The argument he is making there is obviously wrong -- he's implying (without justification) that battery production cannot be greatly expanded, and ignores non-battery storage.
I've been running large scale GPU deployments (>150k+), for years now... we are absolutely pivoting to this (yes, we took a bit too long).

But it is surprisingly hard to find investors who are willing to wait, even though we know that this stuff is going to last for decades.

username@gmail if anyone would like to have real conversations about this.
I wouldn’t claim so boldly that my claims are nonsense. In many European countries affected by the Holocaust, gathering ethnic data is illegal. The article even mentions the example of Germany and i know it is illegal in France too.

If anything, your claims are unsubstantiated.

Edit: here is a good source, see page 16 https://one.oecd.org/document/SDD/DOC(2018)9/en/pdf

My original wording was clumsy. Most EU countries do not collect race or ethnicity data. Those that do are all in Eastern europe and the UK, Ireland are the only Western exceptions.
Posted and updated monthly on “Ask HN: Who is Hiring?”

Superhuman | React.js, Node.js, Electron, Swift, Kotlin, Golang, GCP | Fully remote, Full-time | US, Canada, Mexico

We’re building the fastest experience in the world for work email, team communication, and productivity platform of the future. (superhuman.com)

We’ve built the fastest email experience in the world, and soon-to-be team communication and collaboration so professionals end each day feeling happier, more productive, and closer to achieving their potential. There are estimated to be a billion professionals that spend 2-3 hours a day in email and they deserve superpowers. Teams have adopted us at Spotify, Netflix, Airbnb, Notion, Dropbox etc.

Hiring for:
Senior Product Manager

Apply at: https://superhuman.com/jobs
https://en.wikipedia.org/wiki/K-d_tree