skysight-inc/HackerNews huggingface dataset:
Reminded me of using an old Nokia N900 to watch EdX videos offline while commuting. No cellular, just Using WiFi.

Loved this little Nokia because Maemo OS was Linux-based, had a keyboard and terminal.
That's good, that's how we know it works. From there, it can spread to family members, friends, etc.
> And Steve Jobs was old enough to learn that much earlier: that the "modes" are bad and that good UI doesn't require one to do some magic to switch between them, as it can be summarized in the joke: "How to Quit Vim and Exit the VI Editor — the most popular Stack Overflow question -- and I'm using vi last two years because I can't figure out how to exit it."

The more a software do, the less it's user friendly... You can't really compare Vi, a text editor that need training to master by technician, and the IpadOS. They are not made for the same people.
and the price?
Books That Joe Rogan Recommends
What about Persia/Iran? Or Ethiopia.
tangential: i am _seriously_ considering getting an eizo monitor for personal (non-gaming) use, and was wondering if anyone here can chime in with some personal experience. a bit hesitant given the price tag. thanks !
This one is the worst one.
The guy contracted it from a lady who was at training in the company.
She contracted it when her parents from Wu-chan visited back in China.
The guy has been in contact with 40 people apparently.
No idea about the woman. This alone yields huge figures if the spread while in incubation period is confirmed.
But past that, I don't see how you can do anything since installing programs would require storage.
The key factor is iteration speed.

If step A takes 5 minutes (and 5 minutes is a very short time) and I want to experiment on step B, then I don't want to rerun step A each time while I'm writing and running code that helps me understand what step B is going to be; I'd want that to be interactive and immediate, not have each rerun take 5 minutes.

Storing/loading to disk is not a good option because all the data that needs to be stored is not yet determined until the exploration is finished; If I write code to save/load A, then I need to change (and test) it after I'm done with B and now want to experiment with C, and it all becomes even more complicated when I need to add an extra step and data field to step A and rerun everything. Deciding what data should be stored in what format is something that you can do in 'productionizing' the code after you've done the exploratory analysis.

REPL is not a good option because it's not convenient to save and replicate the code that got you to the current REPL state.

The other aspect is that visually 'debugging' intermediary data through various plots is not conveniently possible in IDEs. I could generate some picture files in a folder or possibly an HTML 'dashboard' to see the results of my most recent run but that takes extra code and effort, and the results aren't immediately in my face like in a notebook.
Nope as in they don't do it anymore? I'd be very curious to see what's the onboarding flow now.
Well, depending on how badly this Wuhan thing goes, we could have a few years of no growth
I’m still runnin a 2012 (non retina) without any issues, and I plan on keeping it until it literally won’t boot. What’s funny is I was initially annoyed as I got it a few weeks before they announced they were releasing the first Retina display models (discontinuing the non retinas), however getting the last non-retina generation was a blessing because that’s was that was when they also began making upgrading MacBooks nearly impossible (non upgradable ram/and I believe some weird half SSD/half disc drive that didn’t come in >512GB or something like that). So getting the last (upgradable) MacBook Pro was the better deal because two or so years ago I upgraded the RAM to 32GB and because it was also the last MacBook to have a CD drive (that I never used) I was able to rip it out, put a $5 hardrive bracket in it’s place and threw the original (I think) 750GB or whatever HDD where the CD drive used to go, and popped in a nice 1TB SSD into the main disc drive, and nowadays it’s almost always plugged into a monitor so I wouldn’t really even be using the retina anyway.

Sadly though, I think I got the last generation of great MacBooks, and as much as I love it I fear for the day it finally dies, because I’m probably not getting another MacBook unless something changes, and there still isn’t a laptop out there that comes close to the good MacBooks (I know good one’s exist and I’ll manage, but they’re still not the same)
Sorry, I got confused about loops in model checking, I was wrong about that. I don't know what happened, since I even have co-authored a model-checking paper where we do check loops.

