skysight-inc/HackerNews huggingface dataset:
> The fact that you dismiss "anything" that's a flavour of Communism isn't encouraging

Communism's historic death toll is far from encouraging either.

> as is the disdain for "It would work if we did it my way!"

That "my way" invariably boils down to "oh, people just wouldn't be corrupt if I'm in charge." That's the recurring utopian vision. Then when it doesn't exactly go to plan, you get forced labour, internment, and executions.

> The whole concept of "working if we do it my way" is the history of all mathematics

Completely irrelevant.
I'm actually finding part 2 more interesting
I don't know why you would use a TN visa for an internal transfer (you should use an L visa).

Canadian citizenship takes 4 years from landing. Although they are speeding up the citizenship process so you might be able to do it in 3.5 years. I became Canadian this year and I've been here for 4 years.

> "tech companies in Canada pay peanuts"

Anecdotally better wages than anywhere in the EU I've found.
+1. Subpixel AA seemed quite necessary back in the day with Windows XP and tiny, precisely hinted Tahoma/Verdana/etc.

These days, with bigger better bolder fonts, better renderers, and the departure from pixel-perfect stuff in favor of higher resolutions, subpixel is absolutely unnecessary.

Even on LoDPI screens I turn it off (assign none to lcdfilter in fontconfig) because the color fringes are so ugly. I always notice them.
Should you waste time building an exit strategy for your startup?
Event-driven systems are great. They’re not for everything, and oftentimes when you’re first introduced to, and start thinking in events, you might notice a tendency to start seeing all problems as a nail with a big hammer in your hand. That being said, it’s a fantastic approach to exercise and keep in your toolbox for the situations where it can help.
Is this really called an "inverted wing", I've always heard such configurations referred to as "forward swept wings".

For reference, see the Russian Su-47.

https://en.m.wikipedia.org/wiki/Sukhoi_Su-47

https://en.m.wikipedia.org/wiki/Forward-swept_wing
It is. Three orders of magnitude leaves everybody else in the dust.

I wonder if this applies to pricing as well. If we get to single-digit dolar prices pe kg to orbit, a tourist ticket would be easily a couple thousand dollars - equivalent to a business class plane ticket.

One more order of magnitude and you can start shipping ready-to-be assembled habitats and fuel factories to Mars. And Boston Dynamics robots to assemble them.

At these prices you can start sending empty nuclear reactors for power, and lift heavily shielded nuclear fuels as well. Not puny RTG generators for a couple hundred watts but 1000MW generators that will sustain cities.

So many possibilities!
Caffeine is on the list.

So a breakfast of coffee and grapefruit is a medically proven stimulating start to the day?
Body odor or halitosis are a no go. I don’t care how smart you are - I don’t want to enable future Stallmans. Though if you think you’re a future Stallman, not showering is the least of your problems.)

Is there some new trend of shitting on RMS this week?

I realize he might not be perfect but I don't being disrespectful to the man who started GNU as the right thing to do.
I have lived and worked in Berlin. I am from the UK.

I speak, read and write semi-fluent German. This didn't really help me in my work life, as everyone wanted to speak English, however obviously helped in everyday life. My doctor, for example, oddly, spoke no English at all. Nevertheless I am sure I could have transferred to another doctor.

I found it was very useful to read contracts in German. If you don't do certain things, then things can get quite expensive. For example, if you don't have personal liability insurance and you lose your flat key, it can cost you 1,500 euros [1]. However I wouldn't let that discourage people. It just pays to ask for advice for colleagues on what you should be doing.

Public transport in Berlin is great, and you can get anywhere in the city within about 40 minutes. This is useful for socialising after work. There are a LOT of talks and conferences that happen in Berlin.

However as a lot of people are transitory, moving in and out of the city, I found it difficult making more longer-term relationships. I don't think Berlin is unique in that regards, rather I think it is a trait shared by other large cities. I think it can be reinforcing: people are reluctant to invest in deep relationships as people move so often, and people move when they haven't formed relationships.

