skysight-inc/HackerNews huggingface dataset:
There are plenty of good books on Mathematical logic and set theory, but they're pretty dense, dry and tend to lack context.

Honestly I'd recommend the more complex puzzle games. Top recommendation there would probably be SpaceChem:
https://www.gog.com/game/spacechem

Solutions to each problem are readily available on youtube, and while it starts off extremely basic the mid and upper level puzzles force you to break things down into distinct parts and have them work together. Best part is there's theoretically thousands of solutions to every puzzle, so even if you crack and look one up, you can then challenge yourself to make a better solution in some way. In fact the game shows you metrics at the end of each puzzle, showing how your solution compared to other players in terms of time, number of parts used, etc.

It's also a lot more entertaining than a textbook as has a pretty awesome soundtrack. :)
I heard a quote about automobiles: "When you remove the horse from the cart you no longer have a horse & buggy" I suspect if convincing music can be generated procedurally people will no longer put much value in a linear composition. Its possible music will become interactive via interfaces like AR and VR.
Couldn't you risk shocking some poor electrician that thought the power was turned off? Maybe the inverter has some sort of safety system that I don't know about; I'm no expert on this.
Those calculations also assume he'll use all of the energy it produces, every day, with no loss; it's a back-of-envelope best-case calculation, at best.
Are you stationary or do you move around? Four batteries + solar panels can get somewhat heavy and eat into your total capacity, so I'm curious if it's an issue.
I'm eternally irritated that it doesn't support date inputs. This has been a thorn in my side for years.
Hard to love when the broken extension ecosystem prevents the use of vertical tabs for these scenarios.
I spent a summer as "that guy who digs with the compressor" on a maintenance crew at a summer camp.

I discovered it when I accidebtly blew a hole in an asphalt parking lot trying to use the compressor to clear sand.

Compressor was a little 50hp Rand diesel tow behind. 120psi 180cfm. In soft soil no water is even needed. A little water (like 2-5 gpm makes everything nicer). I started by making a little brass siphon fitting and then upped it to a garden hose fitting by the end.

Layed miles of sprinkler pipes with it. Always figured it would make a fantastic automatic digger for something or other.
If you hook up a ton of these and actually generate _more_ than you consume at any time, you will actually _pay_ the power company for the power you push back into the grid. You have to get a special meter that can measure the direction of the flow. I have bought two residential roof-mounted solar systems and this is what they told me. If you never generate more than you use, maybe you're ok.
I built a very similar system into my Jeep-house.

I have two 100W panels on the pop-top roof, a charge controller and a dedicated solar battery (isolated from the engine-starting battery) that runs my fridge, water pump, UV treatment lamp, interior lights, air compressor and charges all my electronics (laptop, kindle, cameras, etc.) directly from 12V DC.

I can leave the Jeep parked without running the engine for days and easily have enough energy to meet my needs.

The system has been amazing, and it's fantastic to be electricity self-sufficient in remote West Africa, where grid power is often non-existent

More details and photos here: http://theroadchoseme.com/jeep-build-complete
Most do. The panels you see on rooftops are all generally exactly the same size but could generate anywhere from 315w/panel to 250w/panel depending on binning. No idea why that company didn't.
Product/Market Strategies
You can call the cops on that. Even then the landlord would probably kick them out for a higher rent payer as well.
Sorry if this is somewhat off-topic but how do you make Firefox' tab bar look like the one in the article (i.e. no rounded edges for the tabs) on MacOS?
How risky is free software?
When I was shopping Itek panels, I got a prices for 270W, 280W, 290W, and 300W. I suspect most companies do binning.
This is being actively worked on and coming soon to Firefox.
If we are talking about being green, what is the carbon footprint of manufacturing all those things vs the equivilent carbon to geberate thr electricity the solar panels provide?
What We’ve Learned from .NET Core SDK Telemetry
Tree style tabs work
My first thought was that it talks about `reboot` binary
Marc Andreesen fined for illegal lobbying of Chicago Mayor
totally agree on that (yes is when the check clears) I was helping a startup getting VC and basically the check never came. Granted that they wernt' very happy with the progress and that was pretty transparent, but they never actually said it would impact anything. I think the founder could have handled it better but I can understand taht it's sometimes hard to tell what a hard-requirement is from a stretch-goal.
We all understand that PhDs don't have to apply for startups. There are definitely other options to explore if you don't like speed and working in agile. But, when you apply for one and get an interview, you should be prepare to adapt. It is just simply a matter of researching into what you are expected and whether you'd want to work in that environment or not. It applies to anyone who applies for startup jobs tbh.
I used https://getkap.co/
Firefox has two alternative built-in themes, compact light and compact dark.
That is broken because it supports more tabs. The multiprocess model is precisely why the old extension model had to be abandoned.

