skysight-inc/HackerNews huggingface dataset:
my favorite books http://cherrypick.club/post/QmxvZ1Bvc3QtLS0xMw==
Actually, my personal belief is that people, humans like you and I, are all awful at writing software. We're even worse at enumerating and writing tests.

Miserably bad. Unforgivably bad.

Slowly refining and testing systematizations of correct software building processes is perhaps the most important thing we can do in the first 2 centuries of "software" as a thing.

Because otherwise, all we'll do is continue to wallow in pride and failure, claiming it can't be helped. All the while using language like "case by case," that I have taken to mean: "I will never do that unless you force me to."

Fortunately, I think the scope of failure and fraud in the software industry has grown so late that folks are starting to take correctness as a requirement and not a nice to have. Another Equifax or two and maybe a nice DAO hack or something and folks are going to start saying, "Maybe it's just too bad we all learn to make bad software," turning to new techniques and practices.

Far-fetched? Maybe. But it is happening with AI...
> 1) You can't share it

> 2) You can't back it up

The number of photos of whiteboards I've taken over the years beg to differ. Point 3 is certainly valid. Whiteboards definitely don't work for remote teams.
duplicate https://news.ycombinator.com/item?id=16036268
I'm guessing most people didn't know about it to offer support? Seems like a failure of the press if they didn't monitor bills and bring awareness...

That said, I'm not sure how much of a fix timely disclosure is. Maybe people thought it wouldn't go even remotely far enough to help a significant number of people and hence wouldn't be worth it. (I could even see it being harmful if it makes it less likely to get more serious legislation passed.)
A Machine Learning Approach to Databases Indexes [pdf]
I wouldn't discard Bulletproofs either:

https://eprint.iacr.org/2017/1066.pdf
Except everyone that runs kernel 4.12 and onwards, where it was enabled by default and many distributions have had KASLR enabled earlier.

Also, it doesn't just affect KASLR. KASLR isn't even the concern here. Based on the info that is available/has been pieced together, it appears to be a bug, at the hardware desing level, in Intel CPUs speculative execution capabilities.
Wow, this is great -- thank you so much for sharing!
We’re working on making GitLab CI work better with GitHub. I'm sorry to hear it will be too late for you.
LLVM IR is transformed into native code only once. You don't ship the assembler to your users for a C program.

Of course the JVM has advantages that it can dynamically optimize code according to actual execution profiles.

If I am not mistaken with the right instrumentation LLVM can also makw your program generate a special optimization profile which you can then apply to your final build compilation.
Err, glibc is its own level of derp. Here, a fully static binary on linux with musl libc, designed for static linking unlike glibc.

Note, this on 32 bit arm, size might differ on different arches, all I have access to off the cuff:

# printf '#include <stdio.h>\n int main(int argc, char**argv) { puts("hi"); }' > /tmp/hi.c
# make /tmp/hi
cc -c -o /tmp/hi.o /tmp/hi.c
cc /tmp/hi.o -o /tmp/hi
# du -hs /tmp/hi
12.0K	/tmp/hi
# ldd /tmp/hi
/lib/ld-musl-armhf.so.1 (0x7f5af000)
libc.musl-armhf.so.1 => /lib/ld-musl-armhf.so.1 (0x7f5af000)
# strip /tmp/hi
# du -hs /tmp/hi
8.0K	/tmp/hi
# rm /tmp/hi
# make LDFLAGS=-static /tmp/hi
cc -static /tmp/hi.o -o /tmp/hi
# du -hs /tmp/hi
92.0K	/tmp/hi
# ldd /tmp/hi
ldd (0x7f5e3000)
# file /tmp/hi
/tmp/hi: ELF 32-bit LSB shared object, ARM, EABI5 version 1 (SYSV), dynamically linked, with debug_info, not stripped

ungh, go home ldd and file, you're both drunk and dead to me right now:

# objdump -p /tmp/hi

/tmp/hi: file format elf32-littlearm

