skysight-inc/HackerNews huggingface dataset:
Not quite, no. The Mesozoic Era lasted from 251 to 66 million years ago. While 66 my is a long time, there may be human processes which "recycle" materials of previous civilizations in ways that make the previous ones harder to discern.
I just use the site in a browser, with no dedicated app.
I splash around in it
Thanks for the reply, especially given that I worded my question poorly.

In my barely educated opinion the health risks of the radiation level measured in the boar meat is so low as to be ignorable. It might help people (like me) to be able to compare the health risk to other forms of radiation that we already accept.
> Maybe we don't want them to be able to do any of that

"We" who? Application owners want that, browser vendors want that (their greatest fear is that mobile will eat the web, so they don't want to make the platform less flexible)... and users generally don't mind.

> impossible for servers to know my password, hence impossible passwords leaks

That would require deeper architectural changes to HTTP auth, but is probably a reasonable goal. That said, it's more readily approximated with unique passwords + having a good password manager. The main risk of password leaks is not that they make that particular breach worse (since the attackers can just grab your data), but that passwords are reused too often.

Federated login is another approximation, where the password is only known to your identity provider, not to every identity consumer. It's modestly successful for some lower-value services.
Ask HN: What's your biggest complaint about Apache Spark?
Could be anything from current state, to lack of features, to something else
because the world is big and beautiful and people are the same all over. yes there is war and conflict in africa, but maybe read more to find out where, why and when. you need to confirm and rebut your sources and come to your own conclusions.
I tried using this, but it just kept saying... "I did not understand, could you repeat."
* Strict rules and prohibitions reduced the number of deaths from radiation poisoning to a very low number.

* Yeah, the number of deaths from radiation poisoning is very low, so we can be reckless.
> we promise to find errors

What does this actually mean, because I assume you didn't disprove Rice's theorem?
This is my preferred use of basic auth: just set the message to “enter anything for username and password” and accept anything. Search crawlers won’t be able to index the site, which protects me from haters finding my content, and RSS feed urls can just hardcore some u/p without consequence. It’s all the upsides of the modern web without any of the harmful behaviors enabled by global search engines.
Dead Synchronicity (point-and-click adventure in a post-apocalyptic future)
I'm a PM looking for a SWE to collaborate with on building an early-stage MVP.

A couple ideas are very mission-driven, specifically reducing complexity in immigration and encouraging more charitable donations. Additionally, there's a (less mission-driven) very simple MVP in fintech that I know multiple unicorn co's would be interested in using and paying for.

I previously worked as a PM at a B2B startup used by many of the world's largest tech companies, and am currently Head of Product at a Series A startup. Email in profile!
I think that fuzz testing is best described in the context of two other types of tests that go beyond "traditional" unit/integration tests: property and mutation testing. The three complement each other so well in ways that are hard to describe without trying them yourself.

Quickcheck is a property tester, which essentially can be thought of as a "bytecode fuzzer that also happens to check for correct behavior". It uses an algorithm to generate arbitrary inputs that satisfy a set of constraints, and then ensures that the outputs demonstrate a property of the function being fulfilled. Think about mathematical properties of functions or the lack thereof: commutativity, associativity, and even properties of linear relations you might remember from Linear Algebra. Values that violate the expected properties are saved; you can build unit tests that check these values later or cache them for future runs.

Fuzzing is a form of black-box testing that repeatedly runs software differently and tries to crash it. Causes and behavior of crashes can later be inspected.

Mutation testing alters every statement in your code one at a time to change its behavior. Each alteration is a "mutant". If an alteration does not cause one of your tests to fail, the mutant has not been "killed". Your goal is to have a good kill ratio. This is a far better metric for test effectiveness and dead code elimination than statement/branch coverage.

Property testing is kind of like a bytecode fuzzer and mutation testing is very much like a fuzzer for your tests. But property testing is a white-box form of testing with good knowledge of your code; I'd consuder mutation testing to be "grey-box" testing of your test code. "True" fuzz testing is as black-box as you can get: just let an algorithm run your program for a long time (anywhere from hours to months) to find subtle bugs (crashes and other black-box failures) at scales humans struggle with.

In conclusion: Yo dawg, I heard you like tests. So I fuzzed the mutation tests on your property tests to see if arbitrary input on arbitrary code produced arbitrary output without arbitrary exits.
I use my default browser. It works fine for me :-)
Textarea Online
I'm building some tools around project planning in markdown. [0]

