skysight-inc/HackerNews huggingface dataset:
Thank God there's someone else. I mean, to me, the idea is so moronically obvious (I had the idea about 15 years ago) that there must be some obvious answer why space-boffins insist that it's space that's doing the jiggling rather than time -- even though we've been told that since Einstein we ought to view the dimensions we inhabit as the spacetime (time is just another dimension) continuum.

My gut tells me that the layman's model I have of the universe precludes me from having a handle on why the idea is dumb. I console myself with the knowledge that at least I'm not so dumb that I think the idea is l33t and the whole scientific community are morons. Still, it'd be nice to have an answer.
I understand your point, and I'm having trouble articulating this thought, but I think with inductive bias you can structure your net such that it is primed to naturally learn certain behaviors that are more complex than the Shannon entropy required in the encoding DNA. The minimal structural information combined with environmental interaction can produce far richer information content, past the limit of the original DNA, but from a design perspective your actual code is very compact because you gain the rest of the knowledge required for innate behaviors naturally from the environment.
Thanks! I still wonder how usable programs that utilize SSE3 with this, but it's a pretty cool workaround.
It was 20 years ago that I bought my first VAXstation 3100 on eBay for under $100. Later got a VAXstation 4000 and an AlphaServer 2100. Got rid of them all during a period of downsizing. Along with some nice terminals and other DEC equipment. Kinda regret that now.
Wouldn't it be easier to ban grenades?
Most ClickHouse installations run replication for availability and read scaling. If you do get corrupted data for some reason, you can read it back from another replica. That's much more efficient than trying to fsync transactions, especially on HDD. The performance penalty for fsyncs can be substantial and most users seem to be pleased with the trade-off to get more speed.

This would obviously be a poor trade-off for handling financial transactions or storing complex objects that depend on referential integrity to function correctly. But people don't use ClickHouse to solve those problems. It's mostly append-only datasets for analytic applications.
Am I understanding the article correctly? They're guessing that because there was no solar wind which would normally trigger aurora, the Earth must have passed through a sort of rogue wave in the heliosphere, which also was strong enough to induce a current in the ground?
Show HN: Bypass Newspaper Paywalls via chrome extension
> I believe you can make a consistent fully provable axiomatic system by excluding statements that are not provable from your system, as meaningless.

The problem is not how to exclude the unprovable statements. The problem is that the unprovable statements will include statements that are true, but that the system can't prove. Some of those statements are probably not ones you care about, like "this statement is unprovable". But you have no way of knowing that all of the unprovable true statements are like that. Some of them might be ones you do care about.

Thus, the real import of Goedel's theorem is not "you need to exclude unprovable statements"; it is "the intuitively attractive ideal of having a system in which every true statement you care about can be proved is not achievable".
You get that on any modern Android phone, not sure when the cutoff is but my Oneplus from years ago still gets the modern crap.
birds, of which other experts say 99% would survive because, ya know, they can fly away