At times Berlin felt a bit like living on an island, as it is far away from clusters of other major cities in Germany. Deutsche Bahn did open a new line between Berlin and Munich, however, so now you can go to Oktoberfest in 4 hours.

German industry is also more located in West Germany, rather than the East. However what I did see was the big companies opening up subsidiaries in Berlin. There is a positive feedback loop: there are developers in Berlin, so more companies open, which brings in more developers.

The climate was more extreme than England's mild maritime climate. Very much warmer and more humid summers and a longer, colder, winter. However you also get Gluehwein and winter markets.

I enjoyed the experience living there. If I were to do it again, I would pay to live in a furnished apartment for my whole stay, instead of going the local route of finding an apartment, then having to furnish it (this can also be a nightmare if it doesn't have a built-in kitchen, which a lot don't!). This can be significantly more expensive, however. Berlin is not that cheap any more.

As an immigrant, I bought a furnished apartment with a 3 month let from a specialist company (who obviously charge a premium). This allowed me to get my official German papers, such as a SCHUFA check (a piece of paper that says you don't have any debt) that allowed me to rent a "real" place. In the 3 months I could also get the bank account, town registration, etc. documents you also need.

However, as I mentioned, if I were to do it again, I would have probably just tried to pay a premium to get a furnished place, longer term. Jon Worth's Euroblog was one of the useful things I read regarding renting a flat in Berlin [2].

[1] https://www.finanzen.de/news/15102/schluessel-verloren-eine-...
[2] https://jonworth.eu/how-to-find-a-flat-in-berlin/
Pretty much no one wants to get rid of antialiasing in general.

I use only grayscale antialiasing, even on LoDPI screens. It looks great. Subpixel adds bad color fringes.
The trick is to move to Europe. Plenty of families in bakfiets, or older folks cycling.
Bernard Arnault accuses teen climate activist Greta Thunberg of 'catastrophism'
Also you need high population density, not low.
Yeah, pretty much. Space travel and space colonisation are basically civilisation/world ending disaster insurance, which is something that's likely going to be needed more and more as time goes on. Want the best chance of not seeing civilisation wrecked by a solar flare/meteor/nuclear war/other disaster? Have multiple other settlements on other planets/moons.

There's also that point where the sun will become a red giant or something and Earth will physically be unable to support life, but there's at least 600 million years before that one becomes an issue, and I'm sure something would have figured out space travel before then.

It's like running a large website and using multiple servers/cloud hosting/multiple datacentres. Or hosting your site, domain and email at different providers. Makes it far less likely the whole system will collapse at once.
Here is a secret: people are self-absorbed creatures that cannot pay attention to somebody else for more than a couple of minutes. There is a non-zero probability that you are the only one that cares deeply about this - and the reason you care deeply is that you want to be better at your job.

Nobody gets fired over the mistakes they make unless (1) they make the same mistake over and over again (2) they have an attitude when people try to help them and/or give them feedback.

If you're in an environment where mistakes immediately lead everyone to think on how this reflects on their performance (without factoring in what the mistake was, what happened, how can you learn from it) an interesting thing will happen: people will get better at covering their mistakes. New people will struggle to adapt and old people will burn out. Guess what happens in the long run? The whole operation will collapse. If you are in one of these toxic places GTFO - no amount of money is worth your mental/physical health.
Does alcohol intake increase pancreatic cancer risk?
The point is not to needlessly increase the risk for other people using the road for the sake of showing off your car’s cool party trick.

But to directly answer your question: in fact, most people on a motorcycle will try to look at the driver, when possible, to check if the driver is looking at them to gauge whether the driver sees them or not. In the case of a Tesla, it’s impossible to know if the car’s sensors know you’re approaching...

Also, I don’t know any human beings that share a similar driving pattern as the Tesla while it’s being summoned. It seems to start and stop unpredictably and does so in a very jerky nature (and most humans do not drive as slow as in the videos, and yes sometimes driving slowly is more dangerous than driving regular speeds, and most humans also won’t drive on the wrong side of a lane, which the Tesla often does in videos I’ve watched... it’s just very unpredictable
This was the thinking behind the "whipping boy". Ultimately, I don't think it worked out.

https://en.wikipedia.org/wiki/Whipping_boy
If you like this kind of thing I suggest watching Ben Eater on YouTube or his website.

Ben explains and builds basic computers from components. It's more to see how things work like registers and memory addresses. It's a nice mix of electronics and computer science.

https://www.youtube.com/channel/UCS0N5baNlQWJCUrhCEo8WlA

https://eater.net/
By the birthday paradox, that means 11% of healthy people will be misdiagnosed for one form of cancer on the 20 test panel.

That's going to require some in person discussion and review... maybe they can handle that with the NHS, but I think the US patient would end up spending an extra $1000+ due to required human contact, beyond any test cost.
You misread me as well. I'm not saying that CSV is a good format. It's not, because it is ill-specified.

All I'm saying is that flat database tuples are even easier to parse than JSON (which is nested, so requires a runtime stack). It was a total side note (in parentheses!).

My main argument is that JSON is a mess to validate.
To that point, I believe this technology was not released willy nilly. The poster seemed to be assuming it was. I agree that a good level of safety and reliability is important.
Logic is usually considered as a part of philosophy. There are people in philosophy departments studying formal logic. I think all formal sciences should be considered as part of philosophy because they provide tools and language for the deepest ideas.

https://en.wikipedia.org/wiki/Outline_of_formal_science
Dual booting isn't "difficult", but is frought with a lot of little issues that probably should be understood. Ex: UEFI Boot vs Legacy BIOS. Bootloaders, Grub vs Windows bootloader, etc. etc.

I prefer buying a 2nd flash drive and dual-booting across different drives entirely, so that Windows / Linux don't even share the same bootloader. Its not like $200 for another 1TB Flash drive is expensive, and apparently I need the space anyway.
It's a good choice. Sometimes your best choice for a general purpose int is

typedef Int int32_t;

for the entire compilation as a whole, and when things get screwy just bump Int up to int64_t and take the performance hit for the extra bit of safety
Or do it for free using GitHub pages + Jekyll.
This looks like a problem that can be solved using Notion/Coda, I'm wondering if it really makes sense to build specialized software for such collaboration problems anymore.
Soo... Unit testing / CI for math proofs? If it can be done in software, great.
But this is HN, so the comment stating “It's insane people are putting these death machines on public roads.” is voted above yours.
I wouldn't be surprised if the planet is beyond saving and even if the majority of people started consuming a vegetarian diet. The real culprit is the nonexistent checks & balances for using excessive resources in industries. Laws should be doing more than fining people and where the current fines aren't being a deterrent.

The same should be said for cities refusing to build homes for affordable living and where public transportation should make sense contrary to owning personal transportation. The newer generation isn't going to just adapt to a lesser quality lifestyle in the current climate of seeing their parents afford homes in their early 20s and with higher education being without debt. The young generation has a mentality that it isn't about them at all and they're not going to adapt. The older generation is making off like bandits and similarly will do nothing.
The primary visible difference is the way hinting works in both formats. TrueType-flavored fonts (.ttf) must be explicitly programmed; how good this looks depends on in which decade the font was hinted and how much money, time and skill went into it. Postscript-flavored fonts (.otf) can be outfitted with some hinting metadata and have an automatic hinting tool run on them, applying the hints is then completely up to the renderer. This has the disadvantage that the designer has less control over the end-result and the advantage that the renderer can interpret hints differently if some text display technology/stack changes.

I personally find Adobe's .otf renderer in FreeType the best compromise between aesthetically pleasing and legible and can only recommend using exclusively .otf fonts on FreeType platforms.
It looks it is running the same software as my vacuum robot.
I have a couple of questions -

- Would you say that you'd have got an AI researcher position without a Ph.D.?

- Also, why is NEURIPS or ICML papers is not a hiring guarantee? I thought they're highly sought after.
I've seen 5th grades in the US where the kids are walked between classrooms for different classes, specifically in order to "prepare them for middle school." In other cases, I've still observed some sort of break.

You can certainly construct a scenario where this bathroom policy makes zero sense, but you can also construct one where it's a bit more logical. I feel like we're missing a lot of context here, and absent information to the contrary, I'd rather assume the best than jump to outrage.
True, but then if this had been the law previously, how would that have affected previous admins?
what are your concerns?

linux runs fine on a mac. given the limited selection of hardware variations, it is less likely to run into surprises. as far as i could tell all peripherals on my mac are working. the boot manager refind also works well.

the only thing you need to do after installation is to configure the touchpad to support 3 mouse buttons. once that's done, linux on a mac is a great experience.
It takes quite some amount of stamina to keep on reading after "The built-in integer types in C++ (int, unsigned, long long, etc.) are mostly unusable"
Part of the valuable purpose I see in schools is to provide children the experience of living a life apart from their parents, in a setting that offers them carefully-monitored self direction. HN has had several high-scoring front page posts about mistreatments of Amazon’s warehouse workers and contract delivery drivers, in which many suggest they are unable to take bathroom breaks. This is considered to be abusive behavior by many people, and labor laws exist specifically to prevent such abuses as they’ve occurred in the past. Censuring a child for needing to go to the bathroom — literally docking them a Meowmeowbeenz point! — is beyond acceptable. Writing a note saying “your kid seems to go to the bathroom excessively” is completely appropriate, but not what we’re discussing here.

So I think that more oversight should be used in order to prevent teachers with bad and abusive efficiency strategies from, for example, downvoting children for needing to pee.
There is a big grey area between "not 100% correct" and "wrong and harmful". Like a faulty computer program that produces correct results in 99.999% of the cases a wrong mathematical statement can still yield useful results in practice. You just don't want to run into those pesky edge cases where it indeed is wrong.

Having a database of all mathematical proofs where all of them are checked for validity, however, is a very useful tool to actually find those edge cases where a proof is wrong and give future mathematicians a solid foundation.

Using AI as an extension of human capabilities is a given to me. Like with heavy machinery, we don't want to do the heavy lifting. We want to steer it properly to gain most benefit.
Isn't this always the case though? A PhD is a long term investment and the field that you go into is probably not the one that will be hot when you finish your PhD. So driving your decisions on $$$ seems foolish at best.
For an article released by a university press office, the grammatical errors are stunning.
Just because you need something, doesn't mean you need to use it. Decentralized communication is a fallback in the event that centralized communication fails, in the same way that cash is a fallback in the case that credit cards fail/are blocked. I don't carry cash, and I don't use decentralized communication methods, but I still think both are very important to have.
Probably. But we went from "Here's an operating system available for everyone, consumer and corporate alike!" to "This one's for consumer, this one's for corporate" and MS and their distributors would be fools not to capitalize on that.

In other words, as a business, you now have less choice in distributors, which will increase the investment cost for an operating system. And then there's the whole privacy issue on top of that, too.

It's just a mess, and the customers are intended to take the brunt of it. I want to say "No, thank you" and I'm currently figuring out if that's viable, i.e. Linux.
Sorry but if you show up on a public forum and start making deragotory statments about the university system as a whole, and then refuse to provide any supporting evidence to back up those claims, I'm going to question your motive.

You seem to have a serious axe to grind with college in general.
> this is why Europe is a better choice

Do you mean consulting in Europe. How hard/easy is it to find consulting gigs in Europe without knowing the language.
>Communism's historic death toll is far from encouraging either.

I do not dispute death tolls, but I do dispute the idea that you should argue using this point in favour of capitalism, which has similar consequences out of issues such as structural poverty and imperialism.

>"oh, people just wouldn't be corrupt if I'm in charge."

No serious academic Communist/Marxist/Socialist claims this. The fact you think that's what the claim is shows that you get more information about arguments for Communism from Internet memes and fora than you do from people who work with the topic.

>Completely irrelevant.

No it's not. Your point was that "it'll work my way" is fallacious logic. My retort was that this same logic is used in all normative social theory and indeed many other areas of human endeavour too.
Yes, the title ought to be changed. At least, "all" to "some".

But he does note:

> This overreliance on the elders leads to a brittleness in the understanding of truth. A proof of Fermat's Last Theorem, proposed in 1637 and once considered by the Guinness Book of World Records to be the world's "most difficult math problem," was published in the 1990s. Buzzard posits that no one actually completely understands it, or knows whether it's true.
I suppose there is a lesson in there that one should think hard before violating mores, but I agree jumping on a bandwagon to shit all over what's been an important legacy is pathetic.
Don't you know that now it's not enough to disagree with someone, but to try and destroy them at any possible chance?

Then again, RMS ate his own toe cheese on camera, so I guess it's hard not to use him as the archetypical computer genius with poor hygeine.
Application development does not need Software Engineering.
> The biggest impact of using Event Modeling is the flat cost curve of the average feature cost. This is due to the fact that the effort of building each workflow step is not impacted by the development of other workflows.

Was this written by a programmer? It seems someone is living on fantasy theory island.
"Subpixel" makes more sense than "LCD": the technique applies to any screen with illumination units smaller than a pixel (eg. LED screens) so "subpixel" makes perfect sense.
Currently the poll is 56%. It's barely a majority. My original commenting, say "many" don't use Windows, seems quite reasonable. Granted, this poll shouldn't be considered authoritative.
To my knowledge the hard part is writing the input for the software. While in text you have a bit of leeway to glance over some details, with the computer program you must, indeed, write every last relevant detail down and you must get it right. This is very heavy work.
Oh Come one. What problem does rocketry solve? Right off the bat, it's horrendously expensive and it's dangerous and it's always going to be dangerous. Plus comfort ... do you think it's comfortable for passengers to be subjected to multiple G forces on launch and re-entry?

Plus we will never be able to scale rocketry to the thousands of flights per day that are occuring today (with an unbelievable safety record).

>Passengers switch planes and arrive anywhere in the World in three hours or less.

You're never going to get that. EVER. International airports today tend to be situated far from urban centers because of noise concerns, safety, and cost. These issues are magnified with rockets. Launchpads would have to be placed even further out and pre-boarding checks would take forever.

For God's sake, the Concord wasn't allowed to go supersonic until it was over open ocean. You think tens or hundreds of rocket launches per day will EVER be allowed to be anywhere near any urban center?

This is such a naive view. Rockets will never be good for passenger travel.
Sounds like a sales pitch for Lean (Microsoft's theorem prover), even though Coq [1] is the standard tool for the UniMath [2] project.

[1] https://en.wikipedia.org/wiki/Coq

[2] https://github.com/UniMath/UniMath
Headline is waaaay overblown, but not all of it is total hyperbole -- checkout out arxiv and try to read the abstract from just about any paper.

It's basically totally impermeable. I'm almost done with an undergraduate degree in math and basically have no idea what ~90% of the research is about at anything other than a topical level. This is fine, it's written for specialists in the field (hopefully), but damn, for most fields, it's not a whole lot of people.

Compared to physics or chemistry, math gets very specialized, very quickly. Depending on the field, there's no easy real world isomorphisms either, making it even more difficult.
Subpixel antialiasing plus subpixel positioning :)

They are orthogonal concepts.
In the medical desert of rural America, one doctor for 11,000 square miles
But it's once-off work. Thereafter the computers can take over.
That's pretty dang centralized.

Then again, so is using a VPS, just at a different layer
There is a big different between not doing well in parking lots, and being dangerous in parking lots. From the videos I have seen, it doesn't do well in parking lots because it is too cautious - it is safe, but not very functional. Now of course we have to wait longer before determining if it is safe or not, but I would imagine that it is not hard for Tesla to avoid hitting people, and if it does hit someone it is only going at walking speed anyways.