skysight-inc/HackerNews huggingface dataset:
I absolutely love this development. Who better to take charge here than the people directly affected? They are as motivated as any to get it right, not because of a financial incentive but because their life is in the most literal sense at risk of getting it wrong. Of course the big players will all push the fear button, but that should be contrasted with the simple fact that they all have had (sometimes multiple) recalls.

Do not underestimate how hard it is to do this right, the people that built these DIY solutions have spent a ton of effort on them, probably more than the equivalent commercial players. But long term my prediction would be that the DIY movement will lose out. The competition has massive lobbying power, a lot of funding and looks like the safe option to outsiders, especially when there is feature parity. The main driver for this development was a simple one: all the parts were out there, but nobody was willing to take the plunge and build a closed loop system and have it certified. But that impetus is now gone and future improvements will be much higher hanging fruit.

But I'd love for them to stay around to keep the industry on its toes. Especially because commercial interests are always going to maximize profits, which for a disease that is so widespread and that affects so many lives should not be a factor. Incidentally: a modern insulin pump is a work of art, if you don't know how they work and you fancy technology I would encourage you to have a look at this.
I've been listening to the Aubrey / Maturin book series by Patrick O'Brian, narrated by Patrick Tull. To my untrained ear he seems to do a good job with the various UK accents of the different characters, as well as various other Europeans.
Reminds me...

One of my personal top 10 movies: 12 angry men.

9/10 imdb score.

https://m.imdb.com/title/tt0050083/
What? I don't recall ever having heard the US spread democracy in Latin America. The US destabilized democratically elected governments and propped up violent regimes in Latin America to benefit private industry and "combat Communism". The US Army School of the Americas was a finishing school for Latin American dictators and strongmen, as well as other murderers.
https://irp.fas.org/crs/soa.htm
Florida already has a state run insurance company for this exact reason

https://www.citizensfla.com/who-we-are
Tech That Changed the World: The Sony Walkman
Is your source a random person on the Internet?

I work daily with LLVM and haven't noticed any slowdown in contributions by employees from Google or Apple.
Even replacing your old windows is subject to stifling red tape in San Francisco
You're reading it right at face value, however I concede it's possible this student has long since graduated.

