skysight-inc/HackerNews huggingface dataset:
Kalagarh: A Perfect Weekend Getaway from Delhi
Roughly speaking, the aim of logic is to develop a formal language precise enough to reason about & access truths about the world. The idea that "a sea-battle will be fought tomorrow" is either true or false is not useful to this aim.
I was exploring climate forecast in the no so distant past. From my nieve viewpoint it appears that debate all the expanded GPU computational power and advances in AI, there have not been any incredible advances in climate forecast. Is this valid? http://www.bestassignmentservice.com/help-me-write-my-essay
Indeed nowadays a lot of people relate the word 'crypto' with Blockchain related concepts, but being crypto only entails using some cryptographic concepts.

Cryptocommunication might be nothing but HTTPS/TLS. Cryptocurrency could very well be something similar, without involving Blockchain technology.
This was on here a while ago: https://news.ycombinator.com/item?id=19765700 and says that "[m]odern 72-hour predictions of hurricane tracks are more accurate than 24-hour forecasts were 40 years ago"

edit: I see that neuronexmachina found the same article. It's a good read if you want an overview of how weather prediction has changed.
Personally I am a big fan of haveing file system hierarchy dictate workspace heirarchy. I understand that there are cases where it might be nice to have a separate structure defined for an IDE, but that often comes with the cost of not being able to seamlessly use filesystem operations to edit the project directly. It feels more *nix-y to use the filesystem for this.
The problem with PHP is recruitment. No career focused developer is going to want to put on their resume that they did PHP.

I saw it happen first hand. I was in a department with 13 developers. We had one product written in PHP, but we were all hired to work on C# and maybe do a little PHP maintenance. Once the writing was on the wall that we would all be transitioning to PHP maintenance, we all left with 6 months.
It can actually load arbitrary games with a port of Wine https://github.com/ValveSoftware/Proton/
Exactly. Blondes are paid more than the rest of women. Tall people are paid more.... Any criteria you select can lead to differences in outcomes.
Magnesium glycinate is even better. Glycine turns out to be important too, but it's just used as filler.
Ask HN: Calling All Remote Workers, Teams and Employers
Hey! I'm the founder of a FinTech startup (https://www.Nexves.com)

We are 100% remote and realized getting our team onboard efficiently when they join is time-consuming and frustrating for everyone. We built a tool to solve this and thought other remote workers, teams may benefit from using it, so are thinking about releasing it.

Would love to get some feedback on the prototype from anyone who thinks that sounds interesting

If you could reach out to chris@nexves.com I'd be delighted to share it
The magazine that writes itself
This is really about 'modality', I'd say. If you have statements in the past that were about the future which now is already past, these statements can usually be verified with certainty. Like a weather forecast. This 100% certainty however breaks down, if you move the forecast far enough that it touches the "real" future from our current present. E.g. you have to observe the weather to see if the forecast was true.
So this "paradox" is just about how the modality of the statement changes discontinuously once it is really uncertain.
Lots of insanity here too. Like, “~(~(a)) = a” is no longer a correct rule (because when negated twice, z becomes x). But other than that it’s a cool system.
>LibreOffice for GNU/Linux nowadays is available in 3 different universal formats, as alternative to the native format (DEB and RPM). This is an advancement that benefits us all greatly.

Not sure I understand the thinking behind this statement. If LibreOffice is native to a distribution wouldn't you be better off just leaving it as it is? The three methods are more applicable to third party programs...
I really enjoyed the Commander Keen series. But also Duke Nukem 1-2 (2D), Crystal Caves, Bio Menace. Or Game of Robot.

I always found that some of the platformer games of consoles, like Super Mario, Donkey Kong, had much more simplistic and kind of boring levels. You did not had to collect keys to enter doors, or do other more complicated things, but basically it was mostly dexterity.

This aspect comes a bit short in this article, I think. To me it was always kind of crucial, how much such puzzle element there was in the game, whether I liked a platformer game or not.
Instructables link 404s for me.
There are different forms to take Mg and they seem to come with different effects and side effects. It may take a while to find one that works.
> It seems like you responded only to the gravimetric density part of the chart and not the volumetric part of the chart.

