skysight-inc/HackerNews huggingface dataset:
This has been a point of contention for lots of people, including myself. From what I remember, it was supposed to happen for Pharo 7 but now I see that it didn't.

Squeak and Pharo are great but the font rendering is terrible, I can't stress how bad it looks on hidpi screens. That makes it unusable for me since it gives me headaches. It's a shame too since they have spent a lot of time working on related frameworks (athens?, brick?, bloc?) that alas don't seem to go anywhere (or nobody is in the position to bring everything together). Last I checked they were trying to use a native library from Mozilla (Moz2D which is the backend of Firefox!?!?) to do all rendering, which is highly problematic and disappointing if it ends up being used. The clusterfuck of libraries that they have layered together should clearly point out that this is not the right approach.

On macOS, the graphics stack looks like: CoreGraphics <- Skia <- Moz2D <- Sparta <- Bloc <- Brick

Alan Kay would have a seizure. Aliaksei Syrel: What happened to keeping things simple?

I really hope the graphics issues get resolved since I'm pretty sure they are costing them a lot of users. The regular Pharo devs by virtue of using Pharo every day are (probably) not in the position to realize how a new user coming from environments with great font rendering, UI speed/smoothness, reacts to Pharo. Initial impressions are everything.
Worded like that, it seems it doesn't rule out Glassdoor doing it on a company's behalf.
Your comment is frankly incredibly arrogant - "I can't be bothered to click and skim through the short post, so hurry up and summarize the contents for me."
Although in the year 2019 it would be pretty reckless to use RAID5 without hotspare. Or even RAID5 with hotspare. This has been true for a long, long time:

https://www.google.com/search?&q=why+raid5+stops+working&ie=...
Twitter is also in the running: https://www.youtube.com/watch?v=wAIP6fI0NAI
Honestly, outside of the tech innovation, FB's biggest "in" was its exclusivity.
- First, you HAD to have a Harvard .edu address. For a lot of the general public, Harvard is top of mind when people think 'elite' institution

- Next, they expanded it, but only to other US schools with .edu domains. That's when I joined, around 2005.

- Finally, they opened it up to the general public everywhere, and by that time they were almost a household name globally.
Considering salaries listed on Glassdoor for tech companies in my area are about half of what engineers actually make, employers would be much better served by publishing accurate salary info (including RSUs, not just base) if they want to attract candidates.
Except Medicaid is contaminated by rebates from the drug companies to the states. That's one of the things that needs to be banned.
Just a note that a lot of enterprises will likely block this app for security issues - my workplace is fairly open (file sharing services are allowed) but blocks ngrok.
The interests of rural people in the US are, depending on the state, protected by the electoral college and Senate allocation. Look for more attempts to abolish these things, which would be civil war-risking changes to government.

To me there's no reason that old, beautiful towns couldn't become parts of the information economy, as long as they have decent internet access and are within an hour or two of a decent airport. I also think that sheer class disdain is part of the problem with regional inequality. Many media contributors in the US -- almost always in the major cities -- have recounted the apparent economic success of these same cities with an almost gloating tone, putting themselves on the "winning" side of an inevitable historical progression.
One thing that employers should keep in mind is that the candidates they would like connect with probably already have jobs. Many people I know simply do not reply to recruiters if they are adequately paid and reasonably happy in their current job. The reason why is simple. If they did, they would simply be volunteering to spend a bunch of time doing take-home projects and coding exercises for free without even knowing if the company administering said technical assessments would pay them more or offer them a more fulfilling job!

So it's not just that you're selling (as opposed to buying) because the candidate is "senior", you're selling because you're trying to lure someone away from a job they already have. Asking someone how much they're making now so that you can offer them the same salary or a measly ten percent more and then giving a homework assignment is not exactly enticing someone to switch jobs!
Kafka is your escape hatch
Has Fyre Festival burned influencers?
AMA Uncle Bob (Robert C. Martin)
Think Fast: The 2019 Page Speed Report Stats and Trends for Marketers
I think you, like many, are confusing the impact of ubiquitous data on our mobile phones with Facebook. We are not more connected because Facebook. We are more connected because data pipes are everywhere and I can drink all the time.
I fly a plane with an old analog computer autopilot/flight director. It works perfectly well. Its failure modes are well understood and easy to diagnose. The boards and components can be easily troubleshot and repaired by competent electricians.

