skysight-inc/HackerNews huggingface dataset:
I'll have to work through this when I get the time.

I started teaching myself Haskell for fun about a year and a half ago, and ended up going down a rabbit hole of formal logic, set theory, mathematical foundations etc. which I did not expect at all; I'm currently spending some time looking at algebraic topology to give me a grounding to go into homotopy type theory.

For anyone else with an interests in this area, I'd strong urge you to look at some of the work from Kevin Buzzard (Imperial College), perhaps better known as an algebraic number theorist, who leads the Xena [1] Project, which started as an attempt to completely formalise all the problem sheets for one of the undergraduate maths modules at Imperial in Lean. There's also a GitHub repo [2] with a lot of work to build on.

Adam Chlipala (MIT) also teaches a course in formal program verification in Coq based on his book [3] which is a valuable resource.

1: https://xenaproject.wordpress.com/

2: https://github.com/kbuzzard/xena

3: http://adam.chlipala.net/frap/
Thousands of ships use 'cheat devices' to divert poisonous pollution into sea
I think doors that can't be opened from the inside are serious possibly criminal safety violation everywhere in the United States.
I think it depends how you translate the locking analog. E.g. decrypting your key with {gpg,ssh}-agent keeps the plaintext key in memory in the agent. If the machine reboots or a timeout elapses, the memory is cleared and the key has to be unlocked again.
That reminds me of 'Midnight at the Well of Souls' by Jack L. Chalker:

http://www.geocities.ws/evilsnack/well.html
If you have a family it’s not possible. Home prices average close to $1m. You’d have to save an entire years salary PRE tax to afford the down payment. That will take years and years to save.

If you’re raising a family you’ll likely need two $200k incomes to afford a house, and even then, it’ll take at least 2 years to save for the down payment.

The Bay Area is for college kids and millionaires. That’s it.
In many situations yes, and C/C++ compilers miss a lot of opportunities for constant folding/propagation. But still, an infinitely smart compiler can’t prove anything about a value that comes from a file, user input or socket at runtime. If control flow depends on those (which is true of every useful real-life program) then you’re out of luck. GMP arbitrary-size integers are amazingly fast but still much slower than native instructions, can’t be vectorized, require heap allocation, etc.
It's not very explicit but it's there (around mid-point of the article):

"The Hansa Jet wings are also swept forward by just a few degrees, compared to 33 degrees in the X-29. Such a radical adjustment meant trading stability for maneuverability, because to maneuver quicker, a plane must be inherently unstable to start with."

...

"At the time, this maneuverability was believed to be absolutely essential to fighter superiority. If your airplane is going to stall before mine, I can shoot you out of the sky in a heartbeat."
Nah, you can't. There is a continuous deleterious effect on your health, not just the increased risk of lung cancer. I used to smoke. The difference is huge when you don't. I've lived without the devices when I've been elsewhere for a while and I don't feel better in any way.
No, if you have names of people and evidence as to who said what, fine. You can’t expect the police to investigate every overheard conversation, the “murder” for all you know is probably in Grand Theft Auto.
Ask HN: As a developer, how do you manage ad campaigns?
Running ads on platforms like Google, Facebook, etc, seems like an efficient way to test product pitches. But the UIs for those platforms are clunky and far from efficient or scalable. What do you use to manage campaigns on these platforms?
Did you know about 10 most common surfaces people use for running?
I agree it is really hard to parse. I think you're almost right. I'm pretty sure it's like this:

1. You can only remove the key if it is locked.
2. You can't lock it unless the door is closed.

That ensures that when you have the key then the door must be locked and closed.

The think about pushing the key through they door is just because otherwise you have no way to start inside the room, unlock and open the door, and then lock it behind you. Remember while the door is unlocked you can't remove the key. So if you just go outside and shut the door the key is now inside... and the only solution is to pull (or push) the key through to the door to the outside. Then you can lock the door and remove the key.
But you lived in a very american bubble then. Other parts of germany are not quite english adopted.

