skysight-inc/HackerNews huggingface dataset:
> Carbon credits are at least in principle meant to accomplish a reasonable goal.

The argument is not whether the goal is reasonable, but whether are money is play. With carbon credits, there certainly are, and a lot of it.

> As for relying on taxpayer-financed investments, that's exactly what tax money is meant to be used for.

Nope, it's exactly what tax money are not meant to be used for. Tax money should be used to protect the citizens, to provide for law enforcement, defense, common infrastructure, taking care of the poor and ill. High-risk venture investment is not what it should be used for. That's what private VCs are for. And if VCs wouldn't want to touch it with ten-foot pole, maybe there's a reason for that.

> Tesla is the golden standard of using government loans efficiently, for the betterment of society, and even paying them back in full ahead of schedule!

Exactly because they profited so much out of "green credits" mandate, effectively taxing owners of all other cars to their advantage. Getting hundreds of millions by government mandate is a pretty sweet deal, especially if their direct competitors have to pay it.
I have a legitimate question. If you delete your Facebook account, how does that affect your OAuth logins on other websites? I've been tempted to delete my Facebook account but there are unknowns about how that would play out in the social login space, so I'd be interested in your thoughts.
We need to make things ridiculously simple for the users. A meter on an article showing them if its true or not will likely be ignored.

I like this approach, big, bold and in your face. We need to call out all the fake, garbage news out there.
Heh, well put!
Aside, but you say "various OS and kernel versions". One'd have to use virtualization in order to run a kernel different than the host. I don't think containerization can help you there, at least as far as spinning up an image with a different kernel is concerned.
We already have tools for proving applications and compilations correct. The problem is there's little to no optimization of those applications because optimizations can break correctness. One aspect of research like this is skirting that by throwing all kinds of optimizations at something combined with equivalence checks that ensure the new form is semantically equal to original form that we know was correct.

For example, CompCert compiler will produce correct assembly from a correct, C program. A set of optimizations might be available for the middle passes. Let's say C program gets taken to form I for intermediate. We know I is correct because that's what CompCert does. Applying J = optimize(I) might break it semantically in process of trying to speed it up. J might not equal I in some way. So, strategy is to develop an equivalence check as strong as CompCert to do J = Optimize(I), If Equals(I, J), Then Return J, Else Return I.

An example of a project doing this for real-world stuff is effort to formalize and equivalence-check LLVM's intermediate code:

https://www.cis.upenn.edu/~stevez/vellvm/
Why does it take so long for us to form our first memory?
This is very true for some types of books. For example, I am not able to read Dostoyevsky or Carlyle fast. For some sort of books, I even feel like I need a nap after 30 mins of reading, as I feel that my brain gets tired :)
But "social" was the whole mantra of business, a decade or two ago. Still is... "open space!"

We are all going to "collaborate" endlessly into ever higher heights of achievement.

"Social" was being integrated, per force, into the workforce.

And... real productivity dropped, and people became stressed out.

Facebook et al. aren't at odds with the contemporary corporate workplace. They just exemplify what a crap policy it is.

Imagine being forced to be on Facebook 8, 10, 12 hours a day, while trying to actually accomplish something. That's what much of the contemporary workplace has become at major corporations with which I'm familiar.

Am I bitter? A little... more than. Because they kept telling my my trouble concentrating in such environments was my fault.

Whatever you think of social media, such workplaces have not earned the right to express any opinion on the matter.
Tony Blair Plans a Return to Politics
I agree with you and have found stdlib to be very intuitive for newcomers. I like stdlib so much that I created an stdlib intro article at http://thisdavej.com/creating-node-js-microservices-with-eas....
100 times this. There needs to be a coordinated effort to stamp out all political material on HN so we can focus on actual Hacker News and not the Silicon Valley political sphere.
It's not censorship as long as you have to install the extension yourself.
"You can and should be judged on the basis of the ideas and opinions that you promote."

That reminds me of the quotation:

