skysight-inc/HackerNews huggingface dataset:
Are there any people going around and harvesting data of all the PDFs in the world, using Machine Learning to clean collate, and localize the data?
It may interest you to know that this lawyer was a former government minister and then a named partner at Bodström & Borgström, the other partner being both the justice minister who once presided over the illegal rendition of two terrorist suspects from Sweden to Egypt where they were tortured for the CIA, and also a member of the organisation which invited Assange to Sweden for a talk (one of the women was also part of this org). So I’d say it’s at least a little mysterious.
Thanks, Hillel! The TLA+ formulation looks good. I was so happy to get your advice that I bought a copy of Practical TlA+ from Apress. Even if it doesn't help with this particular project, I'm sure it will be useful down the line.

Specifying Systems has been my go-to reference alongside Lamport's video tutorial. Thanks for suggesting Chapter 7 of the Hyperbook - I never thought to look there.

EDIT: I misread: Chapter 7 refers to the chapter in Practical TLA+, not to the Hyperbook's proof track.
This reminds me of the good old times where I learned programming by reading Denthor's Asphyxia Tutorials [0]!

[0] http://archive.gamedev.net/archive/reference/listed82.html?c...
How is porn criminalized? If anything, it's the opposite.

Pornstars are heroes for kids nowadays, we should be trying to avoid kids getting their sex education from PornHub, not favor even more exposure.
This looks like outrage fuel. I'm really not seeing meaningful solutions proposed.

It's quite common in the US to do things like prosecute a notorious mafioso on tax evasion because they can't prove the murders etc. that he's responsible for. We don't know all the details of this specific case.

Yes, I get it, our entire 'justice' system is the worst element of a nation with a long history of racism. I wish we would find real remedies.

I don't see this particular thing really adding substantive discussion and furthering solutions.

Can anyone tell me what constructive purpose this serves?

Thanks.
I'm not sure what you're expecting to accomplish now?

When you have a priced round, either their SAFE is valid and they convert, or it's not and they don't, and they sue you if they don't agree with your interpretation of the contract...

But until that day, what're you hoping to accomplish now?
>"I think with what's coming out of SSD/NVMe and even Optain DIMMS, that there will be databases directly tuned to control/set their own data storage in these environments."

I think this is already happening. I think it was Aerospike that used the FTL of of NANd/NVMe drives for a direct key value store and I think another vendor maybe Fusion had an SDK for this as well. The Optane stuff looks really interesting, are there any server vendors shipping with those?
Restored Union Pacific 'Big Boy' #4014 moves under own steam power
1 second = 1 billion nanoseconds and 1 Mhz = 1 million times a second, so if something takes 100ns you can only do it 10 millions times per second (10Mhz).
:) I got arbitrary tree reparenting and mutable (and immutable!) state working in our CRDT, for about 4 years now. No unbounded growth!

Runs in production, having done 1TB p2p data in a day, on $99 hardware! Internet Archive and others use it.

I do agree tho, most CRDT implementations have just as many scaling and compaction problems as any append-only log system.

OT is worthwhile to understand.
It's not particularly thinly-veiled, but you are otherwise spot-on.
Why should we, the conscientious readers, trust your claim that you know what's best? Cuz it sounds like something that sounds good but which has no verifiable backing.
Reminds me of the lab I TA'ed college where we had to implement a track with 2 trains on it as a state machine and make it impossible for the two trains to collide. We had to eventually implement this state machine in vhdl which was then run on a fpga where we could simulate and control the trains:

http://engineering.armstrong.edu/tom/engr2031/engr2031traina...
Meh, there is a difference between not having much to your name and having a fat debt collector sitting on your neck.

"sure, there is no way you can walk over that pile of broken glass without cutting your feet, so fuck it, lets get naked and roll around in it, at least you'll feel the breeze gently waving your nether parts for the first half of the process"
he's as far left as it gets.

I'm going to cut you some slack and assume you are American, young, or both.. because as a guardian reader from the 1970s onwards I can tell you this is just not correct
I like the French system of school lunches. Every student has a card to pay for lunch. The exact price charged is on a sliding scale depending on family income. One child has no idea what the other is charged, it's just a swipe of the card.

You're also not allowed to bring your own lunch to eat in the cafeteria, but that system can work out okay when you have dedicated chefs at each school, and cheap good cheese (and funding for... children to eat... a bizarre concept in some parts of the world).
Scientists find cocaine in shrimps in Suffolk rivers
Is there anything lost if you've already felt that you're a target?

Isn't there everything to gain from encouraging everyone to use encryption so that there are too many targets to process?
The idea that the police are supposed to be a profit center is a neo-liberal thing not liberal or conservative.