Berlin is mixed. The younger generation does speak english, but you can not expect the bus driver to understand you.
I respect that. Personal discipline. I think you can make your life better with these things, but if you've tried them and determined they're not for you, then not having them seems sensible.
Thank you very much!

I am in embedded, but doing more and more Linux C++ programming for my personal projects. I hope, I can transfer from embedded to “normal” software engineering in foreseeable future.
Thank you. I will reach out.
IANAL, but if this animal is legally a person, he was kidnapped, since there was no consent in being taken to Florida, as the grandparent mentioned.

Or is this a person without the full breadth of human rights?
You test for false negative rate by testing known cancer patients. A patient with cancer, but a clean test, is a false negative.
> There was a no-smoking rule.

Which to be honest says not a lot about anything, because this isn't that unusual in Central Europe.

Also: a lot of the old wooden houses are far better in terms of fire resistance than you'd suspect on first glance, wood often outperforms concrete and steel when it comes to structural integrity in a fire.

I don't know about the straw thing, I only know it mixed with clay.
I've never seen that outside the US. Keyholes both sides of the door, everywhere. When it's closed, you need a key or you don't get out.
I would love to know what the "Day-in-the-life" of a welder working on those ships would be. Did they train specifically for aerospace welding? How did they land that specific gig. Must be so inspiring to wake up and work on that.
Librem 5 – first run walk through
This is the specific picture:

https://upload.wikimedia.org/wikipedia/commons/5/59/Street_i...

That actually looks quite safe. Pedestrians don't have to look out for cars, and vice-versa.
Alcohol? In student days, I was always fond of a greyhound: vodka and grapefruit juice. Placebo effect, or diminished liver capacity?
PostgreSQL, Golang, VueJS, old fashioned VMs
Mac App Store definitely requires Apple ID.
The prosecutor, Viktor Shokin, was not investigating Burisma, the firm that employed Hunter Biden [1]:

> Mr. Shokin was not aggressively pursuing investigations into Mr. Zlochevsky or Burisma. But the oligarch’s allies say Mr. Shokin was using the threat of prosecution to try to solicit bribes from Mr. Zlochevsky and his team, and that left the oligarch’s team leery of dealing with the prosecutor.

In addition, the US was not the only government seeking his removal:

> His dismissal had been sought not just by Mr. Biden, but also by others in the Obama administration, as well other Western governments and international lenders. Mr. Shokin had been repeatedly accused of turning a blind eye to corruption in his office and among the Ukrainian political elite, and criticized for failing to bring corruption cases.

[1] https://www.nytimes.com/2019/09/22/us/politics/biden-ukraine...
Just put your hand in the giant rushing river of money and see what sticks...
If you start testing asymptomatic people, healthy people, even a 1% false positive rate is tricky.
That's the difference between working for a company vs. starting a company, the lower risk of being an employee comes at a high price unfortunately.
I hope not. The climate externalities are huge. While city dwellers minimize water use, carbon use, and electricity use, rural dwellers maximize these. Perhaps we can ensure that people pay for their carbon.
Ex-Microsoft employee remembers the last sound he heard at Microsoft: Bing
I’m a senior engineer at one of the big tech companies. Sharing that because that’s all I have to back my opinion.

I don’t agree with you. I don’t think you need a four year degree for these concepts. I think many of the concepts you outline are very critical especially as you work on larger and more complex systems. However I’m not even convinced college does a good job at teaching these concepts. College introduce me to some of them but didn’t actually help me build any intuition at all. I regurgitated the things my professor said and that’s how I pass through my courses with straight A’s. I didn’t really understand distributed systems until I worked on them. I didn’t really understand them well until I read about distributed systems not from a textbook but by other people who had worked on them and this was mostly online papers or YouTube videos or conference videos where are companies presenting on their lessons learned.