Sadly, the new extension model isn’t nearly ready for prime time yet.
I have the bad habit to open many tabs on my old MacBook (mid 2010). Boot time, together with CPU usage, is one of the main reasons I had to use Opera as my primary browser. I'm really happy to see this might change in the near future.
If you have a sizable chunk of equity and the liquidity to exercise options (or if they are already exercised) then leaving the company can make it easier to trade on that equity.
That's at the bottom of the article:

Production footprint PV multicristalline: 4200kWhee/kW [1] * 0.1kW = 420kWh embodied energy

Production footprint lead-acid battery: 321kWhee/kWh [1] * 0.5kWh = 161kWh embodied energy

Total Footprint: 581kWh

Annual energy production system: 155kWh/y

Payback period: 581kWh / 155kWh/y = 4+ year footprint payback
Wow. I've been getting more and more frustrated with how poorly Chrome handles even a moderately large number of tabs (~150), and it sounds like my savior is going to be ... Firefox. Huh.

Wouldn't have guessed it, but I'll totally take it.

I have a nice extension for Chrome called Quick Tabs that gives me a searchable list of my open tabs and makes it easy to find things I have open... anyone know which of the several things that seem to do that with Firefox would be the best to use?
better yet - don't create functions, especially inside a loop, in your render function,

getItem = i => <Item item={i}/>

...

<List>
{items.map(getItem)}
</List>
Neat.. For go I haven't really thought about using it, but I've been working on a project that uses a bunch of bleeding edge C libs.

Building the project involves building 3 repos from different git branches before building my little C program. Literally just

git clone && checkout && ./autogen.sh && ./configure && make install

3 times.

I'd love if I could just make a BUILD file for bazel and be able to just have $MAGIC happen. Especially since it looks like the bazel c target has 'linkstatic' for building a static binary.
The best hedge funds should be 2x the SPY... It would beat every body. However, clients won't pay for this. People spend so much effort and don't beat the market, but clients want people to work on stuff...
ntlm is still used every day in WiFi authentication. PEAP authentication is MS-CHAP over TLS over EAP. And the only way for non-MS products to authenticate to Active Directory is via Samba and ntlm.

Things would arguably be more secure if MS allowed for AD to export the password hashes to other systems. Querying for an NT hash via LDAP over TLS has essentially zero security problems. (Other than the NT hash itself)
It's disputed: https://en.wikipedia.org/wiki/Efficient-market_hypothesis
Is this a net neutrality violation? The article states that they were throttling all video, not just the video from Netflix. As long as they weren't targeting a specific site, couldn't this fall into the category that ISP are allowed to prioritize different types of data. For example, a network may prioritize VOIP traffic over other traffic. Would that be a violation of net neutrality?
Hear everything you're saying. I agree.

Expecting competitors to share data is a non-starter. Fed's carrot vs stick stratgey is not sustainable or economical.

You say regulation and I'm thinking unbridled bureaucracy. eg What drove ICD-10? Not patient care or improved outcomes. Maybe jobs program for consultants, or plausible deniability for insurers. But no one can deny the ever increasing admin overhead in the US, with or without govt involvement.
It's anything above grade.
I spent some years with dual 24" 10:16 screens. It was a convenient coding and documentation reading environment. If the workstation had supported a third screen, I would've requested one to run horizontally, for the rare times I had to view video, or something.
You sometimes see "&c." for "etc.".
I guess Google wanted to start with a clean slate based on the design principles already established internally (a system called Stubby).