Be that as it may, seL4 cannot currently be automatically verified, and it's not due to code size (8700 lines of C and 600 lines
of assembler). It's hard to see what the obstacle to mechanisation could be but logical complexity.

Model theory is not some magical deduction-free paradise. The reason we care about model theory in logic is because we want to have evidence that the deductive system at hand is consistent. Building models of Peano arithmetic in ZFC for example, but also relating constructive and classical logic through double negation or embedding type theory in set theory, are all about relative consistency. It's easy to make a FOM (= foundation of mathematics) unsound, and logical luminaries including Frege, Church and Martin-Lof managed to do so. Those soundness proofs in essence transform a proof of falsity in one system to the other, and relative consistency is the best we can get in order to increase our confidence in a formal system. It is true that traditional model theory, as for example done in [1, 2, 3]. doesn't really foreground the deductive nature of ZFC, it's taken for granted, and reasoning proceeds at a more informal level. If you want to mechanise those proofs, you will have to go back to deduction.

[1] W. Hodges, Model Theory.

[2] D. Marker, Model Theory: An Introduction.

[3] C. C. Chang, H. J. Keisler Model theory.
My favorite pet peeve is trying to edit URLs in the address bar in Safari. Just trying to get the cursor to the end of the address field a an error prone chore. Often the text is select and there’s no way to unselect it. Then of course it doesn’t help when you want to remove some components of the URL that Safari helpfully autocompletes back to the URL you jus visited.
Come on, that's a bit too dramatic. Tech people don't stay unemployed for too long.
At the risk of sounding cold hearted: I get that it doesn't seem fair, but logically, it's the right call to drive to the end of the lane.

1) It keeps the rules simple. If we should merge at some arbitrary point before the lane is up, it will always be arbitrary, and different drivers will have different opinions.

2) By getting to the end and slowing down, the driver now has matched the speed of traffic. It's a self correcting problem.

3) Not going to the end of the lane is wasting capacity. If it's 4 lanes reducing to 3, how far back is it fair to expect that ending lane to go unused?

4) For on ramps, it gives more cars the chance to merge at once, which will either help the flow of traffic, or quickly reach equilibrium with the through lane.

5) And finally, if everyone always used the full lane, it wouldn't give "cheaters" the opportunity to pass everyone else and cheat.

>causing the traffic column in the thru-lane to brake dramatically

Theoretically, where the car merges doesn't have any bearing on this occurring or not. It shouldn't be any different at the beginning of the lane or the end. If traffic isn't moving, there's no breaking to be had. If it is, it should only give better opportunity to match speed and merge without disruption. Practically, the problem has as much to do with the aggression of the through lane drivers as it does the merging one.

They certainly have the right of way. I'm just saying that where the merging driver comes over doesn't really change any of that, unless the through traffic is behaving differently in response.
This pretty much sums up the whole thread. Lots of new people are doubting Python in cases where Python is being heavily used in megacorps. Python is special for its community, libraries and the huge amount of work that it's built on top of. And wake me up when some of these obscure languages that are being mentioned here take over python.

But Python zealots can be annoying. That's true for any language. Personally I don't like python's asynchronous programming paradigm. Objectively Go does it better than Python.
> Spite is another one.

This is a bad reason to spend any of your life on something.
I’d argue that the iPad is an excellent chance to downgrade to a less capable phone.

Get an iPhone ~8 — no need for an 11 in combination with an iPad.
Yes, I know, and the iGPU is complete dogshit. Why would I spend 2k+ on a device that is completely limited by it's GPU. It is not even able to run scaled 4k screens properly.

And regarding the size: Who cares? It's not a portable device, so make it a bit bigger and no one cares but is happy that the hardware is better.
Reads data (indirectly) from cache - you can select cache slot.

It is on you to make sure something interesting is in the cache, but if you can make your target execute, 12-bits is fairly good selectivity.
If you suspect that you were exposed to coronavirus or have it but are suffering from the milder symptoms, you should proactively self quarantine if you live with others, and wear a mask in public to avoid infecting others.
A Hackintosh does not just work. It requires far more upkeep than a Linux system.

