skysight-inc/HackerNews huggingface dataset:
Well, until relatively recently, they wouldn't be able to desugar what I really want into underlying bits. But now that we have verifiable ref structs with ref fields in them in C# 11, it's a straightforward transformation. Might be worth a proposal, actually...
I didn't encounter a paywall but you can read the article at https://archive.ph/5E3Ah if you're so inclined.
Is this the James Burnham who really wanted to use biological and chemical weapons in Vietnam? The James Burnham who thought Germany and Japan would win world war II? The James Burnham who was so blinded by his ideology that he couldn't see a way for the USSR to survive past WWII? Who was so paranoid he thought that China and the USSR never split up? The James Burnham whose ideas about the managerial revolution have been refuted and thrown away by modern scholars?

And how is this in any way related to Musk's absolutely insane antics at twitter? In no way at all. The article also suggests that Musk is good because twitter used to be owned by the Saudis, but forgets that Musks purchase was funded by the Saudis.
It somehow manages to say nothing and contain pretty garish misrepresentations at the same time.

The blogpost also uses a lot of 4chan/libertarian dog whistles: "normie", "marketplace of ideas", references to Ayn Rand for petes sake.

Honestly, what a load of drivel.
Question for those familiar: what do these driverless cabs do between rides? Do they just park at the closest free/low cost spot or do they keep driving around? Or are there dedicated spots rented out by Waymo where the cars dock?
There's a difference between a mathematical proof and accepted truths.

When you learn math at school, at first you're just told that these things are true, and so it becomes an accepted truth how addition works.

Only much later can you go and verify the proof from the axioms.

Similarly, if someone today relies on Fermat's last theorem to hold for some of their own work, they're unlikely to have verified the entirety of Wile's proof. Rather they lean upon the experts who have, and thus have accepted the truth that the proof holds.
That could be easily done by the editor in a statically typed language like Go, so there is no point bloating the language with it. Just turn on an overlay that displays the types of all names. I believe LSP adds this to many languages/editors already.
Double precision floats have a maximum value of 1.7976931348623158 E + 308
Thank you for posting this!

Link: http://readfrom.net/neal-stephenson/612819-jipi_and_the_para...
>This dude clearly has serious issues with race.

It's the US that has serious issues with race, not black people like Hayes.
Is it because maths is "incomplete" ala godel incompleteness theorem?
Ask HN: Which is your favourite instant noodle?
> How would anyone think releasing this was a good idea?

Why would it not be? A model built on any consistent large data set could be interesting I’d expect.

But just because the data set has some semantic property, that doesn’t mean that a model built from it will necessarily generate text that had the same property (in this case, “being scientifically correct”). The real question is why would anyone think that?
Is it really an unusual mental state for Musk?

Seems like normal behaviour for him, he's often in the news for being a dick, just as much as he is for his entrepreneurial ventures.
It'll definitely differ depending on who you ask in the tech industry.

'Legacy' code can exist, that itself isn't a problem, in a way everything is legacy. But, legacy code that hasn't been maintained/updated regularly, is tech debt. By updates I'd say, framework updates, fixing inefficiencies, necessary refactors, NFRs. The crud that accumulates over time to accommodate new features, which sit and languish in Jira tickets for years.

At some point it becomes more and more difficult to add features or fix bugs, and you eventually reach a tipping point where it becomes really obvious that the codebase is no longer sustainable for the future.

So there's tech debt of all kinds, part of your remit is distinguishing the true 'millstone around the neck' tech debt versus developers with 'shiny object syndrome'. As developers we don't do a great job understanding the difference.
Mines are Nissin Demae Ramen Chicken and Samyang Buldak Hot Chicken Flavour.
Since I never expressed such a point of view, perhaps you should look for some other well to poison.
Great idea. I wanted to use pmd to learn some subtle aspects of Java. Tool-assisted learning. It's either operate on existing code and learn the conventions and techniques, or write hundreds of programs in the language.