Program Header:
LOAD off 0x00000000 vaddr 0x00000000 paddr 0x00000000 align 2**16
filesz 0x00001f68 memsz 0x00001f68 flags r-x
LOAD off 0x00002ea4 vaddr 0x00012ea4 paddr 0x00012ea4 align 2**16
filesz 0x00000204 memsz 0x00000798 flags rw-
DYNAMIC off 0x00002eb4 vaddr 0x00012eb4 paddr 0x00012eb4 align 2**2
filesz 0x000000e0 memsz 0x000000e0 flags rw-
STACK off 0x00000000 vaddr 0x00000000 paddr 0x00000000 align 2**4
filesz 0x00000000 memsz 0x00000000 flags rw-
RELRO off 0x00002ea4 vaddr 0x00012ea4 paddr 0x00012ea4 align 2**0
filesz 0x0000015c memsz 0x0000015c flags r--

Dynamic Section:
SYMBOLIC 0x00000000
INIT 0x00000468
FINI 0x00001f38
INIT_ARRAY 0x00012ea4
INIT_ARRAYSZ 0x00000004
FINI_ARRAY 0x00012ea8
FINI_ARRAYSZ 0x00000004
GNU_HASH 0x000000d4
STRTAB 0x00000250
SYMTAB 0x00000120
STRSZ 0x000000ee
SYMENT 0x00000010
DEBUG 0x00000000
PLTGOT 0x00012f94
PLTRELSZ 0x00000018
PLTREL 0x00000011
JMPREL 0x00000450
REL 0x00000340
RELSZ 0x00000110
RELENT 0x00000008
BIND_NOW 0x00000000
FLAGS_1 0x08000001
RELCOUNT 0x0000001c
private flags = 5000400: [Version5 EABI] [hard-float ABI]

Note no NEEDED section, so we're indeed fully static.

# strip /tmp/hi
# du -hs /tmp/hi
16.0K	/tmp/hi

16K for a fully static hello world sounds pretty decent to me vs 8k for dynamic. Will be faster than involving ld.so as well. I could probably improve that further, but I'm not about to golf this tonight.
It’s really hard to answer questions like this with anything other than ”status quo benefits the rich”.
I already provided such an example: the disconnection. The key aspect of that theoretical example was that it would be "too costly to repeat exhaustively in integration tests". You simply wished away that trait, avoiding the issue.
This is great. I've made a few diagrams with it today, and they've been easy to do and came out just right.

I do wish I could toggle the background and view the diagram on blank white; having the grid visible makes some things look more obvious than without, and that would be useful to know ahead of time.
> but people should maybe ask themselves if the men who use their money for sexual conquest are the kind of men we want controlling tens of billions of dollars in capital.

Yeah, I'm fine with it. Really. I honestly don't care what they do. As long as I get my fat engineering paycheck every other week. Gonna pick up a Tesla Model 3 soon.
Can you please share your opinion on "Principles: Life and Work by Ray Dalio"? It has popped up several times on HN and I am curious about what people think of the book.
React and vue are great for creating interactive widgets (no flash anymore). it doesnt’t mean necessarily to change how we code :)
> Er, compared to what?

I meant compared to lab-grown meat, as most of the energy from food is not used for building muscles but rather for the brain.
It seems to me that there are a few ethical dimensions to analyze this on:

1. Suffering caused to conscious beings directly to produce a meal;

2. Suffering caused to conscious beings indirectly (e.g. crop monocultures impacting biodiversity; animal products used in the production of a "vegetarian" meal).

3. Total biomass required per calorie.

"Clean meat" seems likely a better performer in all three categories, unless animal-derived amino acids are required — but that feels like a non-starter. Why bother to liquefy and reconstitute a cow muscle?

Unrelatedly, this strikes me as one of those things where economies of scale will develop surprisingly quickly. Meat is a huge industry, and it costs a lot of money to actually raise animals. There's a lot of incentive to make cheaper meat. The fact that it can get bootstrapped by guilt-inclined non-vegetarians is just bonus runway.
These loopholes abuse the tax codes of multiple nations. They absolutely are loopholes that ignore the spirit of the law.
At two years, I was already fed up with the lack of progress, but I stuck with them mostly because they could accommodate some very important travel needs in 2016 and early 2017.

Early 2017 they made some serious promises of a promotion, which kept me there until now. Nothing has materialized, so I have escalated beyond polite nudging and I am applying for jobs.

They were a very different company in 2014-2015, and the company culture didn't really decline until 2016-2017.

I have no confidence in them to provide what I need, but I don't want to leave without making my concerns heard, and without giving them a chance to respond. At least then I know that they'll know why I left.