"A new idea is a beautiful and fragile thing. Attack people, not ideas."

I don't know who said that first, but I love that quotation. It mocks itself (and other witticisms), and at the same time reminds you to focus your energy attacking ideas rather than people.

In extreme cases, someone can have a lot of bad ideas and you need to challenge them personally. But that's only in extreme cases, and doesn't apply transitively to supporters of the person.
Show HN: Mac OS X app controlling the OD-11 cloud speaker by Teenage Engineering
Ask HN: Websites to find local events
I am looking for websites to find local events, Ones I already know of are eventfull.com, meetup.com and the new Airbnb experiences and places and events.com . I am trying to build something similar and it's important for me to know what people are doing currently to solve this problem. Please link me all the websites you know of which does the same.
I'd say start with pocket screw joints. You can buy a jig from Kreg for ~$100 for making the holes. You could build the entire stool in a few hours if you have all the right tools.

I like the pocket screws for beginners because it allows beginners to have some success and build confidence to do more. It also helps to finish a project if you don't have lots of time.

I wouldn't use plywood but something like poplar. It's still cheapish, it's easy to work with and it's reasonably easy to finish or paint.

Something nobody has mentioned is finishing. You can construct something beautifully with dovetails but if you don't finish it correctly you will ruin it. Conversely simple construction that's well finished looks great. Finishing in my opinion is the hardest part of any woodworking project.
No special meaning at all. I recently realized I almost crossed this number, so I thought to share what I learned.

I'm not proud of the number of books I've read. Actually, I would prefer that I've read less books, but that I've read more times the best ones (in my opinion).
Computer Science courses with video lectures
So at the extreme efficiencies Shawyer claimed, overunity was at decidedly nonrelativistic velocity. It'd be interesting to calculate a maximum drive efficiency before you get overunity.

I've seen claims that the max is the efficiency of a photon rocket, but I haven't seen it backed up with math.
I'd never seen this before, but it sounds a lot like `zeal`, the desktop app https://zealdocs.org/

Upside of Zeal, is that desktop is usually more comfortable for developers.
One may learn any x in y minutes, especially if there is no upper limit on y. So I'd like to see something like "Learn X in Y minutes provided Z constraints". But the moment I talk about constraints (like focused attention, practice, drill etc) then it sort of starts getting lesser and lesser popular.

Reminds me the famous old Euclid's remark - "there is no royal road to geometry".
Running VNC into a $200 Mac Mini stored in a server-cabinet.
I believe it's still pretty common to use a form of seaweed called Irish Moss as a thickener in ice cream.
i have a number of side projects, none of which truly require my time anymore... income ranges from a few hundred a month of a couple thousand.
are we really pretending that those people would've changed their vote had they not seen the "fake" news?

I'm willing to bet that the vast majority of these shares were by people who wanted the news to be true anyway. I have friends who shared some stuff like that. they were never gonna change their vote/view. everyone else would just roll their eyes.

I'm with Zuckerberg on this one. fake news did not affect the election. people are just looking for an excuse to blame. I would love to see how many people will still be against fake news come April first
It's totally on topic. The media is telling us to quit social media. Whereas I'm saying we should quit the media. It is also most definitely something new as most people aren't pointing the finger at the New York Times. Both these points should be quite obvious but they weren't as I suspected which is ironic because it led to canned, low value rebuttals.
Gleick's "The Information" and Dyson's "Turing's Cathedral" would be 2 other good pop sci books on the origins of CS.

https://www.amazon.com/Information-History-Theory-Flood/dp/1...

https://www.amazon.com/Turings-Cathedral-Origins-Digital-Uni...
Hi there!

I hadn't expected such a delayed reply! Will get to reading it this afternoon. (:
I wrote the apex(1) tool and created https://apex.sh/ping/ with Lambda, in general it has been great, has scaled flawlessly since launch (granted I'm only doing ~8M requests / day).