From a maintenance perspective, it's a superpower.
Musk isn't PMC, he's an owner of multiple companies. That puts him squarely in the capitalist class.
Although I did not build it as in "I've coded it myself", I've designed and supervised the implementation of all the digital systems of the COVID vaccination campaign in France (supply management, logistics, side effects monitoring, vaccination certificate generation, open data…).

It was hectic, I knew nothing about the health industry beforehand and the deadlines kept shortening, but we delivered products that worked, on time and had no major incidents.

10/10 would never ever do it again.
> Don't you gain some battery life (and thus range) by having a gearbox? Automatic or manual.

Yes, but that's traded for more weight (thus less range), as well as increased complexity and maintenance.

And at "normal" speeds, you gain very little efficiency, the second gear is for cruising on unlimited autobahn segments. At which point you're getting hosed by aerodynamics anyway.

If it was so valuable every EV manufacturer would use them, but that's not the case, if anything they're getting scaled back (e.g. the original Formula E had 5-speeds).
Perhaps then this article should have highlighted the importance of Musk taking Twitter private, and the current equity situation with the company. The graphic included shows him taking on 9% of shares, which seems substantial... but is far from a majority? So maybe this article should explain how Musk's current position is substantially different from Dorsey's second tenure, which ended in November 2021. Was Dorsey no longer entrepreneur, but a PMC? But this article quotes Musk bemoaning his departure? Did entrepreneurial capitalism really disappear from Twitter in the past twelve months without Dorsey? This essay is making a lot of assumptions without quantitative analysis.
GPT-2 no less.
AWS Thinkbox Open Sources Krakatoa My and XMesh My
The Most Popular Tube Journeys
Thank you!

There's a lot of Scheme-ish things available: setters, templates (aka macros but with changeable quoting: ` ' @), continuations.

I've added a few more tricks: computed variables (like SECONDS or RANDOM which dynamically get/set a value) and reader operators (which are the heart of infix "functions" and get to rewrite source code expressions, | being the obvious one for a shell).

All available to the user -- nobody wants to be writing stuff in C! :)
I haven’t checked. They are barely sold anymore. In 2020 ca 95% of cars sold were automatic (or electric). You can still get manual used and probably cheaper than used automatic because no one wants manual anymore (except some petrol heads and old people that don’t want to learn to drive automatic).
This is a strong theme in "The inner game of tennis". The author even jokingly mentions that when you are losing a friendly game you can turn it around by honestly complementing the good element in opponent's game ("your backhand is quite precise today!").
Kudos to the Bahamas for actually knowing what to do and acting decisively in the public interest...
Aka not infinity
I can still think of reasons to think of local people.

What if transmission lines increase the risk of forest fires in specific areas? What if windmills mix with residential neighborhoods?

Additionally, what if local people are prevented from putting up solar panels, or prevented from selling their power?
> you can't tell me that the idea of a manual electric doesn't appeal to the less rational parts of your subconscious.

I can absolutely tell you that. It sounds stupid and burdensome.

And in terms of effectiveness, it's basically homeopathy, or healing candles.
The use of the exclamation mark for imperative sentences is frequent in many European languages, not only in German.

I believe that there should be 2 different kinds of exclamation marks, because there are 2 very different vocal intonations, one for imperative sentences, like commands, and another for exclamations denoting surprise, pleasure, pain, enthusiasm etc., and these 2 kinds of intonations are also very different from the other 2 kinds of intonations, for questions and for enunciative sentences.

For example, one could have used a single exclamation mark for imperative intonation and a double exclamation mark for proper exclamations, or vice-versa.

Unfortunately, at this time it is not likely that anyone would ever be able to enforce any change in the use of the traditional punctuation, no matter how ambiguous it might be.
I’m unfortunately the sickest I’ve been in years, so this will have to wait. Maybe it’s part of why my comment sounded strange.

There is an idea here, and it’s a mistake to dismiss it out of hand. Adding weights non uniformly during training (not after) is the key to smaller models that outperform present day GPT3.

A sketch of the algorithm is to start with a 2x2 block of weights, sum the gradients across 10 training steps, then subdivide the quadrant with the highest delta.