While I can believe many birds can easily survive the initial fire (if the smoke doesn't get them), do they have a 99% one-month survival rate after a large scale disaster like this?

Birds can usually only last a couple days without food, and the fires have affected such a large area that many more birds than usual will be seeking food in the remaining areas -- is there enough food to accommodate them all? And it's not just birds that will be seeking food in the non-fire stricken zones, but also their predators.
The 737-Max is not “aerodynamically unstable”. (It does not exhibit negative longitudinal stability.)
AFAIU, macOS implements dynamic swap and I assumed it always backed anonymous memory with swap reservations. Do you have a reference?
Most of the language probably isn't too far from C to be done, but I can't even guess at what would have to be done for C++'s templates.
> If southwest didn't throw their weight around

So wait, it's a customer's fault that the supplier cheated the regulations?
Yes.

The other important bit is that you often don't need to just find the optimal solution to get good ratings. For the question I used to use, I've had perhaps one person get the optimal solution without any hints. None have solved the extensions without hints. I've given more than one Strong Hire rating.
I love you, this is amazing and I am going to get right on it. Hopefully I won't crash my car in the process.
I understood subpixels to be something different.

The core of what I wanted to point out is the behavior of warp pipes in SMB1, which was outlined quite well here: https://news.ycombinator.com/item?id=21976073

Specifically the part where there's a section in memory somewhere that contains the details of where to warp to, and that varies on Mario's x coordinate.

If a warp pipe in this emulator drops you into an empty level, that sounds to me like that bit of memory isn't getting filled, or there's a jump or load instruction that's supposed to do arithmetic/read args from a register/etc.. and it's not implemented correctly.
Could, say, certain groups of people be more predisposed to easily learning, for example, complex math, or more disposed to certain types of behaviors than other groups of people?
Get Started with MakePython ESP32
>So why restrict it to very high level bins?

I don't think it's a quantitative issue (the level of the bin). It's a qualitative issue. When people say that ML lacks intelligence what they're saying is that it lacks robustness, common sense, agent like behaviour, the ability to reason and so on.

Intelligence (in humans or animals) does not appear to be just data driven pattern matching. I think we can say this with some confidence given that even the fanciest ML algorithm still hopelessly sucks at performing tasks that are trivial even for barely intelligent animals.
I had a friend who lost a finger holding a firework. Learning experiences can be damaging.
Vscode Material Design Theme – Improve New Schemes Color Readability
...which makes it far harder to reach than the button(s) on the bottom.
Since the website is not clear, here is what it is.

Comma Two is an aftermarket dash cam that adds features like adaptive cruise control, automatic lane centering, and forward collision warning to cars using open source software.

It uses a combination of the dash cam and the vehicle’s built in radar to accomplish this. It is able to control the car and receive its radar data by connecting to the vehicle’s OBD port.

The unit is $1000 and also requires the purchase of a vehicle specific harness for $200.

A list of compatible vehicles can be found here: https://comma.ai/vehicles

The source code that performs the driver assist functionality has to be loaded by the user and is available here:
https://github.com/commaai/openpilot

There’s also a “prime” subscription which pays for cell service on an included SIM card and allows you to see video footage or location data from your vehicle remotely.
It's definitely lots of fun, but I didn't know it was easy, I thought the CAN bus was read-only. I can't wait to discover what my car supports.
When I see large round numbers like that, I alway figured the numbers were meant to be in the right magnitude but not exact. Like somewhere between 250M and 750M.
Similar, but GPT-2 is better at text prediction than the Markov chains used on your phone.
https://abcnews.go.com/International/24-australians-arrested...

Seems like calling it bullshit is a little too all knowing for me. I’m going to go ahead with a scientific approach and not jump to conclusions.

Edit: let’s not pretend this type of thing would be unheard of https://m.dw.com/en/australia-police-arrest-man-accused-of-s...
https://granitegrok.com/blog/2019/11/world-wildlife-federati...
he's quite a character, surely abrasive to some.
If you want a sample for yourself:

https://www.youtube.com/watch?v=u-dgbrB7PZU
That's your problem no?

If they were being fancy I'm guessing you could use some buzzwords (AI etc. etc.) to combine the data along with the moisture content around the ear to determine whether someone is exercising automatically. (Assuming they don't already, my phone seems to be able to but not very accurately)
Is anyone aware of any compelling evidence that these fires were meaningfully worsened by climate change?
> I just put my root certs in ~/.postgresql/root.crt and it all works, right?

Also ensure sslmode is set to verify-ca or verify-full, either as a set parameter or via the PGSSLMODE environment variable. See https://docs.aws.amazon.com/AmazonRDS/latest/UserGuide/ssl-c...

As ever, the #1 tip to maximise confidence in your configuration is to automate it, write a failing test case, then fix the test.

> Any specific examples?