Conceptually I think it's great for pipelines or use-cases like this, VMs are generally a terrible level of abstraction for a lot of problems, and the Lambda style promotes better architecture because of this.

The connectivity between Kinesis/SNS and friends is great. I'd agree that Lambda is not currently a good fit for "regular" apps, APIs should be fine now that the proxy stuff is in there, though there's slight latency.

No need to worry about gracefully stopping or restarting daemons, just push new code and the old stuff goes away, it really is a great abstraction that way. Basically replace anything you'd use a Go channel for, with more Lambda or SNS->Lambda if you need retries and backoff, it'll spare you a lot of code.

I find the workflow great as well, the slowest part for me is compiling the Go binaries, the rest is virtually instant. Especially now with all this needlessly complex Docker stuff it's refreshing to use something simple.

Cost is prohibitive for sustained use, so make sure you price things out properly, it sounds very cheap until you look at say a constant 100 requests/s behind API Gateway. It's easily 300-400% what you'd pay on EC2.

Cold-start is really a non-issue in most cases, it seems to take very little to keep a function warmed, so unless you get zero traffic (which would be dirt cheap on a t2.micro anyway) you'll be fine.
Arq.

S3 and google drive.
Bay Area job market rebounds from earlier ‘false scares’
So, when will we be able to use WebExtensions to modify the main UI’s scripts and DOM?

I want to add tab previews with screenshots on hover (as in vivaldi), I want to use custom history (and completely change the way the omnibar works by searching through that custom history server with fulltext indexing of all visited webpages).

When can we expect that (which is possible with existing extensions) to land in WebExtensions?
>> ... feeding your family and ensuring you have a roof over your head are more important than breaking your own ethics with developing software.

That's why recognized professionals (ie lawyer/doctors etc) expect to be well-compensated. They are expected to quit, to walk away from unethical situations even where doing so means they loose out on work. This is why many professions do try to limit the number of members as flooding the market, lowering wages, will push some members to do things that damage the profession.
I wrote a blog post about how we process Hearthstone log files into replays for https://hsreplay.net

https://hearthsim.info/blog/how-we-process-replays/

TLDR: AWS Lambda is awesome if you have indeterminate-but-high amounts of small CPU-bound tasks you want to be able to do in parallel, as soon as they are needed. Awesome for file processing (eg. image resizing) for example.

But being stuck on Python 2.7 sucks. PLEASE Amazon, announce Python 3 support already.
Made https://enlight.ml -- a site to teach people to code

an ad on each page. I expect it to generate about $50-100/month
GNOME is developed by the GNOME project, which as far as I can tell isn't actually part of the FSF.

I don't considered everything licensed under the GNU license, or formerly associated with the GNU project / FSF to be 'GNU'.
I don't actually run many virtual machines. But if you divide 16 gigs for ten desktops => 1.6 GB per project, minus "all desktops" apps, not too much. Modern applications (esp. web apps) tend to be memory hogs. For example, Facebook alone run on Fluid.app easily eats a quarter gig of real mem.
Good question. I put quite a lot of effort to explore available books on the topic, but that would take another (much longer) blog post.

Good luck with your quest! If you need some inspiration for books to read, check out this great list: https://sivers.org/book
Most forums ban obvious spam - viagra, porn, etc. But HN bans people for being overly critical, for not agreeing with the groupthink, or perhaps not having enough tact or politeness.
Thousands in Coimbatore Gather for Funeral of ‘20 Rupees Doctor’
Mostly it is not a big problem for us. Our functions that need to be fast have very high traffic. Our other functions don't need to be that fast. We also have a CDN in front of most things.

That said, we use node. I have heard cold starts are worse for Python (I have no data). I have heard they are near unbearable for Java (JVM startup and all that). We try and minimize external calls outside the main handler. Previous to this update we were packing configs with webpack at deploy time. Some people read them from S3 or dynamo. I don't consider that a good solution. I'll be working this week on Shep 3.0 which will use the new ENV var features.