Doing this recursively is prohibitive, which is where megatexture comes in.

Many advantages. At runtime you don’t need weight compression because you can simply switch to a lower miplevel if running on a phone. Different accelerators during training can focus on different areas of the network. Weight dropout is an automatic feature. Etc.

If you’ll excuse me, it’s back to hugging the porcelain bowl.
By the way things are developing, he just might call the Pinkertons to beat Twitter employees.
Typed nil isn't a problem, it indicates a crucial lack of understanding about interfaces, which should be resolved with education, not restricting good API design.
> and that nothing was true until a social consensus had been reached between mathematicians.

So how do calculators and computers work then?
NFT are the solution to this problem.
Misunderstanding Soviet Power in WW2 and Russian Power Today
Around 200 ;)
Yes. Bribing someone so you can rape them for an hour or so is very different to nurturing a relationship of trust over a period of months or years.
That is not correct; they have a maximum value of positive infinity. See what you get when you square 1.7e+307.
There's a nice pattern for modeling web apps using FRP/streams in the Meiosis pattern[1]. Basically you just need a stream lib and a render lib, but the pattern itself library agnostic.

[1]: https://meiosis.js.org/
Also, I have that tested (auto download) with YouTube-Dl, it works fine but haven't put it into the frontend, but may as well, it helps a lot on your own instance so you don't have to download it first and then upload it
He owns 9% of Twitter, according to the article. Is that sufficient, or does it still fall prey to the "split between ownership and control" that managerial capitalism has, as this article puts it? How much less ownership did Parag Agrawal have? How much did Jack Dorsey have- he didn't leave until a year ago! If the fault of Twitter is a PMC-driven culture, why wasn't having Dorsey, a founder-capitalist himself and also the owner of multiple companies, enough to staunch it?
I think SendGrid uses MailChannels to send newsletter emails and probably most other email marketing tools too
Debuggable Explanations
When I was in university I tested a lot of (say 100+) instant noodles. I'm sure the MARUTAI Hakata Nagahama Tonkotsu is the best. Until now I still always keep a few packs at home as a warmth when I work late into the night.
Lots of kids suffer worse deprivations than having one parent in jail. Life is tough, but these kids probably have a better than average shot at a good life.
> I want a system that allocates tickets to the people who want to go the most.

I can't think of a better way to measure desire than willingness to spend a long time waiting in line. So perhaps sell the more expensive lottery tickets online (with some proof of unique identity), and cheaper lottery tickets at the venue itself (still tied to identity) on a single day a few months in advance.
They have in this case https://twitter.com/stealthygeek/status/1485731108822077443 I don't have the case docket link easily available, but it was referenced somewhere around that thread.
Nongshim Kimchi — it's spicy but not overwhelmingly so, just the right level, and it's a hearty, brothy kind. Excellent in cold weather.

Also been following some of the noodles on these lists for more ideas:

https://noodles.mendhak.com/

https://www.theramenrater.com/
I have friends that have faced longer prison sentences for a couple bags of weed in their backpacks. she, her lawyers, and her “previous trauma” get no sympathy from me.
In Norway you are not allowed to sell the tickets to a higher price, than the listing price.

You can actually go through with the buying from a third party, and demand a refund for the additional price afterward (and keep the ticket)
Indeed.

I was expecting perhaps a new and savage Bo Burnham musical takedown of Space Karen . . . instead it was fantastical Rand-esque fanfic salivating over some notion of überMuschk.
So you used bitcoin for speculation.

You're making my point. It's not functioning as a currency anymore, it's an investment vehicle.

It'd be like if Forex was the main way that dollars got moved.
This is a random social media site that businesses choose to use rather than have their own customer service, PR, or media teams handle.

This is not a public infra funded by the government.

Also how is Twitter worse than the greedy life-destroying PharmaCo in any context?
1+1=2 is a social construct.

It’s simple, repeatable and therefore programable - but still a social construct.
A truly marvelous proposition, which these comments are too narrow to contain.
I wrote what was most likely the very first real time internet auction with browser front end some time I think in 94. For backend I just wrote a little native webserver that along with handling http also implemented all business rules. It was business to business and replaced dial-in phone based system working on mainframe.