It's not intended to be a replacement for the heavy-hitters, like MS Project or OmniPlan or anything like that... it's much more basic. Think very simple, "back-of-the-envelope" project planning.

The primary benefit is to make the first step of planning (writing it down) a little easier for developers like me, who tend to spend too much time with their head in the clouds. I've been using the syntax for about a year now and I've found my motivation and focus improve a lot.

Is anyone else out there planning in markdown?

[0] https://github.com/rexgarland/markdown-plan
I wonder how this compares to the Binisoft Windows Firewall Control wrapper. Is the included firewall in Windows any good?
Awesome interview. DF is certainly a fascinating project. But I always felt like it is held back by it’s poor accessibility.

A newer game Rimworld takes most of the core ideas from dwarf fortress but packages it up in a nice gui with help text so you can learn to play in the game rather than with a wiki.
Neutralising Ethical Troubles
I think in the future I'll just use error bars, which they may ignore at their own peril.
Ah you so want outgoing connections to go over a VPN?
This is not a parsing bug, it is just some component crashing because of a name that is too long. Not very nice, but considering the source of the name any exploitation scenario is very unlikely and this is incomparable to bugs that allow code execution.
Daedalic – Gigantic Bundle
My company offers digital processes solutions - like dynamic checklists - for remote locations (vessels, trucks, airplanes, inspections) with no (constant) internet connection. Get in touch with me if that is something your park could benefit from.
Some users will notice. If we've succeeded to the point of "traditional login pages" being unusual and remarkable, many users will notice. Probably in any case some users will fail to notice.

In any case, though, it seems likely to reduce the impact of a compromise.
Ironically one of the few websites I actually enjoy using in its web format is hacker news.

Still, this looks really cool! Great job!
This vaccine is different in that it is only partially effective, and unless you are in a high risk group, taking it is primarily for the benefit of others, not you.

Also, prior to covid, only students were required to take vaccines - all for illnesses that were much more severe than covid. There were few or none for adults - aside from a small number of countries requiring foreigners to vaccinate for illnesses they were attempting to eradicate.