Modern autopilots are all sensors, DACs, ADCs, and various digital computing resources. Cheaper, faster, more featured, and mystifying in their failure modes.

Although I am a big digital person, even for photography, audio and other seemingly analog things - I admire and appreciate the one major analog computer in my life.

Alas, after 7 years, it finally needs a repair. Sigh.
Passive houses are cool, but most houses aren't, and can't be retrofitted to fit the requirements.
Except the failure rate is some probability distribution. If making the laptop thinner means that the 1-year failure rate spikes from 0.2% to 0.5%, that just means Apple pushed the manufacturing too far, not that there is an inherent problem with pursuing a thinner design.
I wouldn’t say that the bank I was referencing was one of those, but it might have begun with a letter in the range of M-O and ended with a numeric sequence that is less than 30.

Edit: also, good luck with the “wants you as a customer” part. If you’re not a resident of their country it seems highly likely it’s not in their business interest to open you an account.
> It was foundational research

In the 1980s there was a lot of "foundational research" (poorly re-inventing the wheel) for microcomputer people who did not know about the work done on large computers in the 1960s. Move fast and break things was also very much a thing for microcomputer manufacturers and most microcomputer software vendors. Look at how many releases software packages went through, and at what rate.
... news at 10.
Ask HK: How to get “production level” experience with a new technology
Hello.

Recently I've got really interested on working at GitLab, I've started using their products and they are so great, I'd ~rally~ really love to be part of that.

However, one of their strict-requirements is: "You have worked on a production-level Ruby application, preferably using Rails (this is a strict requirement)."

At the moment I'm a Sr. Software Engineer at my current job, but the stack I've such experience is Python with Tornado / Django / Flask.

What do you think would be a good way to get such experience with RoR?

I can make some side projects as a practice, but I doubt that'd give me enough experience to apply for a job at GitLab.

I could also apply for other company that accepts a lower experience with RoR to get started with it, but that'd mean invest at least a couple of months plus a junior position.

Has any of you made a change like that before?

Thanks.
Not by the company, of course; the candidate.
Yes, but large part of Coq is designed to be untrusted. Roughly, Coq searches proof and checks found proof. Search part is larger, it can be incorrect, can have bugs, etc. without affecting the proof. Check part is trusted, and is available as a separate binary (coqchk), which consumes proof found by search (coqc).

For CompCert, the more worrying is the correctness of "extraction". This is somewhat technical, you should be able to search if you are curious. CakeML solves extraction problem.

For HOL, Proof Technologies Ltd developed HOL Zero, which is solely dedicated to trustworthiness without bells and whistles. Bells and whistles are absolutely necessary for proof development. The idea is to use HOL Zero at the end, after proof is finished. It's like coqchk idea on steroid. http://proof-technologies.com/holzero/

Summary: CompCert trusts coqchk and extraction. CakeML trusts HOL, hopefully something like HOL Zero can be used in the future.
> For practical purposes however, all you need is 256 bits of entropy.

You need 256 bits of entropy and permanent, reliable power; or permanently writable and reliable media.

You haven't addressed the bit where you're presenting a solution in search of a problem.

> You don't need to re-seed. Ever. How do you think stream cipher work?

I'm quite familiar with random devices (i.e., Fortuna) and stream ciphers, thank you.
Unfortunately, this is how poverty spreads.

Because choices go down, companies choose to engage in substandard behavior because of captive populace. And those that can leave, do, thus slowly sapping the area of money and population.

I've seen a few places in the Midwest that did have potent industry. But through similar reasons, most of the people who positively contributed to their community are now gone.
> adding https over http for the current system would always improve security

No.

