skysight-inc/HackerNews huggingface dataset:
The crux of the article is that we have no clue what AGI will actually be like, therefore it is irrational to try and reason about it. I don't buy this, but even more importantly, the initial premise is wrong. We do have good reasons to believe an AGI's intelligence will be at least passingly similar to our own:

1. One path to AGI is straight up simulating a human brain in software.

2. Humans are guiding AGI research; even if we don't know how we'll build it, we always build things incrementally based on whatever available knowledge we already have. However, we ourselves are the only high level intelligence we have to compare against. Therefore, it's likely we'll build AGI inherently aiming to make it similar to ourselves.

3. The author subscribes to the runaway intelligence singularity idea to make the case that once we have an AGI, it will likely be near-instantly at least 1000x smarter than us, and thus incomprehensibly by us. That strikes me as unlikely; it is more likely that the first AGI will be built in some lab where it is already maximally utilizing the computing resources it is being run on, and will take at least a reasonable amount of time to gain enough knowledge and control of the outside world to begin its exponential self improvement.
Link to the indictment: https://www.justice.gov/usao-dc/press-release/file/1069836/d...

> The former aide, James A. Wolfe, 57, was charged with lying repeatedly to investigators about his contacts with three reporters. According to the authorities, Mr. Wolfe made false statements to the F.B.I. about providing two of them with private information related to the committee’s work. They did not say whether it was classified.

Ah interesting. They definitely have metadata but they don't have (or don't admit to having) all the data. So they know who talked to who and when and caught him in a lie which can end up badly. But it seems they don't know the content so they can't say "on this day, in this message you divulged this classified information". They disclose a few Signal messages but they were simple like "Great job" or "I am glad I made your career" etc.

Lying to FBI is not good but disclosing classified information is even worse. It seems in this case he is only charged with lying.

I wonder had he refused to talk to the investigators what would have happened? Given he was an employee with clearance, did he even have a choice in saying "I am not answering your questions, talk to my lawyer"...

> Under Mr. Obama, the Justice Department prosecuted more leak cases than all previous administrations combined.

I wonder if there were simply more leaks because there were more dissenters, more media channels, more disappointed employees or those in charge ordered more resources allocated on finding and stopping the leaks.

It is scary that they are going after and collecting all of reporter's communication going back for years. I can imagine that would be very scary.
Job 1: Don't run into things.
"The bill comes due, always." - Dr. Strange (film)

The left hand is murdering people, while the right hand neglects the suicidal. There'll be hell to pay.
> Is your chat app asynchronous? As in sending a public message for an offline user?

Ah, so DieWithMe is an interesting, but different concept.

With Bored Chat, it's simply a chat app where you interact via an iMessage like UI. The difference is that all your chat logs (your chat history) are viewable to the world on your profile page...and on a main "activity" feed.

So Bored Chat is basically chat, but with no privacy whatsoever!
While I get the concern, everybody's history here is backwards. Apple released Metal 2 YEARS before Vulkan. Why? Because OpenGL wasn't hacking it anymore and had become too asymmetric. Vulkan copied Metal, not the other way around.

I'm not sure they should have spun around and dropped Metal for Vulkan once it became available, or slow down the pace of progress til the rest of the market caught up. Doesn't make sense.

Also Apple is perhaps the largest GPU manufacturer in the world, with 200-250M GPUs shipped in 2017. That is 4-5X of Nvidia! Also Apple is investing highly in AI from tools to devices to GPUs, being able to customize may have tremendous value.

It is highly possible that Apple sees owning their interface stack as a means to keep their software-hardware warchest a couple years ahead of the competition. Which in mobile has been paying off of the last 5 years, as they constantly have crushed all others by 2-3X.
It also means nothing when the highest court rules on it, unless lower courts and lower law enforcement agencies pay attention. The Supreme Court has a few police officers, but they just protect the court building and the people in it; they can't enforce the Constitution themselves. The only thing the Supreme Court can do is tell other people what the Constitution says.

