skysight-inc/HackerNews huggingface dataset:
I wish they paid out for the horrendous Nvidia GPU debacle for their 2011 MBPs. I took it in for repair 3 times. The first two times, they replaced it. The third time they said they were no longer covering the repair. The butterfly keyboard could at least use some external keyboard where the GPU was amenable to the same workaround.
What if I should be legally within my rights to be able to ask for my company/AI-held-dossier.

And I should be able to ask for such from ALL companies that have an AI dossier about me - and I should be able to confirm/deny/delete/update/[litigate-where-appropriate] for/against my data. But to do so as seamlessly as logging into whatever my profile is that already has my MFA/token/key/whatever - and given that me being the account holder - should be able to see my whole file.

but yeah its not simple - but necessary.

Remember - we aren't even a decade deep into AI Life-Long-Entanglements... so we better get on something asap... instead of clippy and war and politics.

(The strange thing is - that you no longer have an SSN, as it were, you have an LLM (LifeLog has arrived)

---

@kklisura:

I want GDPRGPT+

Seriously - I I want it on steroids and I want DarkPatterns to be illegal when it comes to such GDPR and the recent law for certain unsub rules in the US are not strong enough. And that third party data brokers masking as removal companies profit massively (look at YC's own Opterly - still shady.)
It's pretty straightforward -- in the US, both Schwab and Fidelity were down, with Fidelity back around 10am ET and Schwab around 1pm ET
Didn’t know!
I’ve just thought that this was a common pattern along with tab bars and other menu items.
My partner died of an internal SCC in their early 40s during the COVID-19 pandemic lockdowns, over a course of 9 months.

After the tumor board of the only cancer treatment center both covered by our insurance and willing to take us on refused to pursue anything but standard ovarian chemotherapy (which didn't work at all on ovarian SCC, which we already knew). Because of travel restrictions and the total lack of vaccines at the time, we couldn't travel to seek more aggressive treatment, so we pursued clinical trials.

My partner qualified for a trial only after chemotherapy started doing nerve damage, and was approved only after being judged too ill by the oncologist to take the drugs when they finally arrived. The courier showed up with $20,000 of useless drugs two days before hospice started. After my partner's death, I was told to dump them, unopened, after begging the oncologist and company to find someone else who could use them.

Bess' advocacy for access to trials for terminal and near-terminal patients is invaluable. If there's anything people can try to do, it's to help in this effort long before you or a loved one become too sick to benefit from it.

Jake has a hard road ahead, and so does Bess. All we can do is push to make sure nobody else has to fight as hard for, or be outright refused, the ability to fight for even potentially effective treatment.
I went down this road and your best bet is an old build of CM, nothing modern will work and even then you need to do funky things with the internal storage (Blackrose IIRC).

My recommendation is flash it back to stock 2.3 (I think that's what it shipped with) and enjoy the nostalgia. Oh and get one of those charging docs while they're still on ebay.
TennessineC: A toy C compiler, written in pure Java
I've tried to explain this, but I will repeat. Nobody orders them any more; they are sent by default. That includes to the lowest engagement voters who may not even be aware of them.

We should not expect there to be much evidence that this is happening because the system has in effect, if not by intention, been designed to prevent any such evidence from being collected.

That is why there is some legitimate doubt in the tamper proof nature of our elections.
Euripedes fragments or Eumenides fragments!
FWIW, my Bacon number (so far as I know) is 3 - but I have it two ways, with completely different people in the middle. <shrug>

I'm not on IMDB (never did any major major movies), so my connections go through theatre, which I did professionally for over a decade. Actors (or, well, theatre actors!) generally think that counts.
thanks!

initially we'll be working with existing systems (specifically, a Rotax 916iS) which has an almost-FADEC, but we're adding our own systems on top of it to add push to start, full control of the throttle, automated restart in the case of an engine failure in flight, and full data collection to better predict when maintenance is going to be needed.
Well, then $21 is the bottom, why go through the hell of management that are in semi plants and not just go get the same pay for a "nicer" job somewhere else?
> 1. This is interesting. So in a measured boot scenario, you wouldn't be able to boot the main OS, but it would give you access to sort of a minimal initramfs environment for debugging? It's a good idea for personal computers, like a tamper-proofing approach.

Depends on how it's set up. Currently most setups that use measured boot (systemd-pcrlock, partially BitLocker) ask for a recovery key if unsealing fails due to measurement mismatches and offer other options.

> I assume the TPM in this case would only have a partial decryption key?

That's also possible, but so far I haven't seen that. The sealed secret is sent to the TPM which then uses its hidden internal seed to derive the master key for volume decryption and sends it back. (In the case of bitlocker with TPM < 2 that could trivially be sniffed on the LPC bus...)

> I think something similar could be accomplished with SSS, no?

If you mean Shamir's secret sharing, possibly. Question is what to do with the shares.

2. Yeah, for your local machine this is a working approach, if you make sure that really only your own key works. Another reason against PKI is also that the trusted authority can't retroactively sign a backdoored executable to gain access to devices, as the measurements are independent from authority and ideally device specific.

3. Signature verification isn't just needed at the start of boot, it's ideally from start of booting until user authentication, which is the part that can be tampered with. I'd argue that the software side for measured boot is simpler, while the hardware side may be more complex.

> For example, iphones or google-pixel devices encourage the user to use a low-entropy password like a 4-digit PIN.

Using TPM+PIN is actually not that bad: Only if measurements match it's possible to unlock with a PIN and the TPM uses a counter in nonvolatile memory to prevent brute force attacks. It's not unfathomable that some manufacturer screws that up, but it's IMO stronger than relying on multiple parties (CPU, BIOS, OEMs, OS) developing an actually secure trust chain.
No matter what website I’m on these days there will be a sidebar or list of links at the bottom that have political crap or content that just makes me angry and upsets me. Humans should have freedom to escape this tyranny and hopefully this can get us there.
But is it Turing complete?
The really big difference is the searchability and frequency of possibly unsafe operations. If you want to audit all possible unsafe lines of code in a Rust project, you can grep for "unsafe" and find all of them (and in most projects there will be very few if any). In C, on the other hand, you need to look at literally every indexing operation, every pointer dereference, every use of a variable (to make sure it isn't potentially used after free or before initialization), every cast, and probably some extras that I've forgotten. As such, rather than having a low double digit number of cases to look at, you have to look at the vast majority of lines of code.
When I was a teen I used to download all my stuff from torrent, or DDL sites. Before that it was Limewire and other P2P networks... These days, with a stable job, I've kind of gone into a weird redemption ark that sees me paying for music from all the bands I used to listed back then... I'm probably about 50% into my collection and I now buy a lot from Bandcamp, but also iTunes... I feel like I'm seeking absolution from the music industry, or something like that...
Since you do say it in HN tagline, what are the "3 lines of code"? I can only see 43 LoC in the landing page. A tool to help massively with payments is always welcome of course, but if this is really 43 lines instead of 3 it'd feel like shady marketing (no judgement until there's a reply/clarification).
This was great. $125 and the keyboard actually gave me no trouble.
What a horrible thing to say. Appeal to authority on "hacker" news. Really?
This can only be a good thing, as long as it doesn't fall victim to pointless upper management driven metrics (Goodhart's law, "When a measure becomes a target, it ceases to be a good measure"), but qualitative ones instead
We've given them billions of dollars to build here, they can afford to pull their heads our of their asses and suck it up.
Is there no easy exit strategy? I think that if you remove the barriers to making more houses people will do just that; that if there are more houses people will buy them.

Would that fix all the housing problems? Probably not but I think it'd fix a number of them.
You just saved me 1-2 hours trying to replicate the problem tonight. You earned an internet cookie Thank you for being a good internet citizen.
Fair, but...

You get the Congress you vote for. If you need Congress to work together instead of acting like idiots, vote for people who will work together instead of acting like idiots. If you won't, this is the kind of Congress you get.

We haven't been feeling the pain because of the executive branch. But now Chevron is overturned...

(Also, murder is going to be against state laws even without federal ones, so this won't turn into the murder crisis that you suggest.)
The tensor diagrams are not quite standard (yet). That's why I also include more "classical" neural network diagrams next to them.

I've recently been working on a library for doing automatic manipulation and differentiation of tensor diagrams (https://github.com/thomasahle/tensorgrad), and to me they are clearly a cleaner notation.

For a beautiful introduction to tensor networks, see also Jordan Taylor's blog post (https://www.lesswrong.com/posts/BQKKQiBmc63fwjDrj/graphical-...)
The editing on this piece is ... sloppy in the extreme:

In a victory for the development, one of the nation’s largest utility companies, Southern California Edison, has agreed to purchase electricity from the development. The 15-year agreement will power the equivalent of 350,000 and begin when the development's first part is operational in 2026.

350,000 what?

(The answer is all but certainly "homes", which draw about 1.2 kW each, which puts this plant at about 400 MW output ... as is noted three 'graphs further down the article. Compare against a typical large nuclear power plant at 1--2 GW output per reactor.)

As you note there's also the Geysers plant in northern California (near Healdsburg) which has a nameplate capacity of ~1.6 GW, and a 53% capacity factor (that is, it's operational about half the time. Which would make the Met's article wrong on this point as well.

<https://en.wikipedia.org/wiki/The_Geysers>
> their role was to introduce a system of art or craft to a new individual, to instill in them the idea of standards, quality, consistency, and perfection".

I always thought that their goals was controlling the supply of goods and services to maintain high prices and to prevent competition from ruining profit margins (of course not necessarily universally bad for consumers since guilds generally still maintained some sort of minimum quality standards).

> than guilds to take the risk of training someone up to industry standards.

Because as an apprentice you were effectively bound to your master and had to work him for a paltry wage for a number years just to get a chance to advance your career. Since workers are now free to leave whenever they want and have no obligations to the company that spent money/resources to train them those companies have few incentives to do that.

> I believe that it would be very beneficial to society to create schemes that encourage learning with a similar system.

We might as well bring back indentured servitude while we're at it? Otherwise who is going to pay for this?
It is not really my speciality, but there are equivalent things on OoO Land. Although CPUs are very good at running reasonable code efficiency, peak FP performance is still the real of hand written ASM or at the very least copious use of intrinsics.

It can also be very microarchitecture specific. Because FP code often need significant unrolling, the number of architectural registers needed to store partial results can be a bottleneck, especially if the compiler doesn't do a perfect job.
I think the article is mis-interpreting what is going on. Fervo announced the following...

"World’s largest geothermal PPAs highlight increasing utility demand for clean, reliable next-generation geothermal energy"

PPAs are power purchase agreements

https://fervoenergy.com/fervo-energy-announces-320-mw-power-...
https://web.archive.org/web/20240805154449/https://www.nytim...
I've found my GA flying to really be about trips that you _wouldn't have made otherwise_, but the biggest barrier is cost. I've done little adventure trips with my wife that were super fun and without a PPL we wouldn't have done the equivalent. But when it comes to boring stuff it's just too expensive to justify flying so the trips don't happen (since I have to rent).

My suspicion is that the middle of the Venn diagram between "can afford a $500K aircraft" and "doesn't fly GA because they're not going to stay proficient enough to be safe" is vanishingly small. The doctors who fly their Cirrus once a year think they're Maverick so they don't care about the safety features. The guys who fly every chance they get aren't the ones stall spinning on base to final.
Nice of them to reinvent the adblock wheel.

Apple has mastered taking what should just be a customizable plugin and making you wait 10 years for it.
Dot Product is building AI coworkers for operations teams
You don’t know if your shit works just from “types”, and formal methods are not applicable to anything real. You’re arguing for the sake of argument, you know I’m right.
First of, so nice to see someone solving hard problem. Best of luck to you and your team.

Do you see the overcrowding of airspace as a concern at all?
I think the point is the recording industry was a very different beast. Now it's not. What would pass as a high-quality studio in the 1980s is now home hobbyist accessible, with bits and pieces state of the art for even the current decade like the digital processing. Anyone willing to put in enough time to have music worth recording can record it with only a modest percentage increase in time and money.

The gate was never that music is hard [1], but recording and distribution. Well, recording and distribution is now very, very feasibly done without companies, and even the process of making it is easier than ever. Why would we expect anything but an explosion in supply?

Most of it will, of course, be crap. Sturgeon's law can not be denied. But 10% of a 50x increase is still a lot of new good music, and 10% of 10% of a 100x increase is still quite a bit of new great music.

[1]: Music is, of course, hard. But it's hard in the way programming is hard, accounting is hard, being a biochemist is hard, plumbing is hard, etc. Many, many things are on this level of "hard". It's the sort of thing that takes enough investment that you are making a choice to pursue it rather than other things, but it's well within an individual's capability. No need to form a 1000 person company in 2024 just to record some tunes, whereas if you want to distribute your music nationally in the 1960s you are looking at "1000 person company" sorts of tasks, where the successful companies were larger than that.
SEEKING WORK | REMOTE, HYBRID, ON-SITE | NYC-Based | Fullstack Software Engineer

Location: Jersey City, NJ, United States

Remote: Yes

Willing to relocate: Yes (Los Angeles, Miami preferred)

Technologies: JavaScript, Python, Google Gemini, Claude API, ChatGPT, OpenAI API, Perplexity API, React, Redux, TypeScript, Node.js, PostgreSQL, MongoDB, AWS, Azure, Docker

Résumé/CV: https://docs.google.com/document/d/1xLRZqMJfUf92ykCML0qPS8eV...

Email: jai [at] chaiwithjai.com

I'm a senior full-stack software engineer and AI educator with 5+ years of experience, including roles at HashiCorp, HealthVerity, and Cityblock Health. I specialize in:

- Building robust, scalable web applications using React, Redux, TypeScript, Node.js
- Developing AI/ML solutions leveraging Google Gemini, OpenAI, and other LLM APIs
- Cloud architecture and deployment on AWS and Azure
- Database design and optimization with PostgreSQL and MongoDB

Recent projects include:
- Advising a NASDAQ-listed company on $100M+ in AI acquisition deals
- Managing 20+ junior engineers to build internal applications using Google Gemini and GCP
- Designing curriculum for university-level web development and AI courses

I'm passionate about using technology to solve complex problems and am particularly interested in projects involving AI/ML, education technology, and healthcare innovation. Available for both short-term and long-term engagements.

LinkedIn: http://www.linkedin.com/in/chaiwithjai
Election misinformation is the greatest thread to any democracy
They don't necessarily have to learn in an old school plane. In fact, our early adopters who aren't pilots will be getting their flight training through us in an Airhart airplane (included in the purchase of the airplane)

In the near future, a new set of regulations is coming out called MOSAIC, which will allow pilots to learn how to fly purely in simplified control aircraft. This is expected to come roughly at the same time as when we begin production, so we hope that new pilots will be able to learn under these new regulations and not have to learn the old-school way of flying at all.
I would be fine if they built a new tool with 2024 IaC experience and control. But I think trying to evolve CFN into a new thing would take far too long and have a lot of edge cases that they should just start over and stop trying to paper over it with CDK, Proton, ACK, etc.
Uhm, isn't this what command (right) click is supposed to do?
Nice write-up. If I find the time it would be interesting to dive a bit deeper than a shallow read and compare with how things are done in Rosette, which I have more experience with than the Z3Py-interface.

https://docs.racket-lang.org/rosette-guide/index.html
Sadly, the rest of the world matters very little, the USA has the consumers that buy more than anyone else, the largest tech companies that will use the chips more than anyone else. If they want access to the best market in the universe, then they need to play our game on equal footing. They can't just keep externalizing costs without remorse.
Free tier is 10 shortcut invocations a day before it resets next day.

You could also try a 7 day free trial if you pick the yearly subscription (you can then directly cancel in App store and not pay)

Here is more on the pricing: https://www.pie-menu.com/help/pricing

But as you say I haven’t written about the free tier there.
Forbes rediscovers the 1950's Park Flyer. Film at 11.
If anyone might be interested:

Yes, concerning stores World of Goo 2 will be Epic exclusive for a while most likely because Epic was a major investor while developing the game.

On the other hand 2DBoy gets 100% of all Epic Store profit during a limited period.

If you are not happy about that you can get it DRM free from the website or wait for the inevitable Steam launch.

Hope this helps :)
Or if we create cryptocurrency and AI training centers that require huge amounts of energy...
It was a business decision because slack's old /call command was built on a startup they aquired. I don't know the details but I'm sure Amazon gets deep discounts on slack and slack get's the same for chime.

https://slack.com/blog/news/slack-aws-drive-development-agil...
> That said, it does require more care when you do OS updates or UEFI updates to remember to update the TPM sealed secret with the new measurements. Windows and Linux both have the former automated so it should generally be fine.

Yep, this can be a pain also in regards to firmware bugs (broken TCG event log anyone?). In the worst case you need to enter the recovery key or if you know in advance, exclude some component from measurement temporarily while supervising the next boot. If something goes wrong with the trust chain like a key got revoked but the bootloader didn't update correctly, you end up with an unbootable device and can't even go back easily.

> UEFI updates can also be a problem if they wipe the TPM as part of the update and thus destroy the sealed secret entirely (as my PC mobo does).

Ouch, that's bad design. The firmware is measured into the TPM on boot so there's no reason to do that..
gemini:// and spartan:// resources are part of the Web. (So is Gopherspace, for that matter.) They're not mutually exclusive; the Web is not HTML over HTTP. To focus on one example: Gopher space is a subset of the Web.*

I encourage everybody to read TBL's book Weaving The Web and his other expository writing about the birth of the Web, the thinking that went into URIs/UDIs, and the absence of a universal information space—the hole that existed before he invented the Web to fill it.

* whether mainstream browsers by the big tech companies support or not is a separate matter
I got my PPL a while ago, and I'm super excited about this! Though, I'm mostly a renter, so I may not be of much support to purchase at $500,000.

This would be quite the upgrade from a 1980's Cessna.

I guess we'll have to wait for the new standards, but things like learning about the engine, stall recovery and crosswinds are a pretty major part of aviation training. Though the plane can do these things, I'm not sure how much training will be abstracted away (since it's a generic curriculum and we can fly most ASEL).

Few questions:

1. Does the flight controller have a back-up?

2. What does the override for controlling rudder and aileron look like. How about spin recovery or taxing with headwinds?

3. Would you sell your avionics set-up so I can retrofit and replace a Garmin System. I've always found Garmin's to be tricky and hard to read. Yours looks waay better

4. Love the Live ATC transcriptions

Best of luck! Hoping I get to fly one of these some day.
Is it AI generated content?
Bangladesh internet connectivity restored after Prime Minister flees country