My biggest complaint is my new manager who treats her team like children. I actually care about the company enough to meet with the retired founder after I exit and let him know that his company is about to lose a lot more talent if they don't get things under control.
The jury saw it working on CSI. No paid expert witness is ever going to change their idea of how tech works.
Here is book list on my blog http://cherrypick.club/post/QmxvZ1Bvc3QtLS00MA==
I've worn a suit almost every day for the past 3 years, no one really mentions it. Looks perfectly casual depending on the tie and jacket you pick. Natural materials for ties somehow look less formal I've found.
You've supported your thesis (that society treats women unfairly) with "we let men die younger" and "we let women disproportionately win custody battles". I think your posts have been confusing--I don't think we need to assume bad faith.

EDIT: Others have independently expressed similar confusion as well.

EDIT2: I'm being throttled, but in response to Doreen:

Here's where you say women live longer (https://news.ycombinator.com/item?id=16055356). I don't see how that can mean anything other than "men die younger". Again, no need to resort to "bad faith" when "miscommunication" suffices. Here's the full text for convenience/posterity:

> Most poor people in the US are women and their children. Most of those women were solidly middle class until one of three things happened:
1) She got unexpectedly pregnant.
2) She got divorced.
3) Her spouse died.
Due to the fact that women live longer and men are, on average, about 4 years older than their wives, 90 percent if the time, when someone is burying their spouse it is a woman burying her husband. (for hetero couples, a stat that will change with same sex marriage)
Best Crypto Podcast Episodes of 2017 in a Tweetstorm
I came across the same conclusion this year while learning to write Rust

>A main function should be a particular invocation of library code. That means collecting any input necessary for the process and then passing that input to library code. This style of main functions is more likely to result in testable and composable code.

There’s such a huge emphasis on OOP nowadays, that I think people who didn’t grow up writing C with the above concept in mind might initially make the same errors we both did in how they structure the main function in languages that aren’t OOP.
SAMSUNG ACQUISITION OF HARMAN
At the bottom of the article is says "SPONSORED". But I can't find who sponsored it?

Edit: Ok thanks for the screenshots. I disabled my adblocker but they're still not showing up. Probably just something broken.
Sure, but there are also ways for governments to close these loopholes as well. It's not necessarily on tech companies to solve, but it is up to the government and its citizens to ask for change (if this does not follow the spirit of the law).
I need to use a video stream which is embedded through flash :)
Such a Dumbass move if implemented
As they say, the cleverest minds are too busy trying to optimise ad clicks.
Linux Format actually had a mass walkout of their editing staff a year or two back, they started Linux Voice.
Almost as big as SeeqPods multi-billion dollar copyright suit (which we got kicked out of court) https://www.beet.tv/2009/02/seeqpod-gets-hit-with-multibilli...
It’s hard to take an article with this kind of background seriously
Anything is possible, but I would think that if it was fixable at that level we wouldn't have OS developers going through all of this trouble. There is basically no upside to this patch-set at all for the end-user except for increased security, and there's pretty big down-sides in the form of fairly significant speed losses.

Keep in mind, this is more-or-less just the 4GB/4GB patch set that floated around awhile back for 32-bit systems, and that patch was never merged precisely because of the big performance impact it imposed - and that change actually had some merit, this one has none besides security. I don't think Linus would be letting this go through (And especially be on by default) without a fuss unless there is really no other way to mitigate a fairly big security hole. That's just my opinion, but it seems pretty clear to me. It's possible he has not spoken to anybody at Intel about this, but I would personally think he has some connections to get some info on it.
As someone who's new to CS, I love this resource, and while I've been coding for about a year now I've come across most of these topics, but as someone who wants to go deeper into CS, what topics would you all expect to see in a Computer Science II book?
That's my thought too.

From my perspective, there seems to be some weird intermixing between various alternative cultures in this article. Some parts of the article reminded me of swinger culture. Some parts of the article reminded me more of MDMA oriented cultures. Burns and bondage clubs are briefly mentioned.

Although there is some interplay between all these cultures, these cultures are in many other ways very separate from each other. MDMA, for instance, or other hallucinogenic / empathetic drugs really isn't found that much in a lot of swinger culture (or, for that matter, the majority of BDSM culture).