So, the Supreme Court only has power as long as people respect the Constitution in the first place.

(I don't understand your point about the left and right; it's certainly possible that all of Bush, Obama, and Trump violated the Constitution. The article specifically calls out the Trump administration for "continu[ing] the aggressive tactics employed under President Obama." It's not true that Democrats and Republicans are the same, but it's also not true that they're dualistic opposites, where every virtue and every vice belongs to exactly one. Sometimes they both possess the same vice.)
is that a serious answer ??
You're never too old to learn to code
Yes, you really need at least Pi types (dependent products, as above) or Sigma types (dependent pairs) to have dependent types. So you could get away with it in Python by munging a return type based on a parameter, but not C++ or most other statically typed languages!

Unfortunately it seems like there is a lot of fog around this. Even the wikipedia page for dependent types botches the first example: "pairs of numbers where the second element is greater than the first" is just a normal type. A dependent type would be something like "pair<int,vec<T,n>>" where the n is supposed to equal the first element of the pair.

The waters are muddied even further by the fact that you can reproduce many of the canonical examples for dependent types using other mechanisms, as you pointed out below for the vector-append operation!

Edit: After complaining a bit about the Wikipedia page, it was pointed out that you can think of that example as a Sigma type. I contend it is not obvious unless you have already spent time thinking about dependent types, though.
How did countries like England deal with the shutting down of coal mines in the 80s ? Was there any reskilling program.
Tcl Chat via Slack
28 FREE Ivy League Computer Science Courses
Here's a closer look at the building:

https://www.treehugger.com/green-architecture/close-look-bro...
>> 3. Technical skills matter above everything. -- More than programming proficiency, what is valued more is the ability to communicate clearly, to work well with the team, and to understand the business goals.

For sure! But before we go any further, please implement binary heap and longest common subsequence in C++ on the whiteboard.
My Camry Hybrid sometimes picks up cars in the lane next to me and a car length ahead, to match speed with them. And sometimes it loses the car ahead of it on turns. I try to aim the top of the steering wheel at the car ahead of me, and this seems to help the sensor a great deal.

On turns, it doesn't accelerate, only maintains speed; can be frustrating if you want to act like a racecar driver. For example, following someone around a freeway curve at 45mph, and the other driver changes out of your lane. Despite having adaptive cruise set to 60mph (or higher), it will stay at 45mph until after the curve, and only accelerate after ~5 seconds of straight roadway.

It does sound the collision alert (sadly no autonomous braking here) very consistently when I'm accelerating or adaptive cruise is on, and there's a stationary object ahead.
I have a decade of experience but get about half of that. Not all companies pay so much.
If you can't see how games and movies changed an entire generation in the last 20-30 years, you're blind. Morally, ethically, every aspect of their lives is different because of those influences, and in most cases not in a good way.

I would never allow my kid browse that kind of shit, even if they're 17. VR schoolgirl rape? Seriously? Why are people defending this. How can this be good for you psyche? Not to mention the more depraved shit that are going to arrive.
I wonder what they were thinking. I mean, maybe something like "I'm a reporter, so they can't ask about my sources." I'm reminded of David Petraeus and Paula Broadwell.
Citgo is de facto an arm of the Venezuelan government, so of course it stands in favor of carbon credit schemes whose net effect is funneling money yo Venezuela.
change scroll back to top to just scroll up.
> Last are “taskmasters,” divided into two subtypes: unnecessary superiors, who manage people who don’t need management, and bullshit generators, whose job is to create and assign more bullshit for others.

This is the most irritating aspect of any company I've worked for. I can deal with the fact that certain people are "duct tapers", people who take pick up the slack, "box tickers", etc. But people's belief that others need to be managed, especially when those others are already motivated, is demoralizing and destructive on so many levels.

The bias of management creates a feedback loop when the employee does the work the way they would have done it had management not been looking over their shoulder, and the manager thinks to themself "It's a good thing I'm here, because nothing would get done!"
Most definitely this. Bad messenger OPSEC is a real problem, still. Just recently Paul Manafort backed up his encrypted WhatsApp messages to iCloud, for example.

Many users of these apps don't realize that they are opening themselves up to security issues by performing certain behaviors. Are there any guides to good messenger OPSEC available for the general public (or even at-risk people like journalists or politicians?)
Data-oriented Design: The hardware will thank you
I'd much rather see people doing side projects than studying Cracking the Code Interview.
Most employees don't really care what the global mission of the company or their strategic interests are. It's whether you can get a decent paycheck with some stability while having a semblance of control and balance. The more you work the more this becomes true.
U.S. Navy sailors getting off ships in Pearl Harbor recently were quoted as much as $221 to get to Waikiki when a cab ride was $44

So what's the problem? Let them take a cab.

Oh, there's not enough cabs to meet demand when hundreds of sailors get off the ship? Well that's why they have surge pricing -- to get more drivers on the road. If you don't like the surge price, wait until demand subsides.

I'd rather have the option to split a $200 ride with my buddies and get to Waikiki now than to pay $44 and have to wait 2 hours for a cab. If I wanted to wait, I'd just wait until the surge pricing dropped.
> Indeed, but the problem is that often AVX intensive code triggers intel to significantly throttle

Xeon-W, HEDT, and consumer processors suffer this to a much smaller extent than Skylake-SP does, and this slowdown is already baked into the benchmarks (the deviation from benchmarks only really exists for mixed workloads). In most cases, AVX is still a huge speedup.

Also, on consumer+HEDT you can manually configure the AVX offset anyway. Want zero offset, and can handle the power/heat? Go hog wild...

> Most notably even on the most FP intensive code don't seem to benefit much from the higher end xeons (with two AVX512 units) over the lower models with a single AVX512 unit.

Intel's documentation on some of the HEDT chips was incorrect, the i7s actually have dual AVX512 as well as the i9s. If you were referring to HEDT as "Xeons" that would be why. Otherwise, it might be another documentation issue. The difference should be very clear in something like x265 encoding.
Don't worry, feL4 and unikernels aren't mutually exclusive.
> I use VS Code now exclusively, having moved from Atom months ago.

Ditto. I was a huge atom fan when it came out. Being able to customize it with web tech that I already knew was exhilarating. Between jobs I wrote over 20 packages.

When I went back to work I was still using Atom but I didn't have the time to baby it. All my packages were slowly dying and I didn't have time to support them. The overall stability of Atom was bad if you didn't have time to identify and rotate out dying packages.

Then VSCode got far enough along for me to use it daily. I have found it to be very stable and have almost all features I want without plugins. Rectangular text selection, drag-drop text, etc. Being an IDE for Node sealed the deal. I haven't used Atom since.
The difference between parsing and everything else there is that every single program longer than 200 lines will need to take a string from somewhere and change it somehow. If you don't know how to parse a context free language you will write a a thing that accepts a recursively enumerable one and someone will make full use of every corner case you can't even imagine.

It's pretty funny that next to no one here will even understand what I'm saying.
Talk to a lawyer if you want legal advice, not HN.
Emissions controls have no effect at all on CO2 emissions. They don't alter the fundamental stoichiometry of a pure octane combustion:

2C8H18 + 2502 -> 16CO2 + 18H2O

So yes, burning a liter of octane (6 moles) will use ~1600 liters of oxygen and emit ~1000 liters of carbon dioxide, or a little over two kilograms. In pure carbon terms, it produces (drumroll) the exact same amount as the input: 49 moles at 12 g/mol or 590 grams.
Fan of Jython (though I have a few gripes) excited for graalpython.

If you can get really really good interop you can throw away half of Spring, Guice, dependency injection, etc.

You can use python code as your configuration format. Have it set everything up. Glue all of your Java pieces together for your service. Runtime is and critical paths are all Java.

That's the dream anyhow.
Kudos to the NTSB. Events like this and companies like Tesla are exactly why we need regulation and government oversight. Tesla's statement that the driver was given "several warnings" is just a flat out lie.
Blazor currently runs on Mono. CoreRT might allow it to run on .net core
That's a small wrench:

Random citizen Randy who does not try to anonimize carries a 10$ bill will hence call Randy's bill
Random citizen Rachel who also doesn't try to anonimize carries a 5$ bill.

Both carry phones gossiping location history to surveillance state. If any of those bills are brought to a bank by some seller, neither Randy nor Rachel will have visited the sellers store recently, so the spooks know it switched hands.

Find any consumption place (bar/shop/...) which both Randy and Rachel have visited "shortly" after each other (location history), since they were last known to carry the bill.

They apparently both went to the same bar.

1) You better not carry your cellphone when anonimizing your 20$ dollar bill in the bar.