I certainly wouldn't do it again!
Live data can be found here: http://grid.iamkate.com/

Currently 31% Gas, 33% renewables including wind.

It should be mentioned the weather here is grim right now so weekly/monthly/yearly averages are worse.
Hey, thanks for the detailed reply!

Last night, I went through a lot of research and bikeshedding myself, and a lot of my intuitions aligned with your experiences.

I was curious about Go, but it seemed while it was possible to do mostly everything you wanted to do, it wasn't necessarily a smooth experience.

I looked at Kotlin next. I'd used Spring Boot before with Java, and at the time I was fond of the annotations, but, like you said, I've heard that they can become a burden in larger projects. Thankfully, I saw that there were a number of other Kotlin web frameworks that had vocal support.

Finally, I spent the last bit of my time choosing between C# (.NET Core) and Kotlin with Ktor something else. I ended up finding this very helpful site[1] that showed examples from the two languages side by side. That had settled it for me; C# just looked more like what I wanted out of a programming language's syntax. Plus, LINQ looks really cool.

At some point in the future, I'd also like to gain more comfort with Python and Django. I can't stop hearing good things about those two.

[1]https://ttu.github.io/kotlin-is-like-csharp/
Maybe because some people have learnt they should comment but haven't learnt how to comment properly. And as often the case in this industry, the fact that some people do some thing badly leads other people to forbid the thing altogether.
If you're deploying "thousands" of these devices, you can standardize on a single model and even get custom support. The iPad might still be a good choice then, but it's definitely not the only one.
Germany [...] generates most of its electricity from fossil fuels (and most of that from coal and peat)

Germany doesn't use peat for energy production. We did run two plants in the past, but they closed in 1965 and 1974
Situation of CoronaVirus
What is the real situation in the world?
is there to worry about?
does anyone know if any activist community is moving to find out more?
Show HN: Keyboard shortcuts overlay browser extension for Gmail, GitHub, Trello
You can contribute to the effort to port https://postmarketos.org/ to old phones and help unify hardware support in the mainline kernel.
You can get a jupyter extension[1] that allows you to add tags and dependencies and this way construct the dependency graph as you go along. Of course, you have to do it manually and the interface is a bit clunky, but it does what it says.

In practice I think taking care not to accidentally shadow variables is much more important: this dependency business only makes sense once you have a clear idea of what you need and by that point you are mostly done anyway.

[1] https://jupyter-contrib-nbextensions.readthedocs.io/en/lates...
Unfortunately in developing nations like India, a reverse trend has just begun growing exponentially[1] as the youth becomes victim to consumerism.

The older generation would use day to day items (pots, pans, glasses, radios, TV sets, vehicles, even clothes) for what would feel like an eternity, repair till they wanted a well deserved upgrade and even then would either sell or donate the same.