Some of the new-wave SSL implementations (including yaSSL, with which mysql-client can/could be built) didn't always support them (not sure where yaSSL is at now), and the AWS documentation hints that it's cropped up in some circumstance in GovCloud, but I think the most likely circumstances will be enterprise folks using appliances and/or appliance-like software that's configured only via a web UI, one in which they just didn't think chains were necessary (or that only supports a small bundle etc etc; the sky's the limit in this class of software gore). I've seen this exact issue, albeit for an LDAP client not a RDBMS.
The number is meaningless to the public anyway. I have absolutely no frame of reference for how many animals live in a certain area. For all I know, 500m ants get killed by a period of fairly heavy rainfall.

It's more annoying when numbers are misrepresented that we DO have real world experience of, for instance sea level rise. Many people are under the impression that global warming will cause skyscrapers to become submerged, or the majority of the Earth's land area to disappear. All within a few decades.

People may argue that it's useful for people to believe this, but I don't want a society of useful idiots. I want a society of skeptics.
Trump's take on Syrian oil seems quite pertinent:

https://www.theguardian.com/us-news/2019/nov/08/secure-the-o...
Someone call Charlie Brooker!
Scrolling through it on Firefox I get <1% CPU and <2% GPU without seeing any lag. Curious if you have hardware acceleration working? Or maybe you're hitting a corner case bug?
Playing chess is an essential life lesson in concentration
Knowing Australia, there could be 500 million flies in one fire alone but nobody sheds a tear for them.
In 2012, first release 5.3 in 2013. Added by Matthew Dempsky. It was used for the per-shared object stack protector cookie extended for the per-function cookies required for RETGUARD.

https://github.com/openbsd/src/blob/master/libexec/ld.so/SPE...

https://www.openbsd.org/innovations.html

No other OS has this.
I wouldn't call 32-bit processors reasonable anymore. Maybe a decade ago, yes. 64-bit is the norm now. It doesn't make sense to demand 32-bit support.
My first performance review as an employee was good. I had a manager that cared about his employees and understood their strengths and weaknesses. I was challenged on some key shortcomings but got enough positive feedback and reward to keep me motivated. He had good visibility into what I was doing and what its impact (or lack thereof) was.

My first performance review that I gave as a manager was terrible. My employee was twice my age, and I'd managed him for 2 months. He came into the room and his first words were "Yeah. I think in my entire career, this kind of thing has only been useful once."
Given that there are hundreds of thousands to millions of insects per acre of land, the estimate is almost certainly a vast underestimate.
not sure what your point is... should I stop caring because it makes no difference? You care because you care.
To me, pipe feels far more intuitive than callbacks as a way to write complex queries. Using it right away might make the first few examples much easier to read.
Thanks for the perspective.

Do you happen to know what the hardware safety is like? Just curious.
This might be worth checking out: https://flutter.dev/showcase
Also this if you want to dig deeper: https://flutter-dashboard.appspot.com/benchmarks.html
The magnetometer stuff is declination, not intensity. Direction of the field.

The electrical measurement is in 10s of microvolts per meter and was ~10 mV/m. It's hard to translate that to current since the ground impedance can vary, but it's in the milli- or microamps per meter. This is high for this kind of activity, but much lower than the limit the grid can handle.

In the bad old days a storm like this would have been enough to kill. Telegraph operators would have been exposed to kilovolts across their ears on a line 100s of km long. The ground current may a couple milliamps, but that could still cause hundreds of amps to flow.

Original observer's notes: https://spaceweathergallery.com/indiv_upload.php?upload_id=1...
Counteranecdote: I made a fake account for work purposes (needed to look at certain things on Facebook that you can only see while logged in, and didn’t want to use my personal account) and it got deleted pretty quickly.
This was harder to find but this is where caps for steering are set in OpenPilot:

https://github.com/commaai/openpilot/blob/a2ae18d1dbd1e59c38...
Bluetooth headsets were a status symbol for a while (and then mocked) during the BlackBerry days.
The saddest Demolition Man ripoff ever.
Arson has always been around in Australia. But climate change exacerbates the impact. Less time for safely going hazard reduction burns, and drier forests, and less rain makes a big impact.
Note: article is from 2018 - since then, the FSharp.Data package has long moved out of preview and many other Type Providers work well on .NET Core.
That's why they are called estimates, not real numbers. If they could run a census of animals living in the forest, there would be no need for estimates.
Steven Strogatz: Exploring Curiosities
Only for my 150" books ;)

I sit 3ft away from my monitors, at that distance I can't notice a difference.
I've only hopped on to Samsung's TV platform with recent hardware, but it seems to me like they've gravitated towards shipping Tizen enabled TVs for the last few years. Is there significant fragmentation in Tizen land?
So you would use this argument if arson was all but eliminated, except for three massive fires?

It makes no sense to use trends when the discussion is incidents.
My understanding has always been that nodejs was ideal for high io workloads with a light cpu load.

Having it sleep for 100ms per request is a little strange for nodejs though because it is basically simulating cpu load, even though a node server typically hands off work to an optimized library that might be disk or network io bound instead of cpu bound. 100ms is a lot of cpu work per request, no? That is specifically the sort of task node is not recommended for, since it focuses on async.

Maybe I’m wrong, I need to work on larger projects to see what loads are more typical. At my last job, the entire focus was to use node to redirect work to c++ code, databases, etc, basically just request routing.

Still, this looks rough for node. 2x to 4x difference between it and the fastest is still a significant cost for such a nice backend to work with
On that of that, a lot of websites do not allow the user to use the website if they do not give consent to allow the non-functional cookies. Which is against the GDPR.
Right, IIUC type theory started as Bertrand Russell's attempt to do exactly that (and follow through the ramifications - you can't "just" anything in math). Then suddenly, Haskell. Or something.
Ah, F#, when I was desperately trying to get skills in .NET (lots of .NET in my town, and I don't have a degree) I encountered F# and lost my enthusiasm for C#. Which is doubly ironic now that I work for a JVM shop.