That's all very different than requiring it for your own citizens so that they can work, travel, and receive government services.
The salt-and-hash combo is how email logins worked for decades. The problem with this approach is that what you really want different salts, which requires that the server knows the plain text password.
Rule Number One: The ISO C++ Standard Working Group is not the source of your life dissatisfaction. Neither is your current choice of programming language (unless it's Java).

The WG isn't even one group. It is just a lot of people drawn together to work on what will end up one thing, the next Standard. And then another. Any impression of coherency is illusory.
Help is coming! Look how pretty it'll be: https://store.steampowered.com/app/975370/Dwarf_Fortress/
>turns their compost according to the phases of the moon. Weird.

It might not be so weird.

While not as noticeable as ocean tides, aquifer tides[1] cause the soil to "breathe" twice per day. Spring tide vs. neap tide (which is a function of Moon phase) would change the magnitude and diurnal timing of this "breathing" pattern, which could have a significant effect on soil biology.

As you learn more about Earth Science, it's interesting to discover that (some of) these "crazy" ideas start to look not-so-crazy.

One of my favorite examples: how do you stop vermin in your garden? Make a small pile of rocks off in the corner, of course! Sounds like superstitious gobbledygook, right? And it is, right up until the moment you realize that all you really did was make a happy undisturbed snake habitat.

[1] https://theconversation.com/squeezed-by-gravity-how-tides-af...
> Yes, assuming that the previous crew left you a 'perfect and ready to fly plane' is one hell of an assumption to make. With tiny little pieces to collect if it ends up being wrong.

This is very bizarre. I once had a morning flight out of Denver (not too long ago, August 2008?) and talking to people there apparently the plane had an electronics malfunction of some sort. They said they would fly us out as soon as the plane was ready but about ten hours later, they gave up and flew us out on a plane with a different airline (which I assume was not free for them, I doubt American Airlines would fly a plane for free for United). Point is the initial problem, at least what they told us, was some lights failed to turn on but they refused to fly. I thought flight crew were very risk averse but clearly not everyone.
Fair enough, however when I get the "you're posting too quick" message it can take upwards of 3 hours before I can post again... so I just stop trying and end up losing whatever response I composed beforehand.
Accompanying podcast episode, for audio-types: https://stackoverflow.blog/2021/09/21/podcast-377-you-dont-n...
I kinda would rather just keep calling it Facebook; Meta feels like a bad joke that we shouldn't repeat.
Yes, a compiler written in C could be verified with Frama-C, but "verifying in Frama-C" for something that hard (i.e. has many proof steps that cannot be automated) really means verifying in a proof assistant that can interact with Frama-C that understands ACSL, and Coq is usually used. And indeed, the loop invariants you mention usually cannot be automatically proved and must be proved manually, which is why there is such a learning curve to Frama-C. I first started using Frama-C without having used Coq/Gallina/OCaml, and I began to learn them simply because I hit a roadblock with Frama-C where I couldn't really progress without a deeper understanding for why automatic proving fails when it fails, why the error messages when automatic proving fails often aren't terribly helpful, what the current limits of automatic proving are, how the automatic proving actually works under the hood, etc.

Coq has been used to formally verify a large body of classical mathematics. Coq can 'understand' what a prime number is and can be used to prove that there are infinitely many primes, can prove that sqrt(2) is irrational, etc. Coq can prove a recursive solver for the Towers of Hanoi actually solves the problem, etc. And thus Coq can prove a C program to solve the Towers of Hanoi correctly solves the problem, because Coq can reason about C programs.

I've been slowly working through the Software Foundations series on using Coq/Gallina:

https://softwarefoundations.cis.upenn.edu/

Another poster mentioned CBMC which I just started playing with. It is much less powerful than Frama-C, there isn't the ACSL specification capability and theorem proving, but it is much more automatic and much faster to get started with. For many cases if I just want to verify that a certain C file frees all its mallocs, doesn't have out-of-bounds accesses, and that all obviously bounded loops terminate, CBMC is much easier. Also, like Frama-C, it converts C functions into "goto programs" (removes the syntactic sugar of 'for' and 'while' loops to obtain a more pure Control-Flow-Graph (CFG)) for certain forms of analysis, and when I first encountered this in Frama-C there was no explanation why, whereas the manual for CBMC actually has an excellent gentle introduction:

http://cprover.diffblue.com/background-concepts.html
FWIW I (a daily VS user and someone who is generally fond of it) don't particularly like the VS folder view. I find it slow to open and a bit clunky; accordingly I often have VS Code or a terminal or Explorer open in addition to VS.
> for example general purpose computing demand or supply-side constraints might cause all chip prices to rise.

This. Those who can't afford anymore powerful video cards now fall back to CPUs with decent integrated graphics, so that the higher than normal demand is therefore affecting their prices too.
I genuinely feel bad for folks who actually believe stuff like this, because it must make the world a dark and sad place to be in.
That's just to shake loose any spare change you might have in your pockets. Pays for the crew's busfare.
Or someone running a plugin system. Ability to download plugins from the in-app experience, + storage in db + run from memory.
This is also what I tell people, including students, unfortunately. Interviewing at Google seems to do a reasonable job of preventing them from hiring anyone hopeless, but not a good job hiring people who aren't hopeless.

Most Googlers I know are not at all confident that they would get their job back if they had to reinterview for it, including those with top performance review ratings.
That's a straw man. I've not seen anybody argue copilot is a bad thing because it makes developers lazy.

I haven't tried it (I'm registered, no joy) but I'm skeptical of its utility, to me at least, because it replaces writing code with reviewing code to identify whether it does what it should and fixing it if it doesn't, and I find the latter vastly more time consuming and mentally taxing than the former.
> More generally, the reason that build tooling in the .net sphere is such a mess is because of historical baggage from VS.

