skysight-inc/HackerNews huggingface dataset:
Good points. I'm ambivalent about this requirement myself. From a technical perspective, I wonder what they're going to do in new subdivisions where every house is overproducing at certain times of the day/year. From a financial perspective I wonder how net metering rates are going to be pushed down when a lot more houses are participating. And I also agree that large-scale solar farms are going to be more cost-effective.

But I'm not totally against this change for a couple of reasons. One is that one of my ecologist friends is really alarmed at California's use of heretofore undeveloped desert land for solar farms when rooftop capacity is so underutilized. "Just because it's not full of trees doesn't mean it's a disposable ecosystem." Now personally I think the tradeoffs are worth it to get more solar built faster and cheaper, but it's not a universal perspective. A second related reason is that I've seen large solar farms in other regions prompt community pushback from people who dislike their appearance -- similar to, if less severe than, people objecting to visible wind farms. Those objections don't come up with distributed rooftop systems.

Right now the annual energy production per dollar of upfront cost is much lower from rooftop PV systems than from large-scale utility PV systems. If California installation costs can get down to German or Australian level, the cost effectiveness will be closer to (though still less than) large solar farms. There are reasons to believe that making rooftop systems mandatory will drive American costs down closer to German/Australian costs. For example, according to the presentation you linked, German rooftop PV installers spend $0.07/watt on customer acquisition. American installers spend $0.69/watt. If every new house is required to have PV, I expect acquisition costs to go down significantly; installers can court builders instead of trying to persuade one homeowner at a time. And investment into producing a design and a bid won't ultimately be rejected with "we decided not to add solar after all." (Though it could be rejected with "the other installer made a better offer.") Having every rooftop designed to support solar from the outset also makes installation less complicated, which should lower labor costs over retrofit-installs on 20th century housing stock.
Have a look at https://en.wikipedia.org/wiki/AI_winter

I personally wasn't disappointed — I'm really glad I did this as my undergrad. AI research however tends to go through periods of hype followed by disillusionment. There's a history of promising developments that hit a wall or fizzle out in the long run. That's not to say there hasn't been progress (there's been tons!), but based on track record alone, it's prudent to be skeptical of overly optimistic pronouncements — we're probably much further from the "singularity" than one would think, based on current wave of ML hype anyway.
And promptly lose it to lossy compression
Critically, though, it's not the same Fortran.

Fortran 2008 is VERY different from FORTRAN 77.
This isn't correct. I believe there are extensive restrictions on what type of terms are considered "reasonable", especially between consumers and corporations.

Arbitrary contract terms aren't automatically viewed as valid and binding by the courts.
Draw.io is pretty great. I've started trying out RealtimeBoard.com, but haven't really got a hang of it yet.
Many of them use different versions of the same underlying Linux kernel, sometimes put together in different ways.
> we're probably much further from the "singularity" than one would think

For your - and my - sake I hope that that is true. If not all bets are off and you might not like the end results.
Red Hat OpenShift.io: An online development environment
I can't live without `sudo` :p

- `ffmpeg` one utility for video manipulation to rule them all.

- `ping` to check whether I am connected to the internet or not.

- `curl -vvv maktabkhooneh.org` to check where is the connection problem happens.

- `howdoi` search StackOverflow for snippets to solve your problem from the command line.
Yes, it's against the IPFS projects goals to help spreading of illegal content. However, this is not technically achievable without one central authority that would dictate all nodes what content is illegal. It is also against the IPFS projects goals to have a central entity that can take down anything -- who decides? which jurisdiction is valid?

What is possible is to give an ipfs node a blacklist of content it shall not fetch. This blacklist is picked and edited by node operator. I would assume that there is a large bl(a/o)cklist behind the public ipfs.io gateway.

I'm the node operator behind ipfsearch.xyz. I will block all illegal content that I have been notified of from passing through my node. However, nothing prevents somebody from running their own IPFS node, loading the ipfsearch.xyz webapp and fetching the content they wish from the IPFS network.
System76 tech support here. An important part of comparing prices between two products is to make sure to make apples to apples comparisons. Our pricing includes a couple of value-adds that our competitor's do not.