Not sure about impact, most likely miniscule and I have designed and implemented much bigger software systems later on but for some unknown reason I feel particularly warm about that auction thingy.
In practice this never happens unless you're violating other critical best practices like explicitly ignoring errors from constructors and trying to use the (nil) returned value anyway.
> I run into kernel panics a lot

Where ? The most I saw was when trying to boot something untypical.

> Is that what we're working with here, vs some other part of the kernel which might survive part of it dying?

I'd imagine it's same path for panic. There is probably still ways to crash (especially with hardware faults) to get around it so it isn't replacement for watchdog but it looks like an improvement

> docs here suggest the system can get in a state which ignores the watchdog, https://mjmwired.net/kernel/Documentation/nmi_watchdog.txt

I'd like to say you need "proper" external watchdog like IPMI based one on server but

* They still need to get thru the boot for kernel to activate them in the first place. I think I saw some servers that had some extra protection to crash on boot but definitely not anything common

* I've seen weird bugs around those too. Like older IBM servers could trigger watchdog when you synchronized IPMI time

You really kinda need 2 watchdog loops, long one (say 5-10 minutes) that runs from start catering to "something crashed during boot", and short one (few seconds to maybe a minute) that gets activated once kernel and OS is up and running
That sounds like a dog.

Dogs are pack animals, just as humans are, and part of the reason we like them, is because they have and bond via traits we... wait for it... like!

And while dogs have a very specific place in our society, that does not mean human friendships, built upon the same ideals and core fundamentals, are the same.

But you knew that, I presume?
Many steps ?

recovery,
reset on csr then
reboot delete old boot camp very small link (<100mb) and do a new boot camp vm and
go back to recovery and enable csr
Reboot

But is to true for other vm?
They meant maximum finite value.

0 11111111111 0000000000000000000000000000000000000000000000000000 (base 2) ≙ 7FF0 0000 0000 0000 (base 16) ≙ +∞ (positive infinity)

1 11111111111 0000000000000000000000000000000000000000000000000000 (base 2) ≙ FFF0 0000 0000 0000 (base 16) ≙ −∞ (negative infinity)
If you want facts, linkedin.com still gets redirect to linkedin.cn(aka lingying.com) as of today

here's the output of curl -sv https://linkedin.com > /dev/null

* Trying 2620:1ec:21::14...

* TCP_NODELAY set