I think the course of the classes you need for a computer science curriculum such as data structures, algorithms, operating systems, networks, languages and compilers, databases and distributed systems - These can all be self taught. I’m not convinced a four year degree that’s full of fluff with various elective courses adds any value.
I have slowly been transitioning to full remote work and I have been contracting for a while already (I am in Canada). I think I have a good opportunity in the coming months to transition to a remote engagement with a US company. Any insight with the best approach to do that? I am aware of the different freelancing websites but I'm wondering if there is strategies that can accelerate the process. In my particular case, I normally do six to one year contracts (with renewals and an engagement usually lasting for a couple of years) so would be looking for something similar. This would be for senior development role.
Chinese Room Thought Experiment
Show HN: MailLord – Pixel Perfect HTML Email Editor
OpenType also supports the TrueType glyph format [0], and it's the dominant glyph format in most OTF files I could find. Really, OpenType is just CFF / Type 2 Fonts and TrueType smushed together in a single file.

[0] https://docs.microsoft.com/en-us/typography/opentype/spec/gl...
What you call shallow, other people with abundant dating options might call utility maximization.
>> In the second case it ignored right of way

This is exactly the thing that people should !not expect! from it in the very beginning. It's an owner's responsibility to _monitor surroundings_ and make car move when it's safe to do so. Car will navigate, but it's not a full self driving obeying all the rules of city traffic.
My understanding is that all types of alcohol, except for red wine (in moderation), mildly increase cancer risk.
Christians Hid a Dinosaur Fossil 170 Years Ago Because It Contradicted the Bible
In this case, it likely applies to every aspect of modern day life. Man is no longer a generalist, and we are forced to build upon the foundations others have put, and hope they work.
That's a military date format, not used often in the US in other contexts.
Why learn Lean as written in the book when there is no way of knowing how much of it will be obsolete in Lean 4, which is being developed in private?
> What stops someone breaking glass or a panel and reaching through and unlocking to get in quickly if you can open without a key?

I suppose this can be avoided by not having any windows close enough to your doorknob that you could reach the lock from them. But people could just break a window and climb through into your house, anyway.
"But its highly experimental design made it the most aerodynamically unstable aircraft ever built."

I'm not sure if that's true. The F117 was aerodynamically unstable in all three axes due to its design prioritizing stealth over all else, needed constant corrections by the fly-by-wire system, and it first flew in 1981.
Well, TIL. Never realized this was a US-specific thing.
> Its name comes from the fact that it has two key blades …

Until recently, this sentence used to be “Its particularity comes from the fact …”:

https://en.wikipedia.org/w/index.php?title=Berlin_key&diff=9...
My house in Berlin, the Corbusierhaus[1][2], used to have this type of key for the front (car) gate.

The gate was usually open, and then couldn't be locked with the key. If the gate was closed, it could only be left again in the closed state.

The house is next to the Olympic Stadium, so the gates are closed when there's a football game, concert or other event.

[1] http://www.corbusierhaus-berlin.de

[2] https://en.wikipedia.org/wiki/Unité_d'Habitation_of_Berlin
Dying from cancer doesn't have to happen anymore. Use hemp oil with at least a 95% THC concentration daily. Search for Rick Simpson oil online for details. You can make the oil at home if you are able to obtain the right hemp leafs. And stay away from chemo!!!
And what would that get us? A station permanently dependent on getting raw materials from earth. Nothing gained, really - except more pollution on the surface and a habitat really not suited to humans.

We can grow plants on Earth, why would we do it in orbit.
China is building high speed rail even where it doesn't "make sense", as part of a national policy to tie the country together. Here's a current map.[1] That's comparable to having high speed rail to every major city east of the Mississippi, plus a line out to the West Coast.

[1] https://www.travelchinaguide.com/images/map/train/high-speed...
You either have strong or no glass on or near your front door.

I have never seen an exit door in Canada, or the United States, that could not be opened from the inside. I'm reasonably confident that is super illegal in those countries.
I believe octopuses is preferred over octopi
Fire control rules are somewhat different between the US and Europe. In Germany, such a system would be fine. Depending on the door even encouraged.