This is part of why the .NET hot reload fiasco was such a big deal to me; it felt like doubling down on one of .NET's biggest weaknesses.
This article offers terrible advice to novice foragers. It's irresponsible at best, even with the disclaimer in the opening paragraph.

Experts such as David Arora advise foragers that, "people can have adverse idiosyncratic reactions to edible mushrooms just as they can to scallops or peanut butter. Since each kind of mushroom is a different food, you can be allergic to one but not the other. To minimize the chances of an adverse reaction, cook each kind well and eat a modest amount the first few times" [Arora. All the Rain Promises and More. 1991].

Be careful when cooking wild mushrooms for friends and family even if you are 100% sure of your identification. Despite being considered "foolproof" from an identification perspective, mushrooms like the Chicken of the Woods can make you very ill ("gastrointestinal distress" is worse than it sounds) if they're growing on pretty much anything besides an oak (e.g. conifer, buckeye, etc). Puffballs are also notorious for giving people stomach aches. I've been mushroom foraging for over 15 years and about 10 years ago I made this mistake - correct identification of Chicken of the Woods (tasted great!) but was growing on a conifer. I not only made myself sick but a few of my friends too. Thankfully they forgave me as we are very good/old friends but since then I very rarely cook any wild mushroom for anyone besides myself.
Ask HN: What’s the best thing you can spend money on to help lose weight?
What’s the highest ROI weight loss thing money can buy? Can be anything. Thanks in advance!
Can someone ELI5 why the plane was not gaining altitude despite higher-than-usual speed? (The physics behind it)

The autopilot set to the lower-than-current altitude effectively set the flaps into descent mode so it needed higher speed than usual to start climbing up?

Also how come it finally started getting altitude even with destination altitude being zero?
Are you going to lobby or start an NGO or something? How can I help? I am currently in a major northern US city running my air conditioner, and tired of meaningless shit.
Great! I'd rather hoard it and take it out of circulation anyway!
It worked perfect for me.
> I probably would have had a middle eastern airline on the list before I did a project with them last year.

Does this include One World/Star Alliance members?
I saw students who were not really writing code, they were writing some random code here and there and waiting the IDE to suggest corrections.

Your experience --- especially with teaching --- is basically exactly the same as mine. IDEs add a lot of distraction from the process of actually thinking about and "mentally executing" the code you're writing, which is an important skill to develop especially for someone who is learning.

"How can you tell the computer what to do, if you don't know how to do it yourself?"
Would highly recommend Atomic Shrimp for an introduction to foraging in the UK:

https://youtu.be/iHPW8Z323F0
If you mean Los Angeles then I can't disagree more. Maybe Westwood, maybe downtown. But "consisting many of fairly dense walkable neighborhoods" is not a description I would ever have been expected to be applied to Los Angeles.
with apples, they keep them in cold storage under nitrogen for up to three years (when they then juice them to dispose).
So the fresh apples are so much better, and yes the terroir is always improtant with fruit veg flavour
Yeah but once you figure out Traefik, it’s just 3 extra lines in your deployment files for every new service.
And I inevitably have to redeploy again, and I hate doing the same boring thing twice, so it’s nice being able to bake complete orchestration into a repo.

(And it’s also nice for being able to try things because your repo has a complete full snapshot of your setup that you can diff.)
I second that. It's not necessary about "lying", many candidates may drop a keyword as something they know, when really they have only heard about it instead of mastering it.