* Connected to linkedin.com (2620:1ec:21::14) port 443 (#0)

< HTTP/1.1 302 Found

< Date: Sat, 19 Nov 2022 09:51:33 GMT

< Content-Type: text/html; charset=utf-8

< Content-Language: en

< X-Li-Fabric: prod-lor1

< Location: https://www.linkedin.cn/incareer/hp/

The bottom of the page says:

ICP Filing Number: 14023203

ICP License Number: 150024

PSB Filing Number: 11030102010420

Human Resources Service License: 110401715069

Beijing LingYin Information Technology Co. Ltd

Room 817, Floor 8, Building 18, No.1 Disheng North Street, Yizhuang District

Customer Service Email: cs@lingying.com

Customer Service Hotline: 4000106277

Report Email: jubao@lingying.com

Microsoft forgot to shutdown "local version".

So technically it's still 100% working well with all bells and whistles in China.

So what's your argument this time?
Tracking smartphones is helping TfL update it’s Journey Planner (2019)
New Python library can execute MySQL in just one line of code
QuickSQLConnector is a python library to execute mysql queries with just one line of code.

Saving 80% of code lines* as compared to other libraries.

It's an open source project that you can contribute to.
Alcohol, or some other sort of addictive vice, seems key to adult friendships. Alcoholics have lots of friends, as do gamblers, obsessive exercisers, inveterate golfers, sex addicts, drug addicts, sports fanatics, gamers, etc.

American society doesn't have social norms like many other countries which compel people to include others out of habit. I lived in Spain for a few years - turning down invitations was a legit hassle. And you've probably heard Brit comedians constantly complain about having to make excuses to avoid social gatherings. Americans don't have that problem - we assume you have your own things going on and don't want to bug you, and no one wants to presume to invite ourselves. And who knows what sort of nutjob your neighbor might turn out to be - you're stuck with them for as long as you live where you are, best to just avoid eye contact. The only times in my life I've gotten invited out of the blue to some event was to religious things. "The barbecue will be great - we all head over after the service..."

So we need an excuse. Some irresistible reason to force ourselves upon each other. Alcoholics don't want to drink alone. Athletes need teams or opponents, druggies need their dealers, etc. It can't be a hobby. You have to need to do whatever it is you're doing, to get past the barriers of American distrust and to have a ready rationalization for spending time with people who aren't your family.
Units can be multiplied though. If N were a prefix you couldn’t distinguish Newtonmetres from N many metres

I think older prefixes are just grandfathered in
Lmao. What about Trump then? Elon doesn't represent anything now that I think of it. How many people from Elon's companies does anyone know of? He has successfully squandered all credit. Guy's the best tool in the world for taking everyone on a ride
Isn't that more of a virtue of the industries he is in rather than specifics of the companies he has built?

SpaceX gets government contracts, yes, but no more than Boeing or Lockheed Martin. You can also argue they give a lot more value for the public money they do get, relative to the industry incumbents.

Similarly, any other car company that had bothered to make a viable electric car could have cashed in on the regulatory credits. In fact Toyota, the biggest car company in the world, was doing this for a decade with the Prius, until they dropped the ball on going full electric.
I assume it's to get their bribe money before anyone else had a chance.
Investors are dumb. See the list of people who have ftx truckloads of money. Sometimes what’s needed is a couple good sentences with create the appropriate spark in their imagination. If you can sell truth as a service, you have potentially a total addressable market of half the planet’s population.
My wife's family has a real knack for working out what each other need, basically asking each other how they're going and really keeping a finger on the pulse when listening to the responses.

It's an art form for sure, but working out who needs assistance and in what form makes it really easy to provide it.
I don't know why you're being downvoted, but that is a perfectly valid statement.

Everyone thinks proofs are this holy grail and totally rigorous, and they are on a certain level. But the idea is floating around that Mathematicians are infallible when in fact lots of proofs in highly complex areas of mathematics are NOT 100% perfectly rigorous. They contain a lot of skipping, because "it's trivial" and consensus.

This approach may work very often, but there is a danger that sometimes it doesn't work and things get overlooked. Since mathematics is done in a bottom-up approach, at some point some fundament may or may not turn out to be wrong, which endangers parts built on top of it.

The whole movement of rigorous automated proof systems is to prove mathematics from the very bottom to the very top in a 100% rigorous and verifiable way.

Doing actual rigorous proofs a computer can verify is enormously tedious and many Mathematicians dislike it for that reason, because the inherently subjective "elegance" and "beauty" gets lost in translation.
If it's a small amount, it doesn't really matter even if it goes to 0. But it matters a lot if it triples or more.
During my junior year of college i developed a chrome extension called 'stackinspector' which displays the best matching answer from stack overflow in the right hand side of google search results (best match based on your search). To this day it still speeds up the development iterations of me and my friends/coworkers - but more importantly i know of at least one of the teachers at my college which now uses this project as an example to inspire other students.
A bit offtopic but an interesting book:

Confessions Of A Medical Heretic - Robert S. Mendelsohn M.D.

https://archive.org/details/confessions-of-a-medical-heretic...
They acted decisively but -highly- suspect it is for public interest but a very small group of private interests.
This was quite a big news ~10 years ago... I think there are some patents involved, which makes the use of this technique difficult.
FTX is an example of entrepreneurial capitalism!
The managerial class often gets generous stock options. A lot of them prefer to convert them into cash as soon as they can, rather than to align with company interests and gamble for their own success.
Perhaps it has more to do with the one guy who calls the shots more than not owning any of the company.
Looks like Microsoft ADO you have a connection and SQL query result set.
not all of us live in the US