2) You better (in the bar) not be within the "light cones" of 2 events: going absent from your phone (forward speed cone), rejoining your phone (reverse speed cone). So locomote very fast!

1) and 2) frustrate each other,
better just don't own a phone.

Your phone can detect from noise, motion (accelerometer/gyro),etc if its owner has left it behind or returns, and you will be one of only few people in a large radius who is not carrying his phone like a good boy.

They are not directly interested in tracking Randy and Rachel, they track them to track those who anonymize.
They are not directly interested in tracking you probably, they track you to track the hard targets. When most substantial (i.e. bills) money flows are fully explained, only a sparse amount of bill transmissions, and a sparse amount of suspicious behaviours need to be matched.

EDIT:
1) When you anonimize a large bill by splitting it, and you get multiple bills back, you must destroy the lower amount bills. (EDIT 2: CORRECTION better keep it and leave it on a train, different trains for each superfluous bill)

2) Lets pretend the introduction of smartphones was the start of surveillance state, say 15 years ago. Individually we have potentially 15 man-years of experience with surveillance, on the other hand a 250 million population nation state has 15*250 million man-years of experience with surveillance!

3) Given a sequence of hypothetical events, it is easy for me to attack a known strategy, but how can the state collect anonymizing strategies? "Easy" : for each flawless execution of anonymization, there will be hundreds of flawed executions: a person not realizing he shouldnt carry a smartphone but correctly splitting his bill after ATM: if enough cases like this are found, you can try find other patterns in their common behaviour, for example after using the anonymized $10 bill on whatever, doesnt see harm in using the extra $5 bill (in conjunction with say his phone, or in conjunction with a fresh $20 bill from ATM)