I have talked to other people who do various hacks to force their functions to be warm. I've looked at doing this and haven't found it necessary yet for our use case.
A while ago I tried to use sphinx-autoapi, but the experience was simply frustrating. Too many steps, too many dependencies, the tooling required numerous tweaks to generated good output, and errors were difficult to debug.

I ended up writing my own script. Now I simply do

./docstring2markdown.py modulename [github_master_url] > README.md

And it generates a Markdown API like this one: https://github.com/boppreh/keyboard#api . Note it includes constants and their values, full method signatures with default values, points out aliases (methods with the same name), keeps everything in the order it was declared, and provides a link to the line number on the source.

It's not perfect, but I'm quite happy for a ~100loc script.

Hopefully they launch something as easy and I can retire my script.
One other mindblowing fact is that if you project the mass of the sphere onto a line that goes through the origin, you get a Gaussian distribution as the dimension goes to infinity.

If you're interested in more technical details about the weird geometry of balls, I can't recommend enough the first few pages of "An Elementary Introduction to Modern Convex Geometry" [1]. Ironically, the author's last name is Ball.

[1] http://library.msri.org/books/Book31/files/ball.pdf
I don't get it.

1. Throw away the alarm clock;
2. Go to bed earlier;
3. Sleep as long as you really need to;
4. Things will be better.

Sounds great. So, I've gone to bed early, I've given myself plenty of time to sleep, I need to get up at some specific time. How do I know I'll wake up in time?

It says:

You might find, at first, that when you
go to sleep earlier, you're still tired
at the time you're supposed to be getting
up.

Yes. I might. This still doesn't answer the question:

How do I actually ensure that I'm awake at the time I'm supposed to be awake?

I don't get it.
There are just a few acre-feet of water actually used per well. The remainder should be treated and returned; there just isn't that much water out there.

But with frack companies hanging by their teeth it isn't clear that this will be done.

This is a solvable problem but market conditions and the people left in the industry my not support it very well. It's not exactly a hotbed of technological innovation.
High-Fidelity Bio-Acoustic Sensing Using Commodity Smartwatch Accelerometers
Tarsnap. I like knowing that cperciva is ensuring the security of my backups. ;-)
This is valid bash too.

(If you don't know, you're probably running bash.)
For the same reasons as why (for example) more women and minorities should be hired: a diversified team is more successful in the long run.

https://www.thebalance.com/cultural-diversity-3306201
https://www.asme.org/engineering-topics/articles/diversity/m...
I think the answer is that both don't have websites designed for people doing research beyond "what's the cafe menu?" I've been physically to both museums and the USAF museum is truly breathtaking. The Museum of Flight is far less so.

I think civilian flying platforms, without some sort of modern fail-safe stability augmentation, would be a regulatory and liability nightmare. Plus the costs would be crazy, if not to buy and operate, to maintain. Zero-timing a jet engine is not a small expense and it's continual.

P.S. My nom-de-HN is a tribute to a defunct project's code name. It was a sausage with a thin skin of delusion well stuffed with bad judgment and strongly seasoned with incompetence. Not to my taste at all.

P.P.S. There seems to be a lot more info under "WASP" than "X-jet".
From my perspective, from a very humble position, the content on this site seems to skew toward the "harder" science problems lately, a far cry from when 5 out of the top 10 stories were RoR related and many other stories were related to pushing CSS and JS to the extreme with a smattering of stories about startups and people hitting it big or failing.

I think we have since learned about the influence of survivor bias, that you can really accomplish the same things in any programming language and that since YC itself is now focusing on larger problems, some with sociological and political leanings, that it is best to move on from looking at things at the code level and instead look at the bigger picture.
Agreed. However, Germany is typically not regarded as a part of Northern Europe. Although that can be argued since there is no formal definition if Northern Europe.
I am not sure I would interpret this observation as spheres that are getting more spikey. Maybe what gets more spikey is the actual box, so the sphere has it easier to touch or even extend outside of it.
That's a little more like Paredit, honestly.
But you can buy health insurance instead of public healthcare.