I still have a lot of love for it though. Especially things like measure types.
The number is correct. The relevance is bullshit. Australia will have fires every year, arson or not. It needs to keep them under control either way - which is related to climate and forest management. If arson can create out of control fires, so can lightning.
The Internet Has Become a Cluttered, Proprietary Mess
None of these issues can be solved by an union. Union won't make your job interesting, and won't make you like your job again.

It certainly won't help with any of the issues you describe.
I agree 100% with you.

I spend a lot of time moving around different machines, processes, configuration files, logs, etc. And I stopped maybe 10 years ago to use anything that is not available on a base system.

I don’t use fancy shells, I don’t use aliases, I don’t write local shortcut scripts, etc.

I just use regular bash, combine base utilities in one liners, and live with it.

Maybe I loose 1s here and there when writing one liners compared to someone with a library of wrapper utilities. But that gives me an immense benefit: I am at home on any machine, any distribution, everywhere, without any configuration, with any user.
I guessing that judging and shaming a corporation's contribution to "poorly behaved offspring" is right out though
When did Comma.ai claim they were doing self-driving?
I once had an interesting review: "Ordinarily if someone had given me this list of accomplishments I would give them I very good review. But I just don't like you". Sometimes reviews serve you well in ways you don't expect ;-) Especially when you are at the start of your career, you don't always twig that the place you are working in is completely dysfunctional.
That’s 24 caught. How many were not caught?

https://m.dw.com/en/australia-police-arrest-man-accused-of-s...

I’m not sure what would possess someone to do this. As if the earth needs any more “help” from idiots, right!?
So Intel ~= IBM? Things make so much sense after realizing this.
Third, for almost all species, there are no density figures, so he just picked the number 10 (lol, yes, seriously).

Where are you getting that? The density numbers come from this report[1] and I don't see any mention of "picking the number 10" or anything like that.

The estimate is for "affected or killed", and has since grown to over 1B[2].