Now I hear young people boast about how they upgrade their iPhones every year (or their cars every 3 years) and don't even sell the previous one because there's no point in getting $300 for it :(

While not everyone can afford to do that, but it does make it aspirational (in the minds of those vulnerable to herd mentality) to be a wasteful consumer h*e, smh.

[1] This mass cultural and spending to saving ratio shift is in the best interest of the government, who wants our economy to grow—at any cost.
> Companies complaining about job hopping are basically complaining that they can't get away with paying their employees too little for too much work.

Pay and hours worked is really only one part of the equation, but this is pretty much right. Complaining won’t do anything to solve retention problems though.

> Then again, every employee who's overworked and underpaid is proof that they are getting away with it.

This really depends on your definition of “getting away with it”. If continuing to perpetuate the problems that cause it, at great expense to the business is “getting away with it”, then I guess your right. You could “get away with” never going to work again, if you were prepared to accept the costs of being destitute for the rest of your life. However I think you’ll find there’s a large number of companies that have been forced to improve their practices in order to remain competitive. Anecdotally speaking, it’s why I personally won’t get out of bed for less than 4 figures after tax per day, and why I’d be incredibly reluctant to work in an office that didn’t provide me with free food, coffee and other drinks.
How to Create FAQ
> Yes, I know

Lol you said it didn't have one a second ago!
Bitcoin Gives You Back Control over Your Wealth but There Is a Price to Pay
1. We have no idea how old indigenous culture is in Australia. By this I mean how stable it is over time. All we know is there wasn’t much technical innovation, but as for language, ritual, religion there is zero data for how old it is.

2. Civilisation != culture. Aboriginal culture might be 40,000 years, but aboriginal civilisation is a little over 200 years old.

3. There are hundreds of different Aboriginal cultures so to make specific claim about them sharing a common feature is meaningless.
Which is a real shame, because 'in the hardware, with no software complexity or overhead' is exactly where encryption should live.

I wish some SSD manufacturers would get third party audits of their firmware which can say "We believe data stored on this SSD is not decryptable without an externally provided key". It ought to be pretty trivial to inspect the source to verify all keys which can derive the master key are never written to persistent storage.
From what I read, the viruses live in the intestine in bats. So no, only through consumption of bats themselves or contact with their excretions.
I've started driving again after a couple of years off, and it still astounds me that people lane hog the middle lane.

I don't know if it's laziness, ego, or fear of motorways but it should be taught as a rule. I usually make it a point to overtake and then, if possible, go straight back across to the left lane. Highly doubt the hogger is paying any attention, but I feel more content feeling like I've taught something...

Still amazing still motorway driving isn't taught or tested at all (I think? Been quite a while since I got my license).

As mentioned elsewhere in the thread, there's a lot less hogging in 2 lane scenarios, which I why I try and find A roads now rather than motorways.
I found it useful, if only for the idea.

My wife has gotten very serious about optimizing the last hay penny out of our expenses, and I'd much rather build her our own receipt ingestion process than use a 3rd party who is reselling our data.
The states that employed slaves were actually the least competitive. Having a high supply of workers that you don't care about leads to complacency.
We actually had anonymity of the crowds back then, which facial recog tech circumvents.

The problem is also that there are a LOT of laws, and it's very easy to manufacture a crime.

I would also suggest reading about people who have been subject to unwarranted surveillance just because of their views, and the damage it does them. A good example is the environmental groups in the 90s in the UK.
HTTPS: //buddysupplement.com/keto-trim-800-shark-tank/
Keto Trim 800 Shark Tank

No progressively required to encounter the disillusioned association of void and malice condition. Right now, with nature by grasping Keto Trim 800. As it is a web select thing right now, can purchase this thing from its official website in a manner of speaking. We have given an association underneath this article which will direct you to this weight reduction pills official site. Solicitation now.In case you should have been a dainty and fit body by then should impact Keto To fire Diet as your irritating accomplice. Keto Trim 800 will expend all the fat that you have taken care of for a long and hard to melt. Use this thing for continually 90 days for a slim and fit body.Keto Trim 800 A slimmer figure and a truly fit body is wanted to be controlled by everyone in the town here, yet just a couple of those individuals have it in all actuality. Have you some time or another while contemplating ever asked why this occurs? What is it precisely that makes all the weight reduction that you need as a procedure to happen to get so troublesome? On the off chance that these are remembered for a portion of the inquiries that you have and furthermore continue contemplating over for long at that point let us presently disclose to all of you of the realities that you right now precisely in the ideal spot!

https://buddysupplement.com/keto-trim-800-shark-tank/

https://youtu.be/EVO3tGQSexE

http://specialoffer4health.hatenablog.com/entry/2020/01/28/144840
* Consistent keyboard shortcuts. One can get by with a keyboard for way longer on macOS. It makes general usage very efficient.

* Native bash terminal.

* Just works and the defaults are fine.

* homebrew package manager is quite nice.

* iPhone integration is pretty awesome (file air drops, calls, messages all available from macOS)
Have you any info about how you regenerated the battery?
The File, Edit, etc menus on macOS are much more clear interface than most applications I've used on the iPad.

macOS is undeniably more powerful - It's the truck versus the sports car in the analogy.

But macOS is much much more straightforward and easy to use. I have far fewer things that I just have to memorize.
I don't recommend Shinobi after using it for a few months. It's far from finished, can't do most basic stuff and the interface is horrible.
Just get the extension: https://jupyter-contrib-nbextensions.readthedocs.io/en/lates...

there are quite a few very useful ones, my favourite being collapsible headings: https://jupyter-contrib-nbextensions.readthedocs.io/en/lates...
In my case I'm running macos in kvm VM on my home server based on SuperMicro X10SDV-6C-TLN4F. Seems to work ok but with some exceptions. First is the graphic card which I pass through to VM, it is geforce gtx 1060 and unfortunelty it limits me to use only high sierra, which seems to be the last version of macos for which nvidia web drivers are available. Both video and sound goes through hdmi cable connected to my tv. Other is network card, if you are ok using kvm emulated nic like e1000-82545em then you are set, if you are trying to pass physical interface, or sr-iov vf you may have to deal with bunch of kexts or flashing NIC eeprom to been seen as a card supported by drivers like the one provided by smalltree.

If someone want to try, here is with what I started https://github.com/foxlet/macOS-Simple-KVM
Yup. "If you agree please cough in this paper" does not sound like a very smart move.
> Linux is great - it's basically your deployment environment - but you often have to mess around with it a bit.

This doesn't make sense. One definitely, in general terms, has to mess around more with Hackintosh than with a Linux installation, as the hardware compatibility is much higher with the latter than the former.

I did use a Hackintosh, for some time. I still need Mac occasionally, but nowadays I just run it in a VM.
Or, people might not have published to ASA journals if their papers would not have been easily accessible from sci-hub.
Use old speakers and cellphone to generate random noise to annoy your noisy neighbors
The benefit of something like Ring is that criminals will know what they are and that somebody has very likely just been alerted to their presence.

I speak from experience when I say they tend not to care about traditional 'dumb' cameras as, generally, nobody is going to be watching them until after the act.
Not open source?

Not even transparent pricing?

https://www.couchbase.com/pricing
Just mount a drive over ssh?
Textastic
Ask HN: How to get access to secret Windows APIs?
Dear HackerNews,

I would like to implement my own virtual surround sound provider akin to "Windows Sonic for Headphones" and "Dolby Atmos for Headphones". As far as I can see, there's absolutely no public API doc about that feature.

How would you approach analyzing / reverse engineering Windows to get access to the provider-side API?

Given that Windows usually uses COM objects, I'd guess that once you have the correct binary file, creating a reliably working interface specification should be easy.
AIUI, both organizations have plenty of worthwhile projects which are constrained by available funding. They're not just maintaining a web browser + hosting an encyclopedia.

Of course, this is not to say that funding the Archive isn't also important.
There's an exception for libraries and archives by law, title 17 section 108.

Unlike sane countries though this exception is worded in a very interesting way causing serious problems when archiving non-literary media. (Plus you first have to ask for a license anyway. Only when licensing is impossible or perhaps denied repeatedly you could argue it's still applicable.)

In most EU countries the exception works in a much saner way. Move the archive there.
Just to add one more data point, I received a fake i7-8700k from Amazon UK, in addition to a couple other fake items over the years. Amazon is my last choice nowadays.

In case anyone's wondering, the fake i7 was some sort of Celeron with an i7 sticker on top - the real one is engraved/printed and has a different shape.
Looks more promising and easier to deploy than Rhapsody DR2 installation in VMWare I did once
I use it a fair bit for a variety of purposes. Without Sci-Hub, given the astonishingly high pricing usually involved I certainly wouldn't be paying for the articles. I'd be managing without as best I can.

Sci-Hub doesn't give me information for free I'd otherwise have to pay for - rather it provides information I'd otherwise have little access to.
It should be thicker, with a real GPU. Now it's unusable on a 4K display. Shame.
Researchers Find 102 Genes Linked to Autism