If an attacker can inject packets that break your SSL lib, but wouldn't have broken your package manager, you added a vuln.

Example: https://cve.mitre.org/cgi-bin/cvename.cgi?name=CAN-2003-0545
I love his work.

Yes, he has done a couple videos on analog video.

I also love analog video. I wish he would do one on analog HDTV and cover things like component.

In my own projects, I prefer component video. Unlike RGB, it can be used for a single wire, monochrome signal, complete with sync up to 1080p (on most sets with 1080i as a fallback).

Easy, light on resources and capable.

Anyway, I am a fan.
I'm in an area with lots of employers, but 20 years ago I did some job-hopping (four jobs in four years between 95 and 99), and that STILL comes up as a negative in job interviews. If you bail on too many bad managers, you can find yourself locked out anyway.
It reminds me of wild birds that have gotten so wildly evolved through sexual selection that they are no longer fit or optimized for their environment. Wild colors and feathers everywhere attracting predators and taking too many resources to sustain.
> Samuel Johnson ranked Paradise Lost among the highest “productions of the human mind”

Although I enjoyed it, I think Samuel Johnson was also right when he said that "none ever wished longer than it was."

Like a lot of literature from that time it can be hard to understand without a fair amount of background knowledge in Christian theology. That was taken for granted then (and really up until the 20th century), but makes it operate in a different intellectual universe than many of us do today.
That assumes the cost of cash handling is zero (or close to it), which isn't true. When I worked retail around the turn of the century, here's an estimate of the time added by cash handling:

- 5-10 minutes at beginning and end of shift to count cash drawers in and out, and make deposit bags, per employee

- 10-15 seconds per cash transaction to count payment and make change

- 60 minutes to prepare daily cash bank deposit and restock change (once, done by a supervisor)

- Employee theft from cash drawers, while not a common issue, did happen probably at least once a year

Now, I couldn't say if that all adds up to an extra 1-2% overhead, but I think its disingenuous for people to suggest that merchant fees charged by credit cards have little to no benefit to retailers. I think we'll see way more businesses go to electronic payments only within 10 years or so.
This is absolutely true. Definitely trust your instincts when looking at Glassdoor reviews; do NOT accept them at face value. If there are positive reviews that sound a bit off, take that as a major red flag, as the company is not honest.

If you're just starting off, and you're an honest, hard-working person, it doesn't matter how much little experience or knowledge you have, you don't deserve to work at a dishonest company. They're always shit, you don't get too much out of it, and it mars your soul. It's okay to wait a little longer for the right company. So don't be afraid of them (or other pressures) when they try to screw you over. I wish I knew this.
An aspect of this which has not been very well engaged with is how people see Facebook and its products outside of America. A common response to this from pundits is that it's an American company and therefore American values and perspectives matter more (as if American perspectives are the definitively superior kind). Without question, Facebook-owned products have democratized communication in third world countries (like India for example) and empowered those people to take advantage of the internet and its convenience. There's more than can go into a HN comment here, but an example is street side stores that have hugely expanded their audience by taking orders on Whatsapp. It just wasn't accessible to do this before, and Facebook has made that happen.

At some level, much of the criticism of Facebook (especially DHH) don't even try to put into words what Facebook "breach" they're upset about. Is it Cambridge Analytica? Is it one of the drummed up NYT pieces? If you care about this problem, yelling and waiting for someone to break up Facebook isn't a solution. We need discourse to identity what realistic changes we as a community expect.
Mid 2012 MBP seems to be really popular. Thing just lasts forever. Especially if you have i7 + 16 GB RAM configuration, then there's still not much reason to buy a MBP right now. $3000 for the privilege to carry around USB dongles, no thank you.

For now I'm getting a Mac Mini instead. Seems like the option with the least amount of risk attached... It has a fast desktop i7, that should last 5+ years, and its not that pricey either.
Why? I get that it might not be the ideal framework, but that's a long way from being one of the worst things that's ever happened to the internet. (Or are you just trolling?)
>Livejournal users, did, however, care about other adults who are sexually attracted to children.