gRPC was designed from the start for HTTP/2, which comes with some benefits: It's able to work wherever HTTP works (load balancers and proxies), can multiplex calls over a single stream (Thrift on the JVM, where it's most popular, uses a thread per socket), supports cancelation and streaming and so on. gRPC is arguably more opinionated than Thrift here; Thrift is both a serialization format and an RPC mechanism, and for Thrift RPC you can choose between different transports and framings, of which HTTP is just one. gRPC is HTTP-only, and is (at least nominally) serialization-format-agnostic; you could, in principle, use Thrift over gRPC instead of Protocol Buffers, for example. So in this sense, gRPC is more pure and generic than Thrift. (I'm sure Thrift fans might disagree here.)

I haven't actually used Thrift, so maybe someone else can chime in about other reasons gRPC is preferable.
I use Firefox as much as I can, for many reasons. Two things keep me from using it all the time:

– Yubikey
– My Chromebook (I would use and equivalent FirefoxOS if given the choice)

There are performance issues in some cases but nothing major. It is still somewhat slow compared to Chrome, even though this may be due to optimizations done specifically for Chrome.
lowendbox.com is great for VPS deal hunting too.
Or Paul the Octopus: https://en.wikipedia.org/wiki/Paul_the_Octopus
Not that I agree with being given this "choice" and I use the term quite generously here,

1). This is not the same as criminalizing non-compliance because these people are not in jail for refusing a vasectomy. I do not agree with the Judge giving them the opportunity to get out early by surrendering their reproductive rights or my forgoing those rights temporarily in the case of women, these people are in jail for breaking the law not for refusing birth control.

2). I know that there are genetic conditions that cause serious birth defects and a life of unrelenting pain and suffering. I know that sterilization is offered by some in the medical community but I am unaware of anything like that being criminalizes. If it is that is in fact disgusting.

3). At one time people in institutions and those with mental retardation or mental illness have been sterilized without their consent. Times have changed and that is no longer acceptable in the US, thankfully, but even back when this was considered acceptable and widely practiced, it was not criminal for a family to refuse.
Even today, countries like France enact policies in order to suppress or exterminate languages that don't benefit the state. [1] When do you think Canada stopped trying to force its indigenous cultures into extinction? [2] Communism is not some essentially more evil ideology than the ideologies it competed with. Far more than ideology, the material interests of the ruling classes in all nations is what drives social and economic policy.

[1] https://en.wikipedia.org/wiki/Vergonha

[2] https://en.wikipedia.org/wiki/Canadian_Indian_residential_sc...
Lorentz and Minkowski were developing special relativity at the same time as Einstein (albeit in a mathematical context). And Hilbert arguably produced general relativity prior to Einstein as well.
My understanding is that Thrift is Facebook's analog to Google's Stubby. Or gRPC [which is the next generation of Stubby].

It's not implementing the gRPC interface. I don't think gRPC was open-sourced [2015] early enough for Thrift [2007] to be built to its API.

Disclosure: Google employee who uses Stubby. [but is not on the team]
i came here for the algaerithms, was disappointed.
I've never noticed this, thank you!
In the U.S. the term you're looking for is 'Conservation Easement' which is how private landowners can get a tax break for preserving forested lands.

I'm guessing that there will be more pressure to have similar programs in developing nations.
We are very mobile, usually stay in one place for a week at a time and then move a couple hours away. You're right about weight though, we are right at our GVWR (11,000 pounds) when fully loaded. The batteries weigh 100 pounds each and the panels are another 15 pounds or so each. That said though, we get terrible gas mileage already so the extra 500 pounds for everything doesn't change it much.
Incremental, or low cost/risk? A more general concept. Because sometimes what seems non-incremental, is just a change in economics.

At a history of biology colloquium, a sociology of science person, was trying to fit a narrative of new perspectives unlocking previously unconsidered questions. And the pushback was, no, the dominant effect was the cost of various tools dropping by multiple orders of magnitude. Which changed previously intractably (and thus uninteresting) questions, into potentially fruitful ones (worth pursuing).