A large part of German Fire Code is to prevent the spread of the fire and contain it in the rooms where it started for as long as feasible. The lowest rating a fire location can have is E30, meaning the fire takes 30 minutes to "break out" and spread further. The building owners likely also benefit from grandfathering (ie, special building fire code, which depends on federal state in germany).

It also depends on the fire load, ie, how much flammable material the house contains. A concrete or stone house that contains only flammable material as part of furniture isn't a huge fire load and you don't need heavy doors to prevent fire from spreading out of a single flat, a normal door will likely already prevent spread.
Chiming in on shaving.

The double-edge safety razor can either be something that's cost saving compared to Gillette or an expensive hobby. I personally know people that spent $750 in shaving equipment, only to go back to an electric Phillips within five years.
If you can set up stuff in Windows VM, you can enable RemoteApp and freerdp can just show a seamless window. Kind of like parallels.
> No, if you have names of people and evidence as to who said what, fine.

The whistleblower went so far as to name the alleged perpetrators. Surely that warrants additional investigation.
Dropping out of college wasn't quitting for you, it was simply a reality of life. I also was not able to get my degree at first -- it took me 22 years of working my ass off to finish my BSCS, and a few more years to finish my "starter career" in the military, get my MS, and get a job in software engineering like I always wanted.
Oh. I didn't realise you were arguing against encryption in its entirety.

Okay. Let's just get rid of E2E entirely and let Facebook mine not only our metadata but also the content of our messages. Nice plan.
A good weld on 301 steel isn't very different regardless the purpose.
Except speed of light means we'll have to come to terms with the fact we'll never be able to leave. And that's fine.
This is a very convenient library for getting started. It even has a mode that made it possible for me to parse numbers into a decimal class.

I would point out that its convenience in large part depends on extensive use of cast operators, which can lead to some tricky corner cases. It is also the only component in one of my projects that confuses xlclang++ on AIX.
> if the ARPAnet originators hadn't messed this up by dropping the Internet layer and renaming the Network Layer to the 'Inter'net layer.

Can you send elaborate? Genuinely curious.
As many people said already you can use longer passwords.
The F-150 is a 20+ MPG truck. The Tundra is 15 at best.
Do we need to invent anything? My understanding is that most of the grid in the US operates on 3 phase, and some buildings (including residential) already have a 3 phase supply to operate AC and industrial applications.

All we are missing is for it to be standard to wire the 3 phase distribution throughout buildings to every outlet (preferably in a backwards compatible manner; in theory converting 3-phase to single phase is just a matter of ignoring a wire. I would assume that a) the grid can handle people doing this and b) doing this with out current 3-phase standard would result in our current single phase standard,
Why not? The post is about weird artifacts in Berlin. This clock may be the key to solving a crypto puzzle.
Yeah I do have a laptop for work only, however the gaming desktop is always that much more powerful and some things are tempting to do there (not to mention better display). Windows now has embedded Linux, so I can see maybe a setup that uses the same files from Windows by launching some Linux environment when I need to work. I just hope that because of this Linux/Windows integration, some of the reverse can happen and Linux can get DirectX support for current version.
Not sure if anyone is really being cheated in this scenario. The International Maritime Organization permits ships to use this, while ports are increasingly banning them from operating near their waters.
http://www.bruno-latour.fr/sites/default/files/P-36-Berliner...
I think "how to think" can be taught at least a little bit. In mathematics you learn a very formalized method of finding (usually) the single correct answer. In the humanities, with textual analysis, you learn a different type. But it does take practice, and adequate instructors. And of course the average person will never come to it quite as well as someone with the natural aptitude. I occasionally teach a course in informal logic, which is a sort of cross section between rhetoric and logic as applied to both argument construction, deconstruction, & analysis. I definitely see students progress along the way, starting with clumsy stumbling and proceeding to address new novel problems with decent aptitude.
The boonies are taxed though. That is most of my complaint. If someone is destitute through circumstance they are punished for it.
That's one way to describe problematic design. In other words, the key doesn't fulfill its intended purpose considering (as the comment you replied to noted) one can do this either accidentally or not which can have little to do with being a fool.
Off-topic: Reminds me of "Half a mil in twenties like a billion where I'm from."