What makes you say that the people writing the stories had a sexual attraction to children? (and by 'children' I mean as we commonly understand it: real children). I wouldn't say that a vore or zombie fetishist wants to be eaten, eat people or have sex with the dead, nor would I say that a My Little Pony fetishist wants to have sex with horses, and to use a more common example: people into incest pornography (which appears to be extremely popular online, much more so than the rate of incest crimes reported) don't generally want to have sex with their family members and people with rape fantasies generally don't want to rape or be raped.
Ha! I just stumbled upon that myself then came back here to comment and spotted yours!
It's called "protectionism".

China did the same thing by banning Google and supporting Baidu.
As I said, it would end cost shifting. That would mean those paying the least would now pay more, but I'm not saying to preclude insurance or the like (I'm talking about the price the drug company sells it at, not who pays or the like), I don't see that it's going to be a problem.
Actually, it's merchants.

EU drastically capped interchange fees a few years ago. The premise was that it will lower costs for merchants and effectively lower costs for consumers. However, most of the savings were kept by merchants, especially larger ones.

Some EU study confirming that: https://www.europeanpaymentscouncil.eu/news-insights/insight...
While I don't expect the subway ticket clerk (example, not picking on) to actively help with the research, I do expect their taxes to indirectly help fund that research. And while the same is not true for every country/region/whatever perhaps, I wish it was.
I'm a Facebook advertiser. I can attest that there's lot of good products where the only cost effective and scalable way to reach your target market is through Facebook. Want to reach teachers with a time saving app? FB is the best way. Want to offer a SaaS tool to small businesses? FB is the best way to get it in front of them. Etc.