All of the above alternative cultures tend to heavily emphasize consent, but they are also very frequently misinterpreted from the outside. If people are being forced and coerced into these types of parties by VC types as this article implies, that would be a bad thing indeed. But it also would very much be against the spirit of these cultures. From my perspective, the author seems to be combining several entirely different subcultures together here with an overfocus on the lurid, so I personally don't have a lot of confidence in the accuracy of this article.
PSA:  You can now delete contacts on Signal Messenger
1. Upgrade to the latest version of Signal Desktop.

2. Open a conversation with a contact you wish to remove and select "Delete Messages" from message settings. Approve the confirmation.

This will remove an unwanted Contact until you have a signal conversation with that Contact.
Worth noting that this document is ~10 years old.
I meet a lot of people who share this perspective. They're the ones who remember one line from Harry Potter that repeats a word or who think the Da Vinci Code was the worst-written thing that year. I always think that these people must not read very widely, because these books aren't actually poorly written. Were you to read ten randomly published books in any year, you would understand that, actually, there are tiers and tiers of writing that are actually bad. Typically, the books people target for cultural derision have prose that is workmanlike at best but which have met with success due to tight plotting or pacing, which is difficult to construct, or because the subject of the book taps into something in the zeitgeist and expands some conversation society is having with itself (Gone Girl or Fifty Shades).

The only NYT bestseller in recent years that comes close to your Titanic analogy is Pride and Prejudice and Zombies, a book that sold on its title alone and which I would not be surprised to learn not a single person has read, including the author. Most successful books of the stripe you're describing are more like a singlecamera situation comedy--they stick to a basic but largely innocuous set of prose conventions that won't win awards but allows the author to focus their efforts on elements their audience cares more about.
I think humanity should be spending about 5 to 6 orders of magnitude more money on investment in this space. It's seriously one of the most important, if not the most important, challenge that we currently face as a species.

Does anybody have any more information about the company's specific technology here? I've done some research into this space, and the big blocker at the moment is the use of Fetal Bovine Serum which is used to "grow" the meat. FBS is exactly what it sounds like, so it's not a huge victory to make lab grown meat if it requires liquid-cow-baby to actually grow.

A plant-based FBS replacement would be the holy grail for this industry. Some companies have claimed to have done it but nobody has actually publicly demonstrated it yet. If there are any investors out there looking to make an impactful investment in this space, please invest heavily into solving the FBS problem.

EDIT: From SuperMeat's FAQ:

> Does clean meat contain animal products?

> One of SuperMeat's purposes is to produce meat products without having to resort to ongoing animal use. SuperMeat has developed a unique technology that will make that happen, without having to use animal serum or other animal ingredients.

So, they are claiming to have solved the serum problem, which is good. Others have also made this claim, but so far nobody has had a public demonstration, let alone actually create a commercial product, so this is still vapourware. Still, I wish them luck.
Honestly, to me, the law has no spirit. The law having a spirit would mean we have to depend on ethical beliefs, and those can be wildly different for every person and/or company.

What seems like an acceptable rate of taxation to pay for person A seems outrageous for B, and both rates would probably seem outrageous anyway to both those people if they have to pay those abroad (e.g. not in the home country of the main shareholders)

Let's just stick to the letter of the law -- things are complicated enough as is.

Edit: and for those who haven't noticed, member states introduce some of these "loopholes" on purpose in order to attract incoming investment. For example: there is a reason the Netherlands does not levy withholding taxes on 1) royalties and 2) outgoing dividends. They do this so people and companies would book some profit there so they can then tax it.
Disable your ad block and you'll see adverts underneath it. https://imgur.com/a/zbvTh
Turn off your adblock and reload the page and you'll see it on the right-hand side.
I tried to apply via AngelList, and kept getting timeouts trying to submit the multiple pages of forms that need to be filled out in order to apply. You should revisit your Analyzing a Hiring Process blog; 100% of your candidates probably aren't getting to the Resume Review Step. If my experience is at all typical, you're losing a bunch of qualified candidates without even knowing about them.
> I'm guessing most people didn't know about it to offer support?

A bit of this, a bit of that. I was excited about the bill and offered to help. When it came to selling it, however, people were more animated by Trump, affordable housing and the MTA. Despite our obsession with privacy on Hacker News, it hasn't been properly sold to the public.