But you lose the freedom to decide.
Did you happen to raise a feature request for Python 3 as well? With any luck, we'll get that before Python 4 is released... :)
the things on snapchat (after the part on the website?) are mostly by "Cohen Edenfield" rather than by the author of homestuck (Andrew Hussie), but there are continuing to be some things posted there. But not by Andrew.
Macroeconomics represents less than 20% of the practitioners of economics as a profession. Of those macroeconomists, maybe 5% actively involve themselves in business cycle theory, and only a fraction of those would fall into the monetarist theory camp which would advocate for such interventions. So even your absolutely idiotic straw man argument concerns at most a fraction of 1% of the practitioners of economics.

And no, I'm not an economist with "an extremely biased [sic]". I'm a supply chain engineer that has directly worked with dozens of economists for approximately 3 years, incorporated dozens of their econometric models into supply chain decision systems, and have never once have discussed anything political with them. And I just witnessed a clueless bullshitter malign the field of study that they have dedicated their lives to with an argument that could be considered libel at its most forgiving interpretation, and decided to call that clueless bullshitter out on it.
> I just want to free us from the burden of these websites that add nothing to the world and leech attention from everyone.

The slope is very slippery. It is very easy to put forth an argument that some left/right wing media "[adds] nothing to the world and [leeches] attention from everyone"

Keeping the focus on blatant spam sites is a noble cause, but this tool is as easily misused as a firearm.
There are arguments - which are at least plausible - that the same effort is better spent on VM / Solaris Zones / FreeBSD jails / traditional chroot / SELinux / just using dedicated hardware for everything / ...; several of these have the advantage of not encouraging people to throw up a compartment (of some kind) and never update it again, which is certainly something that happens with Docker.
Not any time soon. They're aiming for maximum compatibility with Chrome extensions, and Chrome doesn't have anything like that, so I wouldn't expect it to be a priority in Firefox either.
Your argument is that Americans are lazy and dumb, but your evidence is weak.

One could argue that Americans are smart because they realize that the opportunity cost of pursuing a PhD is too high to be worth it for most.

Trying to run an exe on Linux is a newbie mistake, not an empirical statement on American versus H1B quality of candidates. This just means that particular individual had limited experience with multiple operating systems--not all that uncommon.

I'd argue, instead, that the H1Bs are more motivated in general (having known a few). The labor market is less liquid for them so they're more motivated... Some I've known are super paranoid about underperforming, losing their jobs, and getting deported. Versus an American employee who knows they can find another job, and have no concern about deportation. Add to this the selection bias (H1B is intended to bring over the best and the brightest), and you have your answer
Seems like a worthwhile initiative (and it appears that Mozilla agrees).

A suggestion: perhaps it would be worth focusing on the Python standard library, at least initially? I find the 'narrative style' and the code examples in the current documentation is often unhelpful and confusing. And it's such a shame; there's so much good functionality in the standard library. This is just from the perspective of a relative novice, but examples like this (https://docs.python.org/3/library/concurrent.futures.html#co...) are extremely hard to follow because too many concepts (some of which are irrelevant) are all introduced at the same time. I often find myself skipping the official documentation all together and going straight to somewhere like PMOTW or stackoverflow.

Also, focusing on the standard library could be a good way to provide a 'best practice' example that the community could follow.
Nytimes has jumped the shark. I'm dead serious in saying its days are numbered.
I don't doubt it was worth it this specific case, but aren't the incentives wrong?

No. If you see bad outcomes from wrong incentives, come forth.
It always makes me think, perhaps due to the ignorance of Trump, he will be more receptive towards progressive lobbying too. Most of us know so little about Trump's actual policies that maybe anything is possible after all.
That's very misleading.

34 / 5 is 6.8 so most of that 500 year potential is front loaded to the first 100 years. The difference from 7.6 vs 6.8 is because it breaks down into some CO2. And in fact is less potent than C02 from year 100-400.