I somewhat routinely go out with my former CS professors (I've known them for almost 20 years at this point). They currently express some of the frustrations that this student has, but on the teaching side. As I was told, the US is relatively split 50/50 between programs that teach the computability theory first and foremost, and programs that teach practical development.

The problem as I was told, is that the computability theory method is a drag on student achievement. Many want to revamp their departments to ease students into things like automata, complexity, and architecture concepts, but there is a lot of push back from existing professors. Students are entering the program these days without being able to grok even simple boolean statements (true && !false). OpenAI is removing a lot of opportunities for these students to self-learn. Most departments understand that they need to revamp. However, you have faculty who each are experts in their own slices of CS, and most are hesitant to change: "The real problem is that kids these days need more data science" "No the real problem is kids these days need more distributed computing". The result is that it's difficult for departments to come to an agreement on a proper on-ramp, so they cling to existing programs.

It's known that the incoming generation is less tech savvy than the prior. The question is if CS faculty can restructure their departments to sync with the new generation, and the field as it exists today.
I think you're making a wrong assumption about how this OS works, its programs are still loaded from ELF executables, the parser is here: https://github.com/Ruddle/Fomos/blob/91cf732f173a01cdec3df43...

The "app is a function" distinction is simply about the `Context` struct passed it, otherwise it loads and runs executables as expected (load ELf memory segments in, jump to entrypoint)

Edit: I guess I'd also add that on Linux or other OSs it's possible to construct and run process completely from memory with no on-disk executable file. JIT compilers do effectively this, the produce the executable code completely in memory and run it.
"Faulty data submitted by 3rd party (French airline?) wreaked havoc!"

Yeah, sure. Blame 3rd party while your system didn't sanitize input enough, or was tested only with valid data vs. fuzzing (if only to help determine how to handle invalid input).
> Ok so your idea is to have the government be in the insurance business?

Yes, I think all insurance should be nationalized. You may not agree, but accusing me of not thinking clearly is an ad hominem.
Booklash: Literary Freedom, Online Outrage, and the Language of Harm
You have it exactly backwards.

The most common carbon fiber composite is carbon fiber reinforcing an epoxy matrix. The carbon fiber, as individual fibers 5-10 microns in diameter (vs human hairs ~20-180 μm), and as tows or yarns of 3000-24,000 fibers are actually very flexible. I can take fibers or yarns and fold and crush them back on themselves without breaking (of course, other high-performance fibers such as Kevlar or Dyneema, can take even more such abuse).

It is the epoxy matrix that is brittle, and when it finally breaks under load, the load is concentrated at the fracture and breaks the fibers.

This is not an issue in high-performance fiber ropes, as they do not use an epoxy matrix. They have much higher fiber ratio (so much less matrix) and the matrix is of course highly flexible, e.g., some urethane formulation, and often a wear-protective jacket; the matrix is basically a binder to keep the rope/cable together. This is why composite fiber cables have replaced steel in high-performance yachting, tall elevators, racecar wheel tethers, and many other applications. The entire point is that they are much MORE resistant to breaking and wear than steel (and in some applications will work in long-length when the steel cables would literally break under their own weight).

That said, while I haven't done a full analysis, it is possible that Kevlar or Dyneema or even Zylon as the main cable reinforcement, sacrificing some strength-weight for increased toughness, may be better in that particular application. But any of the high-performance fibers will outclass steel.

Similarly, for the structure housing the suspended instruments, composites are a win on every parameter. First, reducing the suspended weight pays benefits across the whole system — lower weight to suspend reduces the requirements of the cables, which reduces their own weight, which reduces the loads on and so the weight of the towers, etc. This alone may overcome any initial cost differences. Moreover, lower weight means lower momentum generated fighting high winds, etc., composites are better vibration-damped, and more. Plus, composites don't corrode the way metals do. And, this is not a structure where we need to worry about impacts and brittleness (which can also be managed by reinforcement and matrix selection).

Doubt all you like, but composites would be a huge improvement in this application (and don't need active blow-drying, which seems unlikely to have been able to prevent the creep failure).

Source: I founded & run a high-performance composites design & mfg firm, with 20 years of direct hands-on experience designing & fabricating advanced composite components & products for motorsport, defense, aerospace, subsea, sport, & architectural applications.
Yeah, I could even get excited about a hybrid Honda van, as it would meet pretty much all my use cases.

But for some reason the company that basically did hybrid first for some reason won't do it anymore.
In every way that interacts with copyright, yes. In the ways that it doesn't interact with copyright, it's irrelevant.
For anybody that stumbles on this, I'll note the Anki deck I'm using didn't have audio for the hiragana and katakana combination character cards. Audio is extremely useful for these, so I generated it using the Hyper TTS Add-On[0].

[0] https://ankiweb.net/shared/info/111623432
Yea. I think people don't realize that the "golden age" of social media is not replicable because we all just can't forget decades of social media use.

You get little bursts of it with new platforms but that quickly fades as they turn into "just another social network."
It's also funny because CS110 at UBC, which his what he's citing - has been pretty controversial course which other members of the department gave accused of not sufficiently preparing students for the second year curriculum which mostly use imparative languages like C/C++/Java (which they don't really teach you either) resulting in more topics pushed into third year.

What OP doest recognize is that top level colleges are able to get away with this lack of handholding because they can expect students to be smart/determined enough to either pattern match their way through or just learn it own their own. It's accepted in intro courses because this is what more advanced CS courses/jobs are like.
> Mostly because they tend to pick on people who can only file pro se, not because of any inherent merit.

This is demonstrably false. Kiwi Farms has thousands of threads on people ranging from Elon Musk to random Internet streamers. At least one of the most popular threads seems to be about a lawyer (Nick Rekeita).
Except that the Toyota Yaris has been cancelled entirely in the US market, along with the Prius C, the Honda Fit, the Nissan Versa hatch, the Ford Fiesta (and all Ford cars except the Mustang), the Fiat 500, the Smart Car, the Mitsubishi Mirage, and every small hatchback except the (overpriced and controversially styled) Mini and a couple of electric models.
Regarding hardware for grandma, you misspelled iPad.
This is a prehistoric take on memory. RAM is cheap!
I'm curious what the function of publishing a targets home address, personal phone number, place of employment, and so on is supposed to be if they don't condone harassment. One might suspect that the rule against harrassment is just paper-thin ass-covering. Officially they'll also tell you they just collate and archive freely available information, while for example publishing and micro-analyzing the hacked bank statements of a streamer they don't like, with enthusiastic support from the moderators.
High-Speed AI Drone Overtakes World-Champion Drone Racers
> Would this be something that might make electric aircrafts practical?

Electric will never replace jet fuel. It simply can't compete for long haul heavy airliner flights. But we only need ~1000wh/kg (cheaply, mass produceably) for general aviation to go electric. A 50% increase from current average LiPo specific energies gets us about half way there.
Regen efficiency is nowhere near 100% though. You still lose a lot due to friction/conversion losses/etc.
Not really, it just has such a long cycle life that staying at 100% means a lot less.

The reason manufactures like you to charge to 100% semi-frequently is because LFPs have a fairly flat voltage curve. There's not a lot of difference in voltage between 20% and 80% which means predicting how full the battery is can be tricky for the charge controller. (nothing worse than seeing your car go from 40% to 17% in a heart beat because the controller was off).

Charging the car to 100% is the best way to calibrate the charge controller.
Haven't seen the ISA, but it's not insane to imagine one where explicit data cache manipulation instructions are a requirement (that a memory access outside a cache would fault). I think it's even helpful to make those operations explicit when you are writing high-performance code. On a processor like this, any operation to load a cache that's not already loaded should trigger a switch to the next runnable thread (which also become entities exposed to the ISA).

Also, I'm not even sure it'd be too painful to program (in assembly, at least). It'd be perhaps inconvenient to derive those ops from C code, but Rust, with its explicit ownership, may have a better hand here.
Looking for informed comments on FoundationDB datascript API. Is this identical to “distributed Datomic”? Does this maintain “time travel” capability?
> which only works half the time anyway

In case it can be as useful for you, or anyone else, as it has been for me: https://www.fightspam.gc.ca/eic/site/030.nsf/frm-eng/MMCN-9E...
Is there no PHEV in the minivan space? I drive a PHEV Prius with a 40k electric-only range and it's great for guilt-free short trips without being a 2-tonne brick of batteries.
> I could say the same thing about the thousands of malware and phish websites that are taken down every day.

Malware and phishing are illegal.
Idk, I’ve seen the former happen pretty frequently. They basically just socially engineer getting ur login credentials from u. I’m not even sure how the conversation would start but I would guess it’s one of the end goals of “Special offer for u! Check your DM!” incessant comments
Card number theft and physical card skimming are two types of fraud that should have been technologically obsolete at least a decade ago. The fact that these things still happen is entirely due to decisions made by the payment card industry.
> You can run the majority of apps using wine/proton

I've heard that, but I'm skeptical. I'm assuming "most apps" don't include MS Office. How much wrestling is involved? Can you just run a Windows installer and have it work? Do updates break things?
> It's held for ages that free speech works as it allows for the 'disinfectant of sunlight' i.e. that ideas stand and fall on their merits with all relevant parties allowed to discuss freely.

Also not proven ?
Parisians Pledging Allegiance to Republic of Super Neighbors. Must Bring Cheese
Sadly it pays off. The biggest ones are the worst. Windows has been rewriting boot loaders and bullying smaller companies with SmartScreen Application Reputation. Android has forced everyone through FCM (or suffer degraded experience). Apple adds software glitches if you replace iPhone parts.

Where are the regulators? Asleep, underfunded, or being paid off to close their eyes. And then, these companies get to write the laws through lobbying because of their scale.
Awesome - good to know. Thanks!

I'll read this later: https://www.cockroachlabs.com/blog/multi-cloud-deployment/
> You can imagine that the universe that simulates us works differently

Moreover, you have to make that assumption, or the equivalent assumption that computers can become so advanced that we are the equivalent to their middle ages.

My objection to the simulation hypothesis is that, if one must make those assumptions to make it work, why precisely and only those assumptions that make our Universe a "simulation": that we are here because of the intentions of creatures, that "simulation" applies to whatever it is they're doing, that the creatures are human enough to find simulating us useful.
Microsoft is unwilling to evolve ethically as a company on this point. They don't understand that we remember who they are, and you don't have to use the wayback machine to remind yourself: https://www.theringer.com/tech/2018/5/18/17362452/microsoft-...
I am describing a socialistic policy, which I think private but mandatory for-profit insurance makes a great case for. We already have government controls in place, if we lived in a "capitalist society", there would be no such thing as a health insurance mandate. We live in a hybrid world designed for regulatory capture and corruption, with our required payments flowing straight to executives and shareholders instead of actually providing a public good.
https://archive.ph/miBM3
How well does the file system perform when it writes through the hypervisor on those VMs?

I’ve tried running Docker for development environments on macOS but gave up because writing and reading files from macOS host was 2 orders of magnitude slower than native performance.
Yeah, if it was a pure EV I suspect that's the route they would have gone. As a plug-in hybrid, it matters a lot less (since you only have ~30 miles of battery range anyway).
BYD is selling a bunch of Sodium Ion batteries in China. They are near half the price per KWh but they are bigger and heavier than lithium Ion and LFP. At that price however the cars get cheaper for the same range but the maximum range comes down a bit. Sodium Ion is going to dominate in home storage batteries in a year or two I suspect and mid and low range EVs.
Good catch. Above that paragraph, I wrote that the Code Llama models were initialized with the Llama 2 weights, which makes this contradictory, indeed.

What I meant to say here was 500B domain-specific tokens. Maybe domain-specific is not the right word here, but tokens related to the problems that the LLM aims to solve.

EDIT: Updated the text to be more clear.
12 Angry Men
The Mercedes E450 wagon has the rear-facing 3rd row as standard equipment in the USA.

Because of course you wanted a wagon with a starting price of $75k without any options.
I don't think it needs to be system pre-emptable. If we reserve 1 core for the OS then the user can always interact with the system. The OS can tell them "App X has pegged the 15 userland cores. Do you wish to kill it?".

In practice, I'm not sure how relevant pre-empting is any more. Software is much better behaved than it used to and I rarely see these runaway processes anymore. And when they do it's usually pegging a single core at 100% while other processes share the remaining core.
Looks like they are hand drawn
Sure. Also it’s quite interesting that you like the social network with the least social mechanics the most.
I've been thinking about this a lot recently. 20ish years ago I was jealous of the kids being born, because I thought of all the cool science and technology they'd live to see that I wouldn't. Now I feel very much the opposite.
Many of those words have different meanings to the in group.
"You're missing the point. These are all games you likely play because your peer group does."

No, I'm not missing the point. I'm not really big on activism or proving points or things like that - but this is something which is something you don't do if you have principles.

These games make people addicted because your friends play them. Learning to say "no" to these exploitative practices is a very useful thing. Make your friends play better games, or simply refuse to play their games.

(Full disclosure: I use windows myself, I'm not disagreeing with you on that regard about proton)
Where there is no opportunity, there will be crime
Largely, I don't disagree with you. Apple's stance is entirely business-oriented. My original point isn't taking a stand here either; this is just why native apps suck and why people disregard them to make Electron apps. We both seem to agree that business is the core concern.

Apple is at least complicit in the status-quo as a vendor of native app SDKs, and it's something they could probably fix with the right initiative. At the business layer, they have no motivation to fix this issue. On an individual level, it's a black hole of annoyance, confusion and hand-wavey abstraction as to why certain things are off-limits or why certain apps aren't on iPhone. Treating your userbase as a hostage situation is an obvious ploy, and one I can't encourage even to fix another problem. If we rely on the altruism of businesses to fix our market problems, then we are subject to their whims when they want to change things for themselves.

If we can both agree that Apple can and does make decisions that harm their users, then we're basically on the same page. I want to scrutinize that harm, and hopefully spread enough awareness to codify a change. You're free to feel however you want on the topic, but I would object to this behavior from any company.

> They set the rules, you all agreed to play by them

The internet did not agree to "Apple's rules". That's like saying Sony made their "rules" with the Playstation 3 browser, and now everyone has to play by that. They released a client, and their customers agreed to their Terms of Service. The internet will do whatever it wants, including whittle itself down to the lowest common denominator of 'document rendering' to hit Apple's platforms. If that's an undesired outcome for them or their users, maybe they should change their approach.
McDonald's is hardly hurting for customers...
> Microsoft confuses me. They’ve been building up all this goodwill with frankly outstanding software and services. Then… they go and ruin it all with windows.

It’s not confusing at all; Microsoft builds up reputation in order to have some reputation to get away with doing the crappy things they really want to do. EEE.
> It is all about dependency trees. The US decides to divert imports from China to other countries, which in turn may import from China.

This is already happening with more than ~80% of products that are "Made in Vietnam" and at least ~40% of products that are "Made in Korea." Not only do the raw materials come from China, but most of the work is done in China. The product is shipped overland from a Chinese factory to Vietnam or Korea, then some screws are tightened, some paint is slapped on, or a label is applied, and the product is re-exported.

Among other things, this is effective for tariff evasion.

And it's usually at least somewhat legitimate. It doesn't take much to make a product that's assembled in China "Made in Vietnam," even in a legal sense. Consider: https://casetext.com/case/ferrostaal-metals-corp-v-us

Basically, there was a tariff on Japanese steel. US-based plaintiffs -- steel distributors -- sent that steel to New Zealand, had it galvanized, and re-exported it to the USA as a "Made in New Zealand" product. A Judge holds that the galvanization process (which is laughably cheap) is enough to render the steel "Made in New Zealand."

When all's said and done, Chinese factories haven't slowed down and Chinese GDP is still rising (by more than American GDP) which tells you that the "decoupling" has to be in some respect illusory.
> even in those systems, I am not sure we should have beachfront properties or similar as factors

If beachfront properties have substantial risks that inland properties don't (such as flooding from storm surge*), then not using is_beachfront? as a factor will end up being a subsidy to the owners of beachfront properties.

* - https://www.nhc.noaa.gov/surge/
I've had the same email from Slack. My phone is 5½ years old.

It works fine, so I don't want to replace it, but even more than that it's small — 148x73mm. There are no other decent Android phones of a similar size! (I have signed up at https://smallandroidphone.com/).

But back to the point, in Denmark the national identity system relies on either a smartphone app or a key fob for authentication — it's needed for online banking login, online credit/debit card purchases, viewing my medical records, etc. The app supposedly might work, or might be made to work on a custom OS, but from reading around Reddit it looks like a continual hassle to keep it working. I also don't much fancy adding a large fob to my keychain, especially as unlike in the app the number on the fob isn't protected by a fingerprint or PIN.

(I'm on call sometimes, and we use Slack to coordinate, so I may end up with no choice. Whether work pay for the new phone or myself is irrelevant, it's the environmental footprint and size I care about.)