Some people also under-rate their skills, because they are very demanding to themselves (the bad ones don't know "sort" and want to re-implement their own sorting method in Python).

I pre-screen using practical problems that I have to solve every day, and when candidates know their UNIX shell commands that's usually a really good sign.
I'm not sure you can comment on this, but: any idea what the long-term plan is for UI in Visual Studio?

WPF has been more-or-less abandoned by the Windows team, and that's a little scary since VS uses WPF so much...
The quoted level, 230g CO2/kWh is actually very good, and far better than most other gas turbines, even the latest combined cycle systems. I wonder how they achieve that? Perhaps burning biogas (where the carbon doesn't count?)
Me too, on my iPhone X screen. I thought that I messed up with some of those tiles, but apparently no. Interesting.
Out of the mouths of (ideally older than one year old) babes...
Video games. It's often in the "glue" components of the code that this happens in my experience.
The first time this has happened, but (2021) should be in the title.
Veritasium has a cool video about a related topic titled "How Kodak exposed the atomic bomb".

https://www.youtube.com/watch?v=7pSqk-XV2QM
I have it, and it's quite good. I believe you'll change your opinion once you actually get a chance to use it in a real project. For example, I was able to have it write a bunch of boilerplate for me for converting a database query into their proper TypeScript types. I could have done that manually but it's, well, called boilerplate for a reason.

It also helped me learn new features or ways to do certain actions. One such case was how it used immutable data structures to represent a change rather than mutating. Think `arr = [...arr, newElement]` rather than `arr.append(newElement)` which is not exactly the code I was writing but simply an example.
That's exactly the kind of thing I'm talking about.

> How are you planning to accomplish that?

Thanks for asking. Two major ways: on the hardware side I want to use small and simple systems. The raspberry pi is a little more complex than what I want. On the software side I have a simple GUI and macro language that is easy to learn and much much simpler and more elegant than current conventional UIs.
you could leave one branch Antonovka, and graft multiple different varieties to the same rootstock
This solution doesn't reward enough money to service providers, it doesn't put enough personal responsibility on individuals, and it doesn't involve enough punishment for people to take it seriously. It would also be too much fun riding the booze bus home and we can't have that.
Java was sold as a ticket off of the Microsoft sharecropping treadmill. It largely succeeded at that, so much so that Microsoft ended up obliged to clone it. (The joke is on users of that: Worst of both worlds!)

Java needed no other selling points, and had none. But there is enough money around it, since, to generate them, howsoever fitfully.
There is actually a good case to make here. Nvidia currently is in the tough spot of a) not having the capacity to saturate the market and b) not being able to expand the production to match.
B is because they don’t have enough confidence that the crypto people will be there as costumers in 5 years. And A is a problem, because their traditional user base (ie gamers) won’t match the spending, but will still get their fix (just not from Nvidia). And that breaks the strangle hold that they had a couple of years ago on that market.

So short term: having the high prices paid by crypto people is nice. But it destroys their relationship to their old customer base. Depending on where the crypto market will be in 5, 10, 15 years, this can be the 5x of their market cap or the 0.2x
That's proper procedure. When in doubt: fail safe.

These guys even flew the plane back instead of being replaced by another crew, and that's with a plane that has just been used way in excess of its design parameters on more than one measure.
Lulu - https://objective-see.com/products/lulu.html - is a great free alternative to Little Snitch.
I’m not a pilot either but I am shocked that there’s not some standard “reset” procedure so that each flight starts with the plane in a consistent clean slate. It seems bizarre for any process to rely on the previous flight coincidentally leaving the plane in a certain state.
Totally fine with that.Enough whining. Get with the program.
"therefore there's absolutely no way prices of hardware and energy will return to normal until governments won't stop this nonsense." It will stop once the crypto prices reach parity with the hardware investments plus or minus further speculation.
Ooh, it’s like internally reporting security vulnerabilities!
I feel like we can let it pass for a less than 2 day old article.
yes, I find the AU apple market very limited in the cities, and only a bit better in the actual apple growing regions. Its all fuji and pink lady
The Candy Bar Theory of Calendar Design