First, all of our computers come with lifetime technical support. Me and my team are readily accessible both via the phone and our support system, for as long as you own the product. We not only support the Ubuntu and Pop! operating systems, and all of their software components, but we also help with printers, installed software, hardware issues, network configuration, and everything that comes our way. Few competitors will teach and educate and help in the ways that we do.

Next, all of our products also support our engineering efforts in the Linux community. Many desktop bugs and issues that we discover and fix affect every Linux user. For instance, NVMe drives had been around for a few years, but it was our engineer that found the GRUB install bug that prevented automatic installation on those drives due to a regex error with handing /dev/sda vs. /dev/nvme0n1. That fix was incorporated in Debian, Red Hat, and every other version of Linux that used the GRUB bootloader. The work we put into our operating system benefits all users in many cases. Buying our products means that when we discover bugs in the operating system, we can get them addressed quickly and effectively without waiting to deliver patches.
Read newest to oldest; act upon/replay from oldest to newest.
That's unfortunate. However this sounds a lot more like corruption and a shady business issue "fulfilling" a contract, or a /very/ poorly written contract.
My most useful RegExp trick
Awesome Online VHDL and Verilog Playground
Lisp's syntax is indeed easier to learn, but the vast majority of programmers have made it clear that they DO NOT want to READ code in S-expression format. And you typically have to read more code than you write.

I created 3 layered notations to keep Lisp's capabilities (including macros and homoiconicity) while making it easier for normal programmers to read. Instead of "getting rid" of S-expressions, I think adding just a few standard abbreviations to the Lisp reader makes Lisp more acceptable to more developers. See:
https://sourceforge.net/projects/readable/
Consider non-production use cases... run a test suite and then reset the data back to a pristine state after each run.
I see. That's what I'm leaning towards.
Yeah. "The south" of China is quite a big and diverse place. My wife's dad is definitely patriotic!
I'm always always on the bleeding edge of software, and I'm still using Skype 7.59…
I can't believe you're being serious. OK, let's take it a step further. What about this: in the middle of the book the author says you can't finish reading if you don't stand on your head. Will you do it? Classic reductio ad absurdum.

We are free people. You are free to invent your own terms. You can propose any rules. You can declare that visiting your website without clicking five times on different buttons is unethical. I can visit your website and only raise my eyebrows at your rules, without feeling any moral urge to do what you demand.
Yeah, digging holes in roads without a permit. Not hard at all.
Caddy 0.11 Released
how does that work with https?
Microsoft Word Document Upload to Stored XSS: A Case Study
Omnigraffle is by far my favorite, unfortunately only available on Mac OSX. I use Windows more lately and struggled to find a comparable offering. Then discovered Lucidchart https://www.lucidchart.com/ and have grown to enjoy it quite a lot. It offers common Cisco and AWS networking icons, and has some nice exporting options and the auto-expanding canvas. There are some quirks but it is cheaper and in my opinion cleaner than Visio.
Immediately below that line on the pi-hole site:

>Our code is completely open, but piping to bash can be dangerous. For a safer install, review the code and then run the installer locally.
> Only a few years ago, even people who hated ads saw ad-blocking software as akin to stealing.

> I've never felt like I was stealing nor do I know anyone that feels that way.

Never understood that concept either. It probably originated with people who were making a quick buck with ads on their sites defending their turf when the winds changed.

For a while advertising was like free money, so that's understandable.

The problem with content providers (news, quality blogs and such) is that they didn't look for a better model earlier. Therefore many were left trapped with this dreadful advertising revenue model.
A related result is that java generics are Turing complete [1]. As a result you can write programs which will loop the type checker! I was at the popl presentation where the author showed this result. He gave a demo where he defined a Turing program and a tape, and then let the type checker give the answer (halting with 1 will succeed type checking, halting with 0 will give a type error). This was a lot of fun.