On-topic: that's misleading; once you pay fixed costs, you have a lot more latitude for discretionary income. Not everything is the same ratio more expensive in the Bay Area.
> AlphaGo can play very well on a 19x19 board but actually has to be retrained to play on a rectangular board.

This right here is the soft underbelly of the entire “machine learning as step towards AGI” hype machine, fueled in no small part by DeepMind and its flashy but misleading demos.

Once a human learns chess, you can give it a 10x10 board and she will perform at nearly the same skill level with zero retraining.

Give the same challenge to DeepMind’s “superhuman” game-playing machine and it will be an absolute patzer.

This is an obvious indicator that the state of the art in so-called “machine learning” doesn’t involve any actual learning in the way it is normally applied to intelligent systems like humans or animals.

I am continually amazed by the failure of otherwise exceedingly intelligent tech people to grasp this problem.
Only with Trump could someone find asking an ally to uphold rule of law to be sketchy. He asked to setup a call with the AG, this is somehow nefarious?
Of course it will be impacted. Libraries like these are "zero-cost" only because of very aggressive inlining (not generally available in debug builds), otherwise all its operations happen in subroutines. Operator overloading is the most obvious example: for regular integers, addition is basically a single instruction even in debug, but with a library like this, it has to make a subroutine call. A call which has who knows how many layers of abstraction that compiler optimizations hasn't shaken off.

In fact, the README says as much: it has only zero time/space overhead "assuming basic compiler optimizations like inlining".

And I did actually look at the code, but at a glance I couldn't get much sense of it. The main header imports like two dozen other headers, and the "detail" folder is filled to the brim with more headers. I tried cloning and using it, but I couldn't get it to compile (which is probably mostly my fault, but I really didn't want to spend too much time on it). I did run just the preprocessor though, and "#include <bounded/integer.hpp>" expanded to 48000 lines. 48000 extra lines to compile in order to use integers. For every file you use it in.

I don't want to be too harsh here, I'm sure it's an excellent library and it does what it says brilliantly, and if you need bounded integers I'm sure it's awesome. But language like "[integers in C++] are mostly unusable" rankles a bit, and the the implication in this file is that this is something you should regularly use instead of integer types.

I personally feel that libraries like this are taking C++ in the wrong direction ("ranges" is another obvious example) and making the language less and less usable in my profession.
Mobile Safari is giving me the color stacking in your second link.
The truth is in the middle for all nations on this earth. Adopting reality as a context is not nihilism.
Ah, nice, have many games on steam so will check this out.
>I did a PhD in space science, I now do machine learning in ecology and spent the summer working on machine learning for disaster management.

Do you think it is possible to that without any background in anything? I mean could someone apply black box frameworks without understanding them. How would they be caught?
The people who I knew who were most successful at internships and landing a job right out of college, (not a huge target school like Berkeley or MIT) didn’t waste much time with projects and stuff. Their MO was

1. get any internship doing software after freshman year, even if it’s at a noname place which hardly pays

2. every summer leverage that into an internship at a place with more name recognition and money

From my perspective the best way to stand out at a career fair was always to have prior internships at good places. The people who did those crappy internships after freshman year got the best internships later, then after they graduated usually either went to Google/Facebook/Airbnb or whatever the top startups were.

I don’t know what this guy is on about talking so much about confidence or whatever, I get the impression from the article the author is on some weird little power trip lording over these college students.

It’s my impression that the way big tech actually recruits at most colleges is to just collect a shitton of resumes, set a target number of interviews, and pick the top N resumes out of that (perhaps with certain demographic goals as well). None of this weird confidence, impress me with an elevator pitch bullshit