While I agree that birds can fly away (although with habitat destruction that doesnt' always keep them alive), "Of the other 70%, many others would have just walked or slithered or run and gotten away from the fire" is just false. These fires catch people in cars because they are so fast moving.

[1] https://www.researchgate.net/publication/318029981_Impacts_o...

[2] https://www.huffingtonpost.com.au/entry/billion-animals-aust...
interesting link initially about arsonists psychological state, examples http://davetrott.co.uk/2019/02/stop-arson-about/
> relevance is bullshit

Citation?
If this is an accurate conceptual model: https://www.esa.int/Science_Exploration/Space_Science/What_i...

I have this odd notion that the universe has stayed the same "size" (since inception) and that the parameters of the universe and the amount of matter/information has changed over time.

The impression we get (from our perspective) is that of an initial singularity, a period of hyper inflation, and then the expansion we have now.

Probably bollocks but I'd like to know why it's bollocks.
Last but not least, here is brake and gas limiting:

https://github.com/commaai/openpilot/blob/a2ae18d1dbd1e59c38...
Lover of math. Bad at drawing: Books I Loved in 2019
I mean, if I woke up and read that 500 million mosquitoes were victim to the Australian wildfires, I might not be so sad either.

But then you watch a video showing the charred carcasses of many beautiful Australian marsupial and bird species littered on the side of the road [1], and you realize jokes aren't really very useful here.

[1]: https://www.youtube.com/watch?v=kn1vMTA3OD0
> Intelligence (in humans or animals) does not appear to be just data driven pattern matching. I think we can say this with some confidence given that even the fanciest ML algorithm still hopelessly sucks at performing tasks that are trivial even for barely intelligent animals.

Do you mind expanding on this? A lot of the tasks primitive animals can be replicated by Deep RL algorithms given the same environment.

Humans adapt to sensor information, memory and a reward/penalty system just like RL. We're just much more advanced and have sophisticated systems to sense and act.
Iran attack: US airbases in Iraq hit by ballistic missiles
What happens when the files get unpinned?

Who pins the files when my laptop is offline? Who pays for this?

What keeps my files online in the event of high node churn?

What happens if malicious nodes join the IPFS swarm and censor key/value lookups?
The methodology is here: https://sydney.edu.au/news-opinion/news/2020/01/03/a-stateme...
I do not think the plastic is what is concerning. It is the energy put into manufacturing and shipping the item. This is a high end electronic device, with a bluetooth modem and a lithium ion battery. Plastic waste is one of the least significant problems here.
Well, yah, an infinite number of them exist. I'm curious, though, how many of these principles a la the Halting Problem actually hold if they are excluded?

We take as doctrine that the halting problem is generally undecidable, but I haven't heard anything about any results for the Halting Problem (minus self referential paradoxes). Which is concerning because in practice nobody gives a crap about self referential paradoxes and they very rarely actually arise.
Packaging what?

I would be mad at any admin that would dare to deploy his helper shell scripts like “addup” and “count” on a machine other than his laptop.

And if you meant he could just have these things in his home, then it defeats the purpose of the original comment: trouble shooting and administering machines forces you to often switch user, machine, etc.
You're not wrong but at around 30" is where is starts not to matter (for 1440p anyway) and I happen to sit ~36" away from my monitors. See [0].

[0] https://news.ycombinator.com/item?id=21977571
> I believe you can make a consistent fully provable axiomatic system by excluding statements that are not provable from your system, as meaningless.

That's what ZFC does.

While `effing yourself with recursion is a takeaway from his finding, to me at least, it's a striking limitation of formal methods of 'sufficient ability'. There exists a completely understandable query that has no well defined answer. Back when it was felt that mathematics could somehow prove itself, this must have been a crushing blow.
I wonder how this will fare with spam. If I'm to have autoconnection, for example, then the broadcaster will need to be authenticated.

I can imagine a scenario where I autoconnect to my public transit provider's broadcasts to hear announcements, but an unscrupulous advertiser spoofs the broadcast to spam me.

If there's no authentication or anyone can just broadcast, then I think the spam problem will make broadcast reception unusable in public spaces.
This is quite alien to me, I've had the same pair of pink Sony (£10) Earbuds* for the last 3 years on pretty much continuous use (Running, Working, Walking etc.) and they're faultless despite having been through the wash twice (and various other beatings).

* My hearing is a bit weird so with the right EQ they're better than pretty much anything other than actual speakers for me.
Berlin still has Walkman in the wild.
Looking for some feedback. Thank you.