[1] https://arxiv.org/pdf/1605.05274.pdf
Any advantage to learning Lisp instead of something like Elixir today? I find Elixir to be modern, a large amount of libraries, larger and active community, BEAM VM, has macros also... Can`t think of a reason to invest time in Lisp at the cost of mastering something Elixir, but maybe I am wrong.
Yes, this is the book from the course's page:

http://www.math.cmu.edu/~jmackey/151_128/infdes.pdf

This definitely has some aspects of formal logic in it and contains a few definitions about proofs, theorems etc. The logic-oriented aspects are covered in Appendix B ("Foundations"), which is currently unfinished.

Still, this is no substitute for, and clearly does not intend to be, a course on formal logic, let alone logic programming or model checking.
Funding, time mostly.

I ran a small copper ISP/Collocation company for a few years and I miss it, but I'm not quire there to build my own.
> Many people replaced Skype with Viber as there's no spam

Except from Viber themselves, that is.
Apparently my views are too much for the moderators.

On inflation, pretty much no one here actually knows the truth.

Look up the federal discount window And then treasury bonds.

Typically a bank can get interest free money and plow that into interest baring bonds backed by the government. They then get is free profit off the spread, this was a common back door method of 'liquidty injection' during the financial crisis. Liquidity injection, literally a euphemism for giving away money, and who gets the money? Those closest to the federal spigot, and what happens when you have more money chasing fewer resources? Inflation. Let's not even get into the bizarro world of inflation measurements, ( food and energy aren't even included ), most 'inflation' is seen in asset inflation, rich people can only eat so much cavier and blue fin tuna, the vast majority of their money goes into assets, so they take free money and put it into real estate and stocks and bonds, meanwhile the poor suckers trading their labor for cash see their real income lose purchasing power as the real assets they want like homes and a retirement fund, become increasingly difficult pipe dreams.

I'm truly sick of people who think they have economic knowledge try to explain away the real experience of the vast majority of people, such people and such experts are really just the well paid propagandists of the rich and powerful.
It's called sparse files, it's files with holes in them where no data is written to disk. You can have terabytes of files on small disks as long as they contain a high % of bocks of only zeros.
I really do not like this move. AI and Machine Learning require graduate-level mathematical and computational skills. I don't think it's productive to pretend that we can train someone to be even remotely useful in these fields in four years of an undergraduate education. It sounds like an attempt to get around the fundamentals of csci to "skip to the interesting bits," which will produce graduates with a cursory knowledge of computers, programming, math, and data science, which is honestly worse than no knowledge at all.

I'm not fundamentally opposed, but I think this is akin to creating a "Condensed Matter and Nanophysics" undergraduate degree alongside "Physics."

Changing the name of a factory will not change the output. The only solution to creating more and better AI research is to invest in better fundamentals in computer science and mathematics, then create pipelines for specialization. Slow and low.
First Input Delay
Tesla's reservation system isn't an order. When they get to the point where they're going to actually make your car, they ask you to make a real order. You can get a full refund up to that point, and your price isn't locked in. If they refresh Model 3 before they get to your reservation in the queue, you'll get the new one.
http://web.archive.org/web/20180509153040/https://www.wsj.co...

Use with Javascript removed/disabled/"Reader Mode"/etc.
No wonder people are using Discord for corporate calls. And I find it humorous that Discord is imploring people to not use it for corporate stuff.
Their face unlock is better than anything I saw on my Pixel or my Windows Hello laptop. To the point of being usable and preferred over fingerprints instead of a pointless extra.

I switched back because of that + Google Assistant's unwillingness to work without Google tracking my location history constantly (assuming that the "off" switch there even actually stops them).
I see students that graduate with degrees in CS/IT to fill the demand. Quality has declined... Translating to AI/ML I would assume the same. I think CMU would retain quality, but the local universities will start churning out AI degrees like butter.
Great to see that that's still around. I had to go dig up a copy from Time Machine when they "updated" to Electron.
Interesting, had never heard of ESBs before. Found this which explained this briefly (for people reading)[0].

Does it sort of act like an API?

0: https://www.mulesoft.com/resources/esb/what-esb
They even claim to be able to import your existing g infrastructure and diagram it out, however I’ve not yet personally tested this. Lucidchart is pretty good though and has, as you pointed out, the advantage of being platform agnostic.

I do also really like Omnigraffle and that’s my first go to.
Simple: To crush your enemies, see them driven before you, and to hear the lamentations of their women.

edit: sorry I see below I was too slow posting this...
Singularity of stupidity is already here. I mean, you have to be pretty stupid to take something as absurd and sci-fi nerd bs like "singularity" seriously.
> Careful with generalizing

Well, indeed. In my experience it varies very widely and pretty much follows the pattern you see everywhere else - intelligent, curious people with good job options tend to be less concerned with patriotism; the less fortunate find solace in it.

The most loudly and irrationally patriotic chinese person I know is from guangzhou. Still wants to move away though of course, what's a little cognitive dissonance between friends?
Not that bad of a deal considering coverage, but think I'll stick with Virgin Mobile (in most areas I use it, I get 20-30mbps) since I use 5GB or less most months

Visible is limited to 5mbps, though for most of my use cases, that would be enough. Might consider it if my data usage increases or if I need better coverage in certain areas
One thing that drives me crazy (and to be honest has been impacting even my own family) is that companies learned to use gamification technics to engage young ones at work so they eventually don't think they are spending time at the office with overtimes, they are being psychologically rewarded constantly so it is not a social burden. Perhaps people in China just started to hit the upper limit of that and other countries will follow in some years once people get it does not pay off.
> I'm assuming they're equivalent, maybe I should not.

For me, the core question is who gets to make that assumption, not whether it's correct or not. The people who are most impacted by uncertainty should have a choice about participating IMO.

But, one thing I'm realizing from other threads is that some people feel they have a similar level of uncertainty for human interaction, and are frustrated by the status quo of needing to interact with services. For me, that says this tech clearly has a place -- it just needs some effort to proactively establish etiquette around it's use.
I think acorns is targeted to the low end of the consumer finance spectrum so they are not sophisticated or knowledgeable enough to do this.

Also regarding banks it’s likely not high enough ROI?
How many sites include in their ToS that you must not block their ads?

How many sites are willing to accept legal liability for malware served up by their ads?
I think it would be good to break backwards compatibility and start off clean with what we know now in the form of a new language.
You need to learn about uselessd. And you need to stop committing the fallacy of allowing for only two systems in the world, systemd and van Smoorenburg init+rc. This fallacy was called out by the author of uselessd.

* http://uselessd.darknedgy.net/ProSystemdAntiSystemd/

* http://jdebp.eu./FGA/run-scripts-and-service-units-side-by-s...
Me too. I'm guessing they'll hear the word "perceptron" less than I did. Probably less Matlab and Prolog will be taught as well. I can't remember whether the Semantic Web course was CS or AI, but I suspect that won't come up, either. Fashions have probably changed enough that their probably won't be that much crossover.

For me at least, it depends almost as much on who's doing the teaching than it does what's being taught. Generally for me, the highlights were any course taught by Barbara Webb or Jon Oberlander.
Not to mention Medium is a centralised solution, or how it's perfectly willing to screw over people and publications at seemingly random:

http://www.niemanlab.org/2018/05/medium-abruptly-cancels-the...

If that's fixing the internet, I'm not sure I want to know what breaking it would be.
> What's even going on there?

The first line defines 'struct overloaded' derived from all of its template parameters. Template parameters are supposed to be functors (lambdas), so we use their operator()'s in 'overloaded'.

The second line defines a template deduction guide for the 'overloaded' constructor, which says: take types from the constructor arguments and use them as the class template parameters.

The idea is to be able to construct 'overloaded' like this:

overloaded{[](ArgT1 arg){/*lambda1*/},
[](ArgT2 arg){/*lambda2*/}, ...};
but then you’d have to do some curation and deleting unwanted comments by trolls and people that just want to comment, turning it into a full time job
I stand corrected: since I took the curriculum, functional programming requirements seem to have been substituted with an option to do higher-level systems-engineering electives (such as 15-414). And the systems elective has been expanded to include parallel and distributed systems.

The key difference on the deep-theory side is that CS and AI appear to swap out deep-diving into discrete math for deep-diving into statistics and statistical modeling. I'd consider those different enough to warrant separate degree tracks, personally.

(Your opinion of networking is noted but I do not share it, being somewhat familiar with what that course asks of students. It's every bit as preparatory as its sibling 15-410 class ;) ).
First sale doctrine disagrees with this assertion.
We've tried nothing and we are all out of ideas!
Wanting intelligence in a readily available manner is a strange ask for Crypto because that’s where your edge would be.
https://lobste.rs/ Is pretty good
Voyager – Kubernetes HAProxy ingress released
I made a mistake and paid them too much. They sent back a letter and a check and fixed the problem for me.
Apple Paves Way Towards Carbon-Free Aluminum Smelting Process
Dropbox Announces Fiscal 2018 First Quarter Results
We have released Voyager 7.0.0-rc.0 with including truly seamless config reload using HAProxy 1.8.8, TCP SNI support, OAuth2 authentication and issuing wildcard certificate using Let's Encrypt.
Skype for business is not even 'skype'. Actually, it's "lync" branded as skype.
Overall it's an awful product with hilarious built-in html render that ends in CPU saturation during group chat and a bit of html content.
It takes like a minute to close itself if there are 20-30 chats.
Their ‘river’ is an even more minimal version, great for scanning a few times a day
https://www.techmeme.com/river
answering myself, went and read about 20 pages, they really need labels
Elon Musk reminds me of a teenager undiagnosed with ADHD. 5 million projects in the works. Zero seen through to completion.
> CFM

What is that? Pretty hard to search for.
Skype used to have working conversation history. It's one of the features which was removed.
gVisor is a security product (
Container Runtime Sandbox ) made by Google in Go and runs in production so I'm not sure what you mean by "how vitally important security is in that domain".

https://github.com/google/gvisor
One thing I've never understood is how computers using one ISP connect with computers using another ISP. Is there some sort of law that requires that one ISP's cable must be able to interact with another ISP's cable? What incentive does someone, like say Comcast, have in allowing their users to interact with people using a smaller ISP like yours?
China's ZTE says main business operations cease due to U.S. ban
I love this story and I truly hope some of those that build things for other people to use take onboard its point.

You really can make something beautiful and elegant and yet totally unusable for the people actually using the interface.
>Type declarations in Common Lisp are unsafe. Violating a declaration at runtime is UB.
What SBCL is doing to Common Lisp is similar to what C compiler vendors did to C. In order to win at benchmarks, C compiler vendors started to use UB as a license to miscompile optimized code, which got them better benchmarks.

Fear, uncertainty and doubt.

Type declarations are part of the ANSI Common Lisp standard.

Lisp implementations can decide what to do with type mismatches (thus the UB), but how can this be a problem? Code will still be standards-compliant.
https://mermaidjs.github.io/
Effective Management of High Volume Numeric Data with Histograms
I like many things about Agile and Scrum but their goals (in practice) are often a paradox of "flexibility, performed as rigidly as possible."
Paypal? SpaceX? Tesla Roadster/S/X?
The thing is, they threw out the whole qt app and rewrote it inside the miserably slow javascript toy. Windows 10 might ad well just be an ie12 tab at this point...
If they can, they probably will.
Spotify Pulls R. Kelly and XXXTentacion from Playlists, Stirring a Debate
Well, stop checking your e-mail so often, then.
When I started reading this I assumed when you said old account that you were after your contacts, not some vanity url.

From that standpoint you didn’t really get what you were after, despite the process not being as painful as you anticipated. So maybe you didn’t make your point, but you made a point.