You can make an argument that based on enforcement costs, the subsidies alternative transportation receive, and the externalities of such that the optimal fare price for public transportation is negative. If the optimal fair price is negative then you shouldn't charge fares at all. You can find leftists, conservatives, fascists that agree with that.
god the pay cut is so real :( .. hopefully the experience makes up for it, temporarily
PDF is the EMACS of file formats.
Did he claim to invent computational irreducibility? Wasn't that Goedel or Turing or someone like that?
I don't understand why for-profit prisons even exist. It just sets up perverse incentives and encourages unnecessary incarceration.
How does using cloudfront for a bucket prevent using VPC endpoint for s3? This doesn't make any sense.
Cloudflare is just a disaster for bypassing government censorship. If some website is blocked in my country and I try to access it with Tor or VPN then I better hope it is not behind Cloudflare, because Cloudflare just gives me endless Google captcha instead of the desired website.
That's an interesting perspective that I just don't understand, and I would claim that exact opposite is true. Just look at the debate over healthcare. As a group, the democrats created a clear vision for US healthcare reform. At an individual level there's not a clear consensus on what the path forward is, but you can't claim that mainstream D candidates aren't presenting concrete and actionable plans.

Contrast that with the Republican healthcare plans, which consist of nothing more than "not obamacare"

Republicans have the same stance on gun violence and climate change.
Anyone else annoyed it was talking about the half life of facts then compares engineering to psychology? Engineering is based on facts while psychology is based on inferences.
So there's an update on the story. Hacker scanned the internet for Git config files and used credentials he found inside to access accounts all over the place
Easy Means Easy to Debug
The new ACM format is attempting to fix this for academic publications. I believe it generates HTML and should look better across devices (and be more accessible).

I haven't seen that happen yet though...
Their editorial is pretty evenly split. A lot of readers who are remainer complain about pro brexit positions. The labour party is split. Owen Jones (as an example) and Martin Kettle) certainly don't make your case.

Basically, I think you're factually wrong. You're reading selectively if you believe this about the graun
What kind of company deprecates a URL format that's still recommended by the Object URL in the S3 Management Console?

https://www.dropbox.com/s/zzr3r1nvmx6ekct/Screenshot%202019-...

There are so, SO many teams that use S3 for static assets, make sure it's public, and copy that Object URL. We've done this at my company, and I've seen these types of links in many of our partners' CSS files. These links may also be stored deep in databases, or even embedded in Markdown in databases.

This will quite literally cause a Y2K-level event, and since all that traffic will still head to S3's servers, it won't even solve any of their routing problems.

Set it as a policy for new buckets, if you must, if you change the Object URL output and have a giant disclaimer.

But don't. Freaking. Break. The. Web.
No way. A Kindle is great for reading books, but text in a typical PDF is too small to read. Reading on a phone is a bit more annoying but totally reasonable with dynamic text layout.
Care to elaborate? Why would there be any secrets stored via s3.amazonaws.com?
He did. I've always said Microsoft was the most important company of the 20th century.
I wonder where biographers fit into this model?
Some people might be just trying to get away with not paying a parking meter deliberately, but we can't prove that when writing parking tickets. Most people probably just forget or cut it a little too close with their plans when they overstay a parking meter.
"How Censorship in China Allows Government Criticism but Silences Collective Expression"

https://gking.harvard.edu/publications/how-Censorship-China-...
This actually exploits a static component of the type. This would not work on a fully dynamic type system.
Electronic voting machines. Digital signatures on passports. Long-distance communication, whether by telegraph, radio, or satellite. Norman Borlaug's wheat hack. Machine translation. The counting machines that powered the Holocaust (as mentioned, something being a political problem solvable by technical means does not mean it should be solved). Forensic analysis of DNA and fingerprints. Eurovision. Irrigation. Aqueducts. The printing press. I feel like there are many things....
Doesn’t hold water, imo. If dynamic and static typing were really independent concepts, then why are languages only one or the other, never both? I explained my take on dynamic versus static typing here:

https://stackoverflow.com/a/28096079

> The primary difference between static and dynamic languages, in my view, is this: in static languages, expressions have types; in dynamic languages, values have types.

Read the rest of the answer for more details in the context of Julia, which, as a dynamic language with a sophisticated type system, really crystallizes the distinction.
https://venturebeat.com
The link is not my cup of tea but I appreciate and welcome honest answers here. That's the best way to find offbeat refuges, obscure corners of intellectual obsessions, etc.
So true. I keep seeing vodeos where the host censors even remotely-triggering words and sentences.
https://techcrunch.com
I'd be worried more by Chinese companies. At least you can sue US companies. You can't do the same with Chinese ones.
Dat is mentioned in the OP article[0]: the authors have built on top of hypercore[1] (part of the Dat project) to make Hypermerge[2]