Gravimetric (specific energy, Wh/kg or MJ/kg) energy is generally more relevant than volumetric (energy density, Wh/l or MJ/l), because batteries are about twice the density of gasoline. Weight is also more valuable than volume in most vehicles, and a battery system already takes up hardly any more than a full combustion system. For example most electric vehicles now have a front trunk just to use up the newly available space.

> For performance cars, weight is absolutely a factor. (I'm not aware of any performance cars that weigh twice as much as their competition.)

Sure, but again this is an 11% weight difference, and range matters least on a performance car. A 918 weighs 25% more than an Agera RS. If you want to talk about power density, an electric battery will beat a gas engine to absolute shreds.
Why not just use VB.Net/Winforms?
But if the market did not like the new direction, it was super easy to move to ETC.

Just like with the OpenOffice, LibreOffice fork. Everyone was free to use one or the other. The community chose.
Or perhaps it makes us mistrust more than we should? How often are we working on problems where the difference between 0.1 and 0.100000000000000006 is of any practical importance?

When I format a float out to 5 decimal places, I'm sort of making a statement that anything beyond that doesn't matter to me.
Me too. I haven't tried other versions which are recommended by this paper, but I can recommend bis-glycinate. I tried carbonate and it didn't work for me. Recommended dose is 150mg/day, but I've found I need even 300mg/day (heavy cofee drinker).
I'm on a Mac and just checked the Safari extension store. The only extension I see for Ublock is a fork of Ublock Origin called Ublock Safari. It hasn't been updated in a year, and is thousands of commits behind the official version.

It also isn't distributed by Gorhill, even though the extension lists him as the author in the extension store. In fact, none of this information is listed on the extension page itself.

I'm not sure the extension you're using is what you think it is -- I would be at least mildly cautious about installing it.
Can you please explain how APT limits freedom?
"Bitcoin fundamentally cannot work for credit because the risk to the lender is ridiculous."

Kind of like this startup founder who wanted to buy property with a SAFE. I told him get a bank loan. He said: "That's risky!"
That's a funny comment. The colonies had a smattering of railways, most colonial subjects probably never saw any railways or trains. Heck, for an example, look at how the African railway networks look in 2019 (!): https://en.wikipedia.org/wiki/African_Union_of_Railways#/med...

And then compare that to the UK in 2019: https://en.wikipedia.org/wiki/Rail_transport_in_Great_Britai...
Trust in eHealth: the good, the bad and the ugly
Glycine on it's own is also a thing. It tastes sweet so you can add it to a drink or food without problem.
Funny, I see Magnesium frequently recommended for people on keto diets that have trouble sleeping.
You mention chessable so I would like to shout out my own project. I created listudy[0] that does a lot of the things that chessable does, but is also free open source[1]. On my site I use spaced repetition to memorize openings. Unfortunately there are not many studies on there right now but hopefully this will change in the future.
[0] https://listudy.org/
[1] https://github.com/ArneVogel/listudy
Well isn't it normal if you contribute less, you will receive less? Seems reasonable to me.
I didn't have that but it sure made me extra sleepy during the day when I took too much initially. After reducing the dose it was fine.
From Wikipedia (https://en.wikipedia.org/wiki/Lithium_(medication)): "Cade needed soluble urate for a control. He used lithium urate, already known to be the most soluble urate compound, and observed that it caused the rodents to become tranquil."

That looks to me like a surprise discovery.
Technical Debt: Poor System Understanding While Time Constrained
"Human readable" means "forward-compatible and debugabble without specialized tools".

Humans aren't actually reading these things.
Development of lithium treatment involved a lot more than John Cade's accident.

https://onlinelibrary.wiley.com/doi/full/10.1111/bdi.12739
There are many kinds of depression all shoveled into the one diagnosis. It's as if malaria, flu, bacterial meningitis, and every other infection were called "ague". (They were, once.)

The only way we know to tell one from another is by what med helps, if any. If none do, it's "non-responsive depression" or some other catch-all. Depression, like schizophrenia and a host of other DSM diagnoses are the DSM's equivalents to "wastebasket taxa" in taxonomy.

People insisting that randomized controlled trials ("RCTs") prove that depression meds, and other psychiatric meds, don't work demonstrate their ignorance of the major failure mode of RCTs: unreliable diagnosis. Given that last, the RCT tells you nothing, positive or negative, absent very careful, detailed deconstruction of individual outcomes.
Where do you find such things?
What form are you taking them?
In the treatment of subjective mood the distinction between ‘true’ and ‘placebo’ vanishes
Have all tabbed applications and browsers been paying royalties to Adobe? If not, have they technically been in violation of the patent this whole time? What were the real-world implications of this patent?
I'm relatively young (31) and learned to fly last year. Out of all activities I've ever been involved in (sports, programming, executive life, teaching, etc.), flying has BY FAR made me most aware of my mental state and thought process. Nothing I've ever done has made me feel so task-saturated and consciously aware of how well (or poorly) I was coping with a cognitive task.

Not only can it sometimes be a very task-saturating environment (especially single-pilot IFR flying), but the added "nerves" of flying make it a perfect combo for you to become hyper-aware of yourself in a way that I hadn't yet experienced. The most interesting part of the whole ordeal for me has been to see my progression in terms of how my brain could handle the tasks at hand. At first, I remember intently listening to the weather report on the radio only to IMMEDIATELY forget the information I had just heard, such was my cognitive overload. Now, I can be in the middle of clouds, seeing nothing, punching information into the flight computer while hand flying the plane listening to ATC in one ear and talking to my passenger on the other. To have been acutely aware how slowly my brain adapted to the new demands I was placing on it was incredibly interesting.
An excuse to use too much maple syrup!
https://nutritiondata.self.com/facts/sweets/5602/2
Women are under represented in construction.
Women are under represented in waste management.
Women are under represented in front line duties.
...
I'm on a 9'7 right now and use Working Copy and Kodek to write and Overleaf to "test" the LaTeX code and see if it will produce the .pdf I need. For full time use it might be a bit harder, but it's not impossible.
My speculative take:

Facebook’s main product has likely peaked, in terms of users and advertising unit economics. The brand is tarnished, it’s not cool for younger people, its value proposition has been heavily eroded by short sighted decisions.

Instagram is doing really well, but by its nature is no substitute for Facebook. It’s too specialised, too narrow a demographic, and doesn’t have the same appeal all round. It can’t pick up the slack from a declining Facebook.

There are real regulatory dangers that Instagram etc will be separated off anyhows.

This is a bet on something that could be big. I’d bet against it working out, but a series of bets like this are probably the best strategy to hedge against decline. We know payments dovetails well with messaging apps (hence perhaps the attempt to unify them, conveniently making it more difficult to break up the company). Payments is a no brainer, the “crypto” spin original but probably irrelevant. For Facebook it does have the advantage of enabling them to accumulate a large fund of “deposits” they can invest.

If the above is right, we should see a few other big bets being placed soon.
China announces hefty fines for unauthorised collection of DNA
I just VNC into my machine at home, can even do it from a phone using something like bVNC.

I use Eudora for checking, searching and non cloud archiving, then Gmail as a spam filter and the basic view for sending the odd email.
Hong Kong’s protesters were afraid to use their metro cards
I am every day. It's much nicer than being in lighter traffic, since the cars are slower than me and thus much less dangerous.
Tried it briefly and then quit after I realized it was causing excruciating chest pain. Would be nice to have stayed on it to realize the mood effects, but not even close to worth it for me.
Snap is centralized; anybody can host their own Flatpak repo, it's just files served over HTTP.

https://blogs.gnome.org/alexl/2017/02/10/maintaining-a-flatp...
Pretty much everything pointed out in the OP only applies if your setup is configured to use a 3rd party identity, integration server and notary (trusted_key) server. So if you are selfhosting and you want to avoid using 3rd party servers, don’t use them!

Agreed that we should do better at presenting a max-privacy config preset and explaining how identity/integ/notary servers work to users (without making the UX unusable), but to throw away the whole project over this is throwing out the baby with the bathwater, imo.
Indeed. Even within a single economy, plotting a scatter plot for enough data points (e.g. 25 years) makes Philips curves just broken.

It was a gong moment for me when I came across a short passage discussing its foundedness.

* Freedman, Pisani and Purves Statistics, 4th edition (p153)
> sports with very width skills like soccer where generally get best outcomes when you specialize rather late like 16 year old

What? No. Are you from a country like the USA, where soccer isn't taken seriously?
FWIW Gwern has done some careful self-experiments on magnesium supplementation, finding it wasn't all rosy: https://www.gwern.net/nootropics/Magnesium
It's also commonly recommended in the weightlifting world to aid in muscle recovery.
The power of Excel to pull off complicated administrative tasks, and to destroy souls, is tremendous.
Thinking about it a while, I'd say let's not let the perfect stand in the way of the better.
Really? If international accord is reached and that band is re-assigned for other purposes, and HAM operators protest by screwing with un-mannen aircraft and something bad happens, do you seriously think "I never agreed to stop using this frequency" will be accepted as an excuse?

I'm not a HAM operator, but I agree that it does seem like a really bad idea to re-assign a band frequently used for stuff like emergency communications. Still, if someone caused a plane to fall down just to make a point then I would assign the blame to that person and not the operator of the plane.
> When I format a float out to 5 decimal places, I'm sort of making a statement that anything beyond that doesn't matter to me.

Yes, it's true the vast majority of the time it doesn't actually matter. However decimal formatting does such a good job at giving us the impression that these errors are merely edge-cases, and calculators automatically formatting to 10sf etc further that illusion. If people are not aware it's only an illusion (or just how far the rabbit hole goes) it can be dangerous when they go on to create or use things where that fact matters.
> My daughter needs space, one of my sons needs physical contact, the other needs a lot of verbal reassurance. It's important to help them find the ways they can work through their "big feelings" in a healthy way.

For the two kids that need 'coaching', what happens when you're not around? Will you at some point leave them alone to deal with things solo?
Protip: it's okay to play chess for fun. Winning isn't the goal.
It probably bothers some people but it does not bother me. I'm on relatively slow hardware. I use a (second?) gen i5, but without an SSD and without a GPU. My laptop is fine for programming, even gaming (CS:GO, CS:S both work! CS:GO admittedly on 1080p but low graphics).

The thing is that I've never used anything faster than an i7 + HDD (with GPU). So when my old one died, I just started using my ever so slightly slower laptop as main device.

I firmly believe that as long as you have not experienced the difference (which I haven't) it does not bother you. Applications don't start lightning fast, when I open the terminal I need to wait a second before I can start typing. So I start Spotify, Firefox alongside my terminal and after ~10 seconds I'm up and running for the rest of the day.

I'm not that bothered about waiting 10 seconds each day.
"Natural" by definition characterizes things that aren't a result of human activity. All you've realized is that it's a synthetic distinction and not a fundamental one, but if you turn around and include humans then its literally meaningless and you just lose a useful concept.
Add me to the list of happy magnesium supplementers. I always recommend it to anyone who mentions sleep problems and I've had good feedback from a couple of people who actually went through with it based on my recommendation.
I think the likely scenario here would be a swiftUI-like framework which is cross platform. SwiftUI is tightly coupled with Apple’s UI rendering system, and they have no incentive to make it easier to port iOS code to Android for example.
>The statement "a sea-battle will be fought tomorrow" is either true or false.

How would you prove such a statement? You can give it as an axiom, but you have to admit it true or false in advance.

You can't have a statement in classic logic which is not an axiom and couldn't be proved true or false. This

> You just don't know which one.

means that your statement is neither true nor false in a given model. How would you even reason using such a statement?
For mass adoption you need chargers at most parking spots. Since cars spend almost all their time parked, charging time really is not all that important.
Redhat and Ubuntu should bury the packaging hatchet and arrive at a single packaging format. Doesnt matter if it is snap or flatpak. That would have far reaching ramifications for the adoption of Linux.
This was my introduction to Mike a few years ago, and he's been a really interesting guy to follow since then.
Wish we knew why it works. But it's also nice that something is accepted based on data alone. Many people in science tend to reject claims based on a lack of explanation alone. But that's the whole point - observe and then try to figure out why or how.
I'm a cardio addict and do 250mg liquid Citrate and 200mg of Bisglycinate before sleep. Otherwise restless legs syndrome would kick in badly during the night. Sometimes adding 1.000mg of Gaba also helps with recovery and falling asleep.

Just make sure to stay away from cheap Mg Oxide since bio-availability is somewhere in the 4% range and usually comes in Multi-anything pills.
I take it to mean that with npm there is a very low barrier for entry. I mean it's not difficult to actually host an apt repo on your own server or on S3, but there's still more you need to know to get to that stage. I personally think that using something like apt for Node.js dependencies is a very good idea. I work with Node at work and on the side, and my/our usual stack is either Debian or Ubuntu. Even when Docker gets involved it's usually a Debian or Debian based image. [Edit: phrasing]
>Magnesium has been largely removed from processed foods, especially refined grains, in the Western world, harming the brain and causing mood disorders.

This seems to be the case with many such nutrients.

I almost wonder if the most effective solution isn't a medical approach but a medically-informed, government-led incentive program to convince food manufacturers to reintroduce the essential nutrients they strip out of food.
That's hardly another job. It's completely based on Vue. I know if I needed an expert on it and he was available that he'd probably be my first choice.
Psychiatrists say the difference between a dose where you start to see some effect, and the toxic dose, is often only 1:2. So experimenting with lithium is hazardous and needs careful, almost, titration.
I am interested in hearing more. Did you try Mg with the intent of grinding your teeth less?
> They get the best of everything

Yeah, like a total lack of earthquakes, and pleasantly temperate summer temperatures!
The question is whether the workflow the developers are being told to implement is what the workers actually need to do to get the work done. Also, will there be an ongoing mechanism to revise the software as the work requirements change? In most cases, the answer to both questions is no.
https://theculture.fandom.com/wiki/Contact_Unit
https://www.amazon.com/Trace-Minerals-Research-Concentrace-M...
As a government bureaucrat, I'm constantly amazed at the number of systems bought and paid for that essentially recreate functionality that is already built into the enterprise sharepoint.

We can't find money for an in-house sharepoint programmer but we have seven figures to build something in salesforce from scratch.
Anyone mentioned training one (1) AI model creates as much CO2 as 5 cars over their life time...??? Nope? Just saying....
Fashion Frog
Very interesting! I wonder where all the extra land came from and why?
> Why would those be less interesting than a contrived set of rules?

Because "contrived rules" are a kind of work of art. This is especially evident in modern board games as the concept of "contrived rules" is refined more and more and in ever branching variations.
Does the body effectively absorb trace amounts of minerals?

Edit. I'm not implying any homeopathy antics, am genuinely curious.
Thanks for the information, I don't think that for my use case is is an improvement, though I use snap for skype if I am not mistaken and that use case fits perfect since I don't trust Microsoft in general and Skype especially.

A bit off topic, some advice, don't update your IDE during your work week, sometimes something won't work and you will waste time trying to fix it, I learned my lesson and I download the new version .tar.gz and start using it, if something goes wrong I can go back to the previous version and look into finding a fix later.
The fix is that workers create our own solutions to do what the official system doesn’t... IT departments call this “shadow IT”

And now I have a name for about 50% of what I do each day.
I've been on the fence about iCloud for sometime. Dropbox made the choice easy for me.
A Race of Two Compilers: GraalVM JIT versus HotSpot JIT C2 [video]
I can't speak for depression, but I was suffering from muscle spasms and tremors last year (both external and internal). Magnesium was suggested, I now take two a day and they have almost entirely dissipated. It certainly wouldn't surprise me that the presence or lack of such substances could have significant effects upon the brain too though I have noticed no changes in that regard.