FB ads don't have 0 utility for consumers. A lot of products just couldn't reach the people who want them without it.
control [ IS escape
After daughter saw human bone we find we’d been watched by masked men for a week
How IBM Watson works
Would the coverage include YC companies?
It says "mindfuck." I thought it was an accidental "fuck" at first, then saw the "m" in "mind," then found the confirmation in the text. Agreed it's very busy and hard to parse visually. And ugly. An unfortunate example to end with.
Indeed. Run twice as fast from companies that lament not being able to pay you as much as competitors, but claim to compensate with a "family" atmosphere.
>> It now feels like Apple are "making things that look like Apple products," but aren't delivering the deep quality which that used to entail.

Oh, wow, you really nailed it right on the head, here.

I still use a 'Pixar lamp/sunflower' iMac G4 for writing, design, and I have a massive collection of cartoon seasons that are nicely formatted for it that I watch on the side.

To look at the iMac G4, with it's stunningly beautiful design, and the insanely stable OS X 10.5.8, and compare it to the God-awful 2017 Touch Bar MacBook Pro that my work gave me, is to truly see a company, that in 15 years, has managed to go from creating one of the most inspiring (and still functional!) machines in computing history, to something that, in 2019, I can't even put a USB key in without a $50+ dongle, and can barely type on.

The 2017 MacBook Pro looks sorta like the 2015 MacBook Pro I have in my home music studio...but, with virtually the same i5 processor, the same 16GB of RAM, 512GB SSD, and 1.5GB of VRAM, the more-expensive 2017 model lacks:
• standard USB ports that don't require adapters
• a standard HDMI port
• standard thunderbolt ports (of which I have purchased many existing dongles for)
• MagSafe (has saved my butt more times than I could describe)
• An SSD not soldered to the board (yes, the 2013-2015 models are still removable)
• standard SD card port (I do video and photo editing. having one of these on the side is priceless)

To purchase a 2017/18 MacBook Pro to replace my studio laptop would be a significant downgrade in terms of functionality for my workflow. I mean, significant. These devices look almost identical - yet one of them is virtually useless for my needs by design compared to one from years before.

I loathe using my work laptop. I'm using it right now. I complained to my partner about the butterfly keyboard and yesterday I finally made her use it. She uses the 2015 all the time and made about seven mistakes in the first sentence. The lack of haptic feedback on the touch bar is baffling. These are the kinds of things Apple used to have the foresight to address ahead of time. Now we pay more, and get less.

How the mighty fall.
2012 Macbooks were notorious for hard drive flex cables breaking, which is basically the same issue mentioned in the article, except for hard drive, not display. The difference was, though, that the cable was a separate part, so when it broke, it was a $20 repair.
Letter from John Adams to Abigail Adams, 1780-05-12:

> I must study Politicks and War that my sons may have liberty to study Mathematicks and Philosophy. My sons ought to study Mathematicks and Philosophy, Geography, natural History, Naval Architecture, navigation, Commerce and Agriculture, in order to give their Children a right to study Painting, Poetry, Musick, Architecture, Statuary, Tapestry and Porcelaine.
I don't know the details of your experience (were all 16yrs of experience as a SWE demonstrating a deep technical expertise?), but Google puts engineers with even 2-3years of experience on an L4-interview loop.

If you knew that you were being slotted for L4 upfront why did you even bother interviewing? I've seen L4s rack up multiple job offers from different companies and use that as leverage to negotiate; they've all been offered $300k+ or more. Not all experience/education is the same but you gotta know how to play the game.
In Unix, everything is a file. /dev/null is a file but not an executable so it can't even become a process. So you can't pipe anything into it.
If you consider this last sentence as a "figure of speech" then you should have probably avoided the use of "pipe" vs "redirect" and used send them to /dev/null.
I disagree. While Facebook may have started that way, they actively took steps to "drive engagement" and get people hooked. They gamified social media for ad revenue and turned the platform into what it is today.

Had it stayed merely as a way for people to connect then I don't think they would be seeing nearly the same amount of backlash.
I got the impression that it was because of the methane cloud blocking things below in combination with the cold (as cold=less energy=less movement/"weather").
> For those who haven't tried: document.getElementsByTagName("video")[0].playbackRate = 3.14 or an extension if you want to go faster than 2x. You can just up arrow on your next session.

Or the even easier: youtuble-dl plus VLC, with a slider for playback speed.
APT already supports HTTPS. Enforcing it by default wouldn't increase APT's attack surface significantly.
What's Markdown?

- Slack product development

(that was a joke but is likely the answer to your question)
Family as a reference is horrible. Everyone has a different family dynamic and experience. Some families have unconditional loyalty, others have abusive controlling members, the list of dysfunctions is endless. The cult should be formed around "a team" that has shared values and operates upon agreed acceptable behaviors.
PUBG Mobile Introduces Prime and Prime Plus Subscription
I fully agree that you can't ignore the broader education that college provides, even when that diverges from marketability.

But then you have to be clear-eyed about what we're talking about here: from the perspective of a college student, is it worth paying 1-200k[1] to become more worldly, with some auxiliary benefits to their income potential? I would probably still send my (future) kids to such a place, but then I'm in a pretty high income/wealth percentile. I suspect that many people (including my family when I was a kid), looking at this clear-headedly, would rationally decline this deal. If you think the pricing of college reflects the "broaden your horizons" aspect instead of the perception that it's "protection money for a middle-class career", you're sorely mistaken. Which means there are and can be far, far, far more cost-effective ways to broaden your horizons, particularly in the era of Internet communities, cheap travel, and all of humanity's knowledge at your fingertips at all times.

[1] I'm aware that there are ways to get through college more cheaply, like starting in community College. But a system in which the majority of people are going through ccs first is a very different system, so the thrust of GP's point still stands.
I don't have a Facebook account and I admire DHH, but a lot of the criticism of Facebook seems over the top. Most people don't care about similar actions done by other companies (at least not at the same level), and don't seem to take much real action to mitigate the harms they see from Facebook. I think much of the criticism is a form of signaling, rather than an expression of a real belief.
Is Twitter the second worst? It has emphasized our decreasing attention span to the point where we now have "world leaders" communicating in short, meaningless blurbs.
Wow, any more details? That must've been cathartic.