[0] https://www.inkandswitch.com/local-first.html#crdts
[1] https://github.com/mafintosh/hypercore
[2] https://github.com/automerge/hypermerge
I borrowed it once from a friend and after reading a few chapters felt that it was mostly a chapter of smoke and mirrors surrounded by something that was already known and could be explained far more succinctly. The Amazon reviews showed that others felt the same.

Wolfram is brilliant, but I'd rather read a book from him that showed him solving all sorts of neat problems.
A rebuttal which ignores the problem of moral relativism. Yes, it whataboutism. No,it doesn't mean it can be ignored. If our privilege is to critique the other and refuse to fix our own, we're all impoverished. Also, strong biblical roots to whataboutism in the mote/beam parable no?
Because the whole point is making images smaller. The header bytes you append up front aren't particularly clever or worth a discussion.
Not to mention as consumer products go they are incredibly long lived, I can’t think of many activities where someone might still use their grandfather’s [tennis racquet, golf clubs, etc], but you regularly see people still using 50-75 year old guns (if not older)
A 10Mhz processor has a clock cycle of 100ns (0.1 millionths of a second). Those are just rough representative numbers I picked...any particular RAM delays would be different and the actual latency would be complicated by bus speeds and protocols etc.
Okay. Calm down for 1. Also the prelim data is there to review. The graph shows clearly there's a large plunge and there absolutely was a negative g report in the prelim showing that at the final few moments the trim settings from the FCC gave another correction. As for the cutoff, the report annotations tell you when they toggled the cutout switch. I went back and yeah actually you're right it was only once to cutoff and back to normal sorry for that mistake. However the overspeed is still supported from the data and yes the data shows vertical g forces and at the end there was a lurch of -2 Gs before total loss. It's on page 27.

As for less speed causing more nose down moment, yeah but at the same time they weren't in a descent for that portion either, nor were they nose down (this from page 26). The data shows they were oscillating though climbing slightly while they were overspeeding. In this case it could have helped to reduce the forces at play. I think it was more that they were just busy and left thrust settings where they were from takeoff.
> Then calm yourself.

> Never spend more than 15 minutes trying to get them to sleep.

This is a great opportunity to do some mindfulness meditation – which can help with the calmness issue. I wish I would have known that when I was raising a newborn.
That would be an interesting application. I assume first we'll see it used in advertising though. More money and looser morals there.
Wolfson. Olivetti. The EU fosters an environment where tech companies can be successful and then they're crushed by American market dominance because murica.
I didn't say porn was being criminalized.

Just curious, can you give me a list of good resources for sex education?
Encryption also solves the political problem of "I need to communicate plans with my allies across long communications links without my enemies knowing what they are," which can often be opposed to violence (notify people of an opposing military action, evacuate armies or civilians, coordinate a plan to surrender without showing weakness, coordinate a plan to demand the other side surrender by showing so much strength they won't fight, etc.). Much early encryption research was for governments who were already targets to hide data from other governments.
Nigeria's Tramadol crisis: The drug fuelling death, despair and Boko Haram -2018
Pig ‘Ebola’ Virus Sends Shock Waves Through Global Food Chain
The particular change Chris is referring to was in implementing delay load for the related video thumbnails. Now as you may imagine the /watch page gets most of the traffic and is hyper optimized. Now imagine every load of /watch hitting the much more dynamic and personalized and much less optimized homepage 10-15 times :)
The laws are useless when the spirit upholding them evaporates.

http://www.hoteliermiddleeast.com/33151-marriott-employee-fi...

> Jones told the WSJ he wasn’t aware of any instructions on dealing with China. He also said he didn’t fully understand what the issue was about.

> “This job was all I had,” Jones also said. “I’m at the age now where I don’t have many opportunities.”
I'd never touch a thing with his name on it or dollars behind it. Get bent, Zuck.
I think many economists would say that while you had an employee-based plan your costs were actually going up significantly, you just didn't see it because those increases were coming out of (what would have been) your yearly salary raises.

I don't think ACA plans are much more expensive that what we are _really_ paying for employer insurance. I recently became unemployed and when I priced it out, an ACA plan that offered benefits similar to what I would get with a COBRA plan were pretty much the same price - both ridiculously expensive, so I went with a cheaper silver HMO ACA plan. And my old employer charged a 4% "fee" on COBRA premiums as well - I guess the benefits companies want some of the action.
I literally just started a project to recreate this and eventually riff on it. Feedback welcome. :)

https://github.com/tehcorwiz/demofire
> What incentive would you have to run a small business selling things if the state won't enforce the law?

Small businesses exist even in places with no laws. Not saying it is a good idea to not have laws, or not enforce them, but it isn't like EVERYTHING ceases to work when laws aren't enforced.

I also don't think the effect is incalculable. We have lots of examples of places where the government collapses and there is no longer any enforcement of the law. We could certainly research the effect his has on the economy.

I am in no way arguing that we should abandon laws or stop enforcing petty crime, just saying it isn't quite that simple.
Does the language have rm -fr method ? ;)
Still. nice
Ask HN: Who here is learning to code?
How are you staying motived? Do you code for 30 to 60 minutes a day? Do you find yourself sometimes losing motivation?
401k are better than defined benefit pensions. I want control of my money, why would I trust a random pension board of trustees? And even though 401k isn’t really under my control, I trust an index fund more than an opaque board of trustees doing god knows what with the funding.

The only defined benefit pension that is doing okay is taxpayer funded pensions, and that is only because government has the power to tax. And even then some have been cut and some states are seeing economic decline because of them.
When I was in Prague my buddies and I decided to skip out on the fare. I was very young, dumb, and wanted to look cool.

On the train the police walk around checking tickets rather than having a ticketing booth etc. We obviously got caught.

We got fined what I think was $500 each and we deserved it. I should have just paid the $2.75.

Edit: I think it was Prague it's been a really long time.
This is the right way to frame the question. It's pretty obvious that the purpose of such disproportionate punishment is to discourage everybody from breaking the rules; you can't just look at the individual that got caught.

If one is going to make an argument for any specific level of punishment for this offense, it should be based on the expected total cost/benefit across the entire population.
> Another option is to scale your pricing based on your customers' revenue

I don't scale the pricing in an overt way, but I have been known to reduce the fee for small companies or individual developers if they ask.

Also, if I think a particular customer would give me additional benefits (such as increased exposure or clout), I have sometimes cut the rate in exchange for permission to advertise their use of my library.
Since creating this article, there have been implementations for various platforms and languages. If you check out @fabynou on twitter, he has been retweeting them. iOS, android, watches, etc)
This article doesn’t mention it, but you would need to require anyone introducing a candidate/proposal pay as well, to prevent this situation.
True but we could have had preexisting without all the other garbage included. Some of it sure but overall I have yet to see any compelling data to say the tradeoff was efficient.
I would. The modern web is a rich-get-richer hellscape of surveillance and advertising.
We aren't talking about the individual person here, we are talking about the macro effect of this type of enforcement. Obviously having the severe penalty did not stop this particular person from committing the crime; the question is, how many people DID it stop, and is the number of people it stopped worth the cost?

No one is trying to defend the person, just trying to reason about what is best for our society as a whole.
Hi all, thank you for the thoughtful comments. I apologize — this might not have been the best forum to share this. Regardless, thank you for reading my story. I wish you all the best.
Did you pay tax on this "uncompensated work hours"? The people who put money in had to pay tax on their contribution.

The answer to this question is you can do whatever you like if the other investors agree.
Or perhaps transmitting photographs on screen unlock that are used for image recognition
Who here isn't? I've been at it for 20+ years and I'm still learning to this day.
This sounds like an interesting experience. I had my Facebook deactivated for 6 months, and started to sorta-kinda notice the same thing. I really should do it again over the summer and see what happens when I have much more time and freedom.
I google'd this - GCC comes close. There are built-ins for overflow-checking add/sub/mul arithmetic. [0] There are also compiler flags to enable explode-on-overflow or wrap-on-overflow, except for division and remainder. [1]

[0] https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins...

[1] https://www.gnu.org/software/autoconf/manual/autoconf-2.63/h...
You're right. Know why you're caveating this and tip toeing? Cuz ACA had a huge propaganda/rhetoric element to it. Even after it was an abysmal failure for most, politicians behind it kept pushing it like it was just a matter of time before it improved. It had a few good components but for the tradeoffs it wasn't worth it. (No Preexisting conditions should have always been a thing).

This is the world we live in. People have to apologize while expressing perfectly reasonable objections.
> moralizers" like Hamilton, Washington, and Ben Franklin, who were so obstinate and short sighted they refused to simply pay the British Crown instead of fighting such a destructive war

You think the Colonies could have paid the British Crown to become independent? Where are you getting that from? What makes you think the British would have accepted it?

But if you are just asking as a pure hypothetical--should the Colonies have paid for independence, if the British would have accepted that resolution--then my answer would be yes, of course. Independence was the goal; if we could have gotten there without having to fight a war, so much the better.
How Far Out Is AWS Fargate? Viable Kubernetes Alternative?
I call it group theory when I play with my Rubik's cube.
ha! I'm still learning and it's been 21 years ;)

I'm really curious about those just getting into programming.
Yeah, squeeze that blood out of that stone!