From all the known (but failed) attempts, we can try and look for alternative ways we could have anonymized them. Some will turn out to be aware of other side-channels and will have found original remedies for one problem, introducing a second sidechannel, which can be taken into account in the future
My eyes! My eyes!
It did not go well.

https://en.wikipedia.org/wiki/UK_miners%27_strike_(1984%E2%8...

https://en.wikipedia.org/wiki/Coal_mining_in_the_United_King...
That is sloppy ops for a tech giant. No automated tests to see if post permissions are working right? QA missed it? User reports were ignored for too long? 5 days is a long time for such a big hole to be open.
It's both about the extreme difference in immersiveness, the feedback loop (you're the one that's conditioned to choose to rape for more points for example) and the age of the target group.

Movies and books present a story. I haven't seen any movies or series portraying rape as desirable rape lately, but even if they do, you don't have to identify with the protagonist. In VR, you are the protagonist, always, and actions are presented as if they're actually yours, trying their best to trick your mind into thinking they are.

So yeah, many differences, nothing good about them.
CaO generally does not exist in natural stone deposits (no alkaline or alkali earths exist as oxides because they are very reactive). You produce CaO from CaCO3 by calcining and driving off the CO2 (which is emitted to the atmosphere).
Microsoft Solar-Powered Surface Pen Would Never Need Recharging
Destigmatise and expand welfare. That's exactly what it's there for, so you don't have swathes of people doing jack shit for 8 hours a day and helping no-one. If even 10% of those displaced by getting rid of bullshit jobs go on to do something productive, it's an enormous win for the economy.
How the Gig Economy Is Reshaping Work: Not So Much
Sure -- in theory all the regional jobs should be transferable to another region. That doesn't make it any less painful when a region's primary economic resource closes shop without a replacement. The absolute best case scenario, where everyone finds a happy new position elsewhere still results in a dead town filled with blighted property.
But what's the median income of each group?
> I wonder if there were simply more leaks because there were more ...

No, Obama had a personal thing against leakers. None was too many for him. I followed it in the news, but couldn't tell if it was motivate by being a lawyer, so some kind of omerta.

OTOH, previous administrations used leaks as trial balloons, so had a more balanced approach.

https://www.theguardian.com/world/2013/oct/10/obama-leaks-ag...
Why anyone would try to capture CO2 from AIR (at 410 ppm) when you could get it from flue gas (from a power plant), where it exists at tens of thousand of ppm (i.e. %) is beyond me. The technology has been commercially demonstrated to capture CO2 and compress it for about $100/tonne.
I find this explanation amusing given the endless articles about how little sex is happening IRL for youth today.

The more movies, games etc we have to meet such needs, the less we seem to want the real thing. This actually strikes me as reducing the risk of pregnancy and STDs. On top of that, actual studies show that increased access to porn correlates to reduced incidence of sexual assault.
While the reporter works for NYTimes now, she was working at Buzzfeed at the time. It wasn't a NYTimes source.
Nicely packaged for easy use.

I initially thought this a bad idea for reasons that others mentioned (primarily re-implementing an existing gesture).

However, it occurred to me that much of SPA development involves doing exactly this, particularly where nav (i.e. routing URLs and handling back/forward buttons) is concerned. Managing these involves hijacking existing browser behavior to supply our app-specific behavior instead. So, overriding pull-to-refresh is consistent with this hi-jacking as you generally do not want the full page to refresh in a SPA any more than you want the back button to take the user out of your app to a previously visited site.

But, I don't think it's a good idea for non-SPA webapps.

All of that said, it also does seem like a notification-type paradigm would be a better UX for the particular use case you shared. But, hey, if your users are happy...
This is the reason liberal arts degrees are so useful and pay off. If you don't learn how to bullshit by the end of the four years, I would be surprised. I'm not joking though it may seem like it. I also don't think this detracts from the intrinsic value of such majors. If it allows more people to study what they want at university and improve themselves in addition to providing jobs after university, it's a system that's useful.
The reporter wasn't working for NYTimes at the time, but rather Buzzfeed.
Hi Andy! Wanted to let you know that I appreciate the niche you're exploring. Pledged on patreon. Keep up the good work. Please do consider the comments suggesting a periodic video / podcast/ etc., that would allow you to share your process. Thanks!
In the old days companies sold stock to raise capital to do things that were productive and would hopefully return the capital and more back to the shareholders. Companies with a lot of growth potential would sell stock over and over again as they needed more money to grow. Imagine the time (not that very long ago) when private investors would not invest billions in companies before an IPO. Giving money to a great company that is cash strapped is a win-win, not zero sum. Tesla is the only company right now that I can think of that does this. Amazon is close with its zero profit philosophy.

The tax code in America messed with this dynamic with taxing stock buy backs(capital gains) less than dividends (income). Giving large chunks of stock options to the company execs also didn't help.
... under a subsidiary called Steamy.
This is the one I see circulating the most. Links to Signal setup are in the body and include auto-deleting messages.

https://techsolidarity.org/resources/basic_security.htm
Would that be worse than people actively trying to influence us, often in a dishonest way?

I’m not against companies having their own web sites to “sell” their product, just don’t put your ads in front of me to convince me I need something. If I need it, I’ll go look for it.