> I'm not sure how much of a fix timely disclosure is

It was to allow the Attorney General to investigate these crimes. Right now, there is no disclosure requirement. Unless the company reports its breach and co-operates with state Attorneys General, they basically can't be held accountable at the state level. So, naturally, they refuse to co-operate.
Your adblocker is probably removing sponsored posts. It's unrelated to this article.
Iran’s telegram revolution
An executive trading on inside information of this sort would be instantly crucified.. pretty sure it's unrelated
With my adblocker on I see the same thing, with it off, that label is moved to a right-hand column as a header for sidebar ads
We can change that. Invest in men's health--research diseases that disproportionately kill men and incentivize safer employment options for men. If some group is dying disproportionately, we probably shouldn't say "Oh well, nothing we can do anything about that, let's focus on the group that is surviving".
> In May, the Stockholm, Sweden-based company agreed to pay more than $43 million to settle a proposed class action alleging it failed to pay royalties for some of the songs it makes available to users.

This number seems closer to reality. It may be Tom Petty, Neil Young, and the Doors, but they're not worth nearly 10% of Spotify's valuation, and that certainly wouldn't match a compensatory amount in revenue that Spotify failed to pay.

Are they aiming for some punitive measure? Or are they going to settle for 5% of this in the near future?
Those are sponsored links a la Taboola. If you reload without a content blocker you'll see them.
http://www.zdnet.com/article/perfect-storm-for-new-privacy-l...

Search for section heading "California as precedent?"

My memory was imperfect, the real story is even more direct: The data breach was the Stephen Teal Data Center, which houses payroll for state employees, including legislators and staff.
This is what war means. I am not arguing for a war on drugs, just saying that this is the sort of actions that a real war on drugs would mean doing.
Fix All Conflicts: Easy-To-use CUI for Fixing Git Conflicts
The <2x increase is from SegWit. That post is primarily talking about the Lightning Network, which is _not_ SegWit, is _not_ currently production ready, but _is_ an improvement to scaling.

Unfortunately it's a much wider ranging change than SegWit is and has a lot more gotchas and caveats, not least that you're essentially just running a second layer that has nothing to do with bitcoin, save that you need to lock your money in the LN to use it and must do this with a transaction. In order to get money back out of the LN, you need to settle it with the blockchain, which still relies on the blockchain.

Essentially, "how fast can SegWit + lightning go" is not actually all that useful a question. SegWit is wildly insufficient to let the LN work as a fast settlement layer over bitcoin because opening and closing LN channels still requires bitcoin transactions, and there simply isn't the throughput for this at scale. The only way that that can work is if we rely on the lightning network completely and effectively ignore bitcoin. In this case it can work, but the LN in this context is a centralised beast because you cannot afford to open new payment channels due to lack of space in the underlying layer.

The promise of lightning, way back when, was the idea that you'd be able to instantly send money to your coffee shop via your existing channels with bob and alice, and if you didn't have a path to the coffee shop then it was no big deal beacuse you could just open one, and then you become alice and bob's conduit. Unfortunately, with the lower settlement layer unable to scale, we're in the scenario where you cannot open that payment channel with your coffee shop because you can't afford the fees because even at 4x today's capacity there simply isn't enough room for everyone to open payment channels to their coffee shops.

So you open a payment channel once, to your bank or a bank-like entity, and they have payment channels to everyone else. Great, it works, you never touch the blockchain, and it's a centralised system again that has none of the properties people like about cryptocurrencies - whoops!
I'd honestly love to sign up, but the "remote in US" is a big blocker. I don't think I'd move to the US now even if the company was willing to pay for my travel.
It's not dead, it still receives updates (as recent as 4 days ago). There's an overhaul in progress called TKO (https://github.com/knockout/tko) that is supposed to bring Knockout up to date with ES6, a better plugin API, and other nice stuff.
> Are programs written in C# not native, even on Windows?

Well I think that's a different meaning of the word 'native'. They're native in terms of being written using the recommended techniques for that platform, but not native in terms of being natively compiled.

But as you say it's just a discussion of semantics.
tldr;
Massive Intel CPU security bug incoming.
The (((fix))) may have a 40% performance hit, across all architectures.