One of the many problems with patents, is non-obviousness being incorrectly assumed time-invariant. Granting multi-decade monopolies for "you did it this year, that's cute - everyone else was waiting until next year, when it would be easy", which doesn't promote the progress of science and useful arts.
Nope but it's still not pleasant. Granted they're still snorting cocaine but do they want to short sedative antihistamines when they want a stimulant? Unlikely.

The point is dealers will cut with unsavoury shit. They're not stupid enough to cut with poison but they are stupid enough to cut with shit that will turn people away.
For Seattle women called Alexa, funny, frustrating to share name w Amazon device
So when Bitcoin hardforks, coinbase is saying they wont "support" the new fork... but since they have the private keys, doesn't that mean they're essentially keeping all the hardfork coins for themselves?
You're claiming some extreme continuity between the politics of dozens of major political entities over thousands of years and your only supporting argument is that it makes sense to you.
Unless you ride a diesel line into Hoboken. Then it's just bigger than usual crowds to deal with.
Decent overview, but, remember that when evaluating something, projects change over time. Even better, you can be the change you want to see! Thus far, the grpc project has been fairly responsive in making solid changes, either through PRs or filing issues. ;)

Regarding the complaint about errors, there is already protocol support for structured error handling: https://godoc.org/google.golang.org/grpc/status. https://github.com/grpc/grpc-go/pull/1358 should make this easier to use. In practice, the provided error code set is very good, so give them a try before making things more complex.

Worst case, you can just stuff things in a header or trailer.
The prior claim was that, in a gentle breeze, 135F and 90% RH was the same as 103F and 20% RH (that hotter AND more humid was the same as less hot and drier).
Whut? It didn't get any faster, it's just more aggressively lazy loaded now. This is breaking the very use case of people who have 100+ tabs; they want stuff to be there when they click on it.
Should be in 56: https://blog.nightly.mozilla.org/2017/06/12/datetime-inputs-...
It uses NuGet. You can install packages from the NuGet repository, or one that is hosted elsewhere. You can find more info here:

https://docs.microsoft.com/en-us/nuget/tools/package-manager...
Xwayland is going to be a very important part of wayland for a long time.
I was almost in extreme commuter territory--for two years, my wife and I commuted 1.5 hours each way in opposite directions from Baltimore (her to Delaware, me to D.C.). It was okay. The unpredictability of Amtrak bothered me more than the time.

We then did a shorter commute for a bit (15 minutes Uber for me, 5 minute walk for my wife). But recently we traded it in again for a long, but very predictable (hour and ten minutes each way) commute from Annapolis to D.C. I don't really miss the short commute. My wife chat during the mostly-shared part of our commute, and the cab ride from union station lets me catch up on emails. On the upside, I don't have to live in D.C. or send my kid to school in the D.C. bubble.
Twin Turbo Shootout – Winner Stays on DRAG RACE
Why do you have a profile w/ 1600 tabs in it. If whatever it is is so important, aren't you afraid to lose it? I'd be terrified that one time Firefox just wouldn't shut down clean.
I suppose I'm alone in getting all nervous if I have more than 10 tabs open.
It's futile, Bezos will never agree to stop making those boxes out of cardboard.
"% foo" will search your open tabs for foo. See https://support.mozilla.org/en-US/kb/awesome-bar-search-fire... for other characters that will filter the search results for other data such as bookmarks, history, tags, etc.
Glad to know you're trying Dgraph!

Related questions are being done based on question tags. We do support full-text search, which is what the search bar is using for questions and answers.
It's not a false dichotomy. You're just working VERY hard at ignoring the context. The part you quoted comes right after the part that says "If we want to distribute something like Magit with Emacs".

If you don't think that's a worthwhile goal, that's fine, but there is no need to blatantly misinterpret the context of the discussion here.
And nearly every post in this thread, and likely the intent of the OP in the first place was to show continuity between the Russian Empire, Soviet Union, and current Russian Federation.

In fact, it's exactly this rhetoric (Putin wants to bring back the USSR/Russian Empire) which is responsible for current western foreign policy.
Weston-super-mud (Weston-super-mare has mudflats)
Please do not do this. For one, it's illegal. All grid-tied solar systems require either a transfer switch or to automatically disconnect when the grid loses power. This is so that you don't electrocute an electrician working on lines he or she thinks are dead. Second, most non-"net" meters don't read negative currents. So if you are generating more than you're using, they'll keep spinning forward and you'll get charged for more than you actually used. Third, the fines if you're caught are pretty high because of the safety issues.
It's unfortunate because back in ~2010 I used to open over 1,000 tabs in Chrome at a time. It's very useful when doing research: each window represents a topic, and each topic can spawn 30+ tabs.

Nowadays Chrome keels over at around 150, like you say. It also leaks memory like a sieve, so if your hard drive is anywhere close to full you'll end up with a lovely OS X popup saying all your running programs have been frozen and that your system is out of memory (since it can't page to disk because it's full).
Out of curiosity, and because the article doesn't delve into it, why do you have 150 tabs open?

In the course of my regular browsing, I usually have 3-4, and never more than 10-15. It's not something I've ever considered to have that many tabs open
I do, almost exclusively. It's nowhere near as bad as some people around here make out. I like it.
> But you will find takers at some price.

At some point, the goods won't move unless they are inelastic goods (which individual foods aren't). There is no single food product which people can not live without.
My claim is not that The Boring Company and related government public safety agencies can't figure this out. It's that the tunnel project is not going to get approved without detailing fire safety, which is a BIG deal and probably more complicated in terms of government approvals than "mere" tunneling rights.

You mentioned planes. There are tons of regulations and engineering codes and procedures and training and on-board safety personnel that go into making airplanes fire safe. Including emergency landing and evacuation and firefighting procedures which need to be reimagined for deep underground, elevator-accessed tunnels.

Even the existing procedures for subway systems probably need to be reimagined for deeper depths, narrower diameters and elevators which are the hallmark of The Boring Company's approach.

And I should reiterate that the video shows cars using surface elevators and riding on electric sleds, not a more tightly controlled hyperloop system. So that further complicates safety.
Not to at all dispute your use case/requirements or anything, but as a depth-first browser user, I can't even fathom a world in which 150 tabs qualifies as "moderately" large, and not "how many tabs???" large. And 1000+ (as cited by a sibling poster)? Wow!

I wonder if this "I want to read this but I'll set it aside for now" model of browsing might be better served with a different UI metaphor...
>But I've met gaijin girls in my language classes here who work as hostesses, and they clearly felt like they escaped from places like Indonesia and Philippines, and even in the seedy underworld here they had more opportunities than where they came from. (Anecdotal to be sure, but also first-hand.)

>Also, I know restauranteurs who happily pay protection money and feel like it's a valuable service for them. Go figure.

Although, one wouldn't expect them to publicly admit otherwise.
As a many tabs user, I don't agree. The use case is more like a more visible bookmark, with history. Any tabs commonly used will already be loaded, and it is fine to lazy load tabs that are rarely used but kept open as reminders. It's definitely a much better experience than waiting 5 minutes after startup for the CPU activity to die down.
Hit the road – with your insurer and lender keeping an eye on your driving
This isn't his main profile ( well I hope not any way ), it's a profile used to test extreme startup performance issues.
How to Improve Your E-Commerce Customer Service in 2017 – Tagove
> I'm so sad that nobody uses you.

Well that's just false.
Dull - twinned with Boring, Oregon - can be found in scotland.
Luxury.

My longest commute (admittedly weekly) involved leaving my house near Ipswich in Suffolk, England, at 0430, driving to Stansted Airport, taking a flight to Zaventem, taking a train to Brussels, taking another train to Liege, then taking a bus to Sart Tilman, finally arriving there at 1120 (1030 UK time).
I've got vertical tabs from Test Pilot for months now and I'll never turn back. Not sure what you're talking about.
That's why we wiped any system which showed sign of infection. Keep in mind this was ransomware so... probably... it is reasonable to assume the infection will not be subtle.