skysight-inc/HackerNews huggingface dataset:
goodlord.co | Scala, PHP, Typescript/React Engineers | London, UK | Full Time, ONSITE | https://goodlord.co/careers

Goodlord exists to streamline the lettings process for agents, landlords and tenants in the UK.

Based in Aldgate East, Goodlord is a great work environment with plenty of scope for personal and professional development.

We're hiring at various levels of experience so get in touch!

nick+hn@goodlord.co
This is the same underlying tool that powers KCC and RVMatch.

https://github.com/kframework/c-semantics

https://runtimeverification.com/match/

Exactly what I’d hoped someone would do. Well, the first step anyway. The second step was doing a Rust semantics in terms of the C semantics already done. That allows quite a few things like Rust-to-C compilers, defeating Karger-Thompson attack, and potentially verification of interactions of Rust and C FFI code. On my end down the line, also use of C tooling for verification of equivalent Rust code.
They may not be impersonating Amazon, but they are using Amazon's services to circumvent the intent of policies (laws) that Amazon wants to comply with. Amazon has decided to stop be an unwitting participant in this particular mechanism of circumventing oppression.

For the record, I'm of the opinion that the US should insist that American companies not help dictators abroad in their censorship efforts. But it's hardly unreasonable for Amazon to say, "this type of stuff is illegal in Egypt. We don't want any trouble, so please stop using us as a means of circumventing Egyptian law."
It is miserable having a young family.

The first two years of having a child have been 70% crap, 20% sleep, 10% rewarding moments.

There are a couple of up-sides:

- The rewarding moments are pretty cool, and there are more all the time.

- You don't appreciate free time until you have none. I no longer procrastinate and overall I think I get more things done than I did with unlimited free time.
/s

Presumably.

Like, without the land grab keeping works from the public for 20 years longer does anyone suppose Disney would have done anything different?

It certainly didn't alter the behaviour of the long dead content creators.
Judi poker
Turnamen ISINPOKER judi poker berhadiah Hp + Uang tunai
KATEGORY POKER DAN DOMINO, HADIAH NYA SEBAGAI BERIKUT :

1.TURNOVER 3 MILLIAR KEATAS HADIAH UANG TUNAI RP.7.000.000 + HP OPPO F5
2.TURNOVER 2,5 MILLIAR KEATAS HADIAH LAPTOP + UANG TUNAI RP.5.000.000
3.TURNOVER 1.75 MILLIAR KEATAS HADIAH PLAYSTATION4 + TV SHARP AQUOS
4.TURNOVER 800 JUTA HADIAH FREECHIP RP 2.000.000 JUTA
5.TURNOVER 500 JUTA HADIAH FREECHIP RP. 1.000.000 JUTA
6.TURNOVER 350 JUTA HADIAH UANG TUNAI RP. 300.000
7.TURNOVER 150 JUTA HADIAH FREECHIP/PULSA RP.100.000

JADI TUNGGU APALAGI SEGERA BERGABUNG DAN TINGKATKAN TURNOVER KAMU UNTUK MEMENANGKAN TURNAMEN ISINPOKER.

Informasi lebih lanjut hubungi ;
BBM ; DD19583A
WA ; +6281283011035
FB ; ISINISIN
Ah yes, I remember from lab, you'd get a fail open right after you managed to manufacture a temporarily light emitting diode from things that are not normally light emitting diodes (or maybe not even diodes).
I agree. Less is more. The less you have, the more happier you are -- you spend time more on what counts.
Judi poker
On the other hand this seems like a pretty decent way to prevent mass domain squatting, because screw those guys. I'm sure there are still some people doing complicated cost/benefit analyses and squatting strategically but I think it'll be much less rampant.
I also really liked the article and found it thought provoking. This is all way above my pay grade but I like to think that there is a more optimal cpu design and language pairing that we will eventually reach and it's fun to imagine what that might look like.

Obviously, it would be very hard to shift the incumbent model in reality. We just have to look at the lack of prosperity for the Itanium and Cell processors to see how hard it is to achieve success. But imagine if new computer languages had been created just for these processors. Commercially this would make little sense but it might be possible to create languages that fully used these processors yet retained simplicity for developers. Or maybe it isn't possible to beat the clarity of sequential instructions for human developers or maybe Out Of Order processing is the optimal algorithm. There are other changes coming too such as various replacements for DRAM that either integrate more closely with the CPU (such as 3d chips) [1,2] that by reducing the latency of main memory, could actually bring us back closer to the C model of the computer? or just change computing entirely...

[1] https://www.extremetech.com/computing/252007-mit-announces-b...
[2] https://news.ycombinator.com/item?id=16894818
OoO, renaming, branch prediction, microcode have existed for a long time. If anything, more modern CPUs (x86 included) are RISCer than the older generations which had extensive microcode expansion for each instruction.

Even ignoring the fact that the JVM is typed, memory safe and with builtin GC (all things that were tried architecturally in the past and abbandoned), there is still a large difference between the scope and variety of non-local optimizations perfomed by any non-toy VM and the local, strictly realtime, constrained to a small window, set of reordering done by an OoO engine. Even tracing, which is used by some JITs, has been largely abbandoned in the CPU world.

Transmeta and Denver-like dynamic translation is closer to the behaviour of a software JIT and it is certainly considered drastically different from mainstream OoO.
Just recieved the notice as well.
I bought mine for $200. Really impressed so far. Much more convenient to set up than a vive and works about as well in my experience.
https://en.wikipedia.org/wiki/Xbiff
Location: Chicago, IL

Remote: Yes (3 years of experience working remotely)

Willing to relocate: No

Technologies:

Site Reliability Engineer with 18 years of tech experience.

Elasticsearch, Hadoop, HBase, Consul, Zookeeper, Kubernetes, Docker

VMWare ESX/NSX, software defined networking, automation

Résumé/CV: https://github.com/volfyd/leif-huhn-resume/raw/master/leifhu...

Email: leif.n.huhn@gmail.com
The only thing I use Escape for with any regularity is vim; I remapped it to `jj` years ago, so I don’t think I’d have an issue with the lack of a physical key.

I’m typing this now on a Bluetooth mechanical keyboard connected to an iPad. It has a physical escape key but I’ve remapped it in the firmware to send tilde by default and a backtick with shift. I have to press Fn+Shift+Esc to actually send Escape... I don’t think I’ve ever actually had to do that, despite working extensively in MOSH shells.
Hey thank you so much for checking it out :),
To answer your question , yes we will offer collaboration and shared space + a lot is coming soon like repeat tasks , dropbox and drive integration etc.

Also not just categories, you can use tags as kanban board in kanban view and also has daily kanban for tasks with due date. Pro tip: unlike keep you can use multiple tags to filter lists.
Well lets not just talk about North American markets.

To give an example, Facebook Marketplace has become a considerable threat for "Small Items for Sale" category in emerging markets where classified websites other than Craigslist are dominant.

With its strong user profile integration that keeps out fake sellers, Marketplace has become a huge sell in countries like India, Pakistan and UAE.

I am definitely not surprised if Facebook would be going in for a vertical approach. Messenger used to be a part of Facebook. It's a stand alone product for a while now with bots for virtually anything (sellers are using them to give out promo codes), a separate mobile app and even a web app.

However, I don't see this verticalization to necessarily happen as a non-Facebook experience though. For Instagram, it makes sense to keep it that way and not bring it inside Facebook. For Marketplace and Events, it might not be the case because it needs that strong network affect and makes Facebook work as a platform to find, do and participate in things.
> Personally I would never switch to the cesspool named Android. Laggy, malware infested garbage

Yeah, those sound sketchy to me too. Perhaps you could switch to the non-laggy non-malwareinfested non-garbage android phones.
Location: London

Remote: Yes

Relocate: No

Technologies: Golang, Python, JavaScript, C, C++, Django, Mithril, SDL2, SFML

CV: https://jai.moe/files/cv.pdf

Email: On CV
Heh. Yeah. Was programming ARM assembly in 1988. C compiler was far too high level. Look how its always saving these registers to memory! Meanwhile I'm dropping into FIQ mode just for the banked R8-R14.

Now, sure, people say C is low level, and compared to Java it sure is. But it isn't low-level.
Great idea! Doubt he’ll do it.
See my reply to deepsun's comment on this thread.
The Peter Principle Isn't Just Real, It's Costly
I love this. Both for it's tongue and cheek attitude, and for it's not unlikely depiction of the future.
With DC current you want to stay below 48 volts. There's a dog leg in how much damage you can do to a human being with electricity.
How much of San Francisco’s billion dollars of debt would be mitigated by tax revenue associated with a 50% increase in taxable population? Would the tax revenue over 20 years make up for the infrastructure buildout costs and the legal costs of fighting NIMBY folks to increase density?
Cisco is acquiring business intelligence startup Accompany for $270M
As far as I can tell, Microsoft suffered similar problems, with their desktop oriented divisions occasionally holding back the mobile divisions. It's not like Apple never suffers from any organizational dysfunction, but I feel that separating divisions actively incentivizes dysfunction.

macOS and iOS share quite a bit of software, both in the sense of code bases that have overlap on the two platforms, and code bases that need to work together (e.g. for handoff, or features like Apple Watch unlocking a Mac). Not so sure about the hardware situation, but there is at least some sharing going on. And in many cases, the people behind the technology are shared as well.
New Knowledge | Data Engineer | Austin, TX | Full-time | Onsite | http://newknowledge.io/careers/data-engineer/

New Knowledge | DevOps Engineer | Austin, TX | Full-time | Onsite | http://newknowledge.io/careers/devops-engineer/

New Knowledge | Full Stack Engineer | Austin, TX | Full-time | Onsite | http://newknowledge.io/careers/full-stack-engineer/

New Knowledge | Senior Software Engineer | Austin, TX | Full-time | Onsite | http://newknowledge.io/careers/sr-software-engineer/

New Knowledge is on a mission to defend public discourse. We build products that repair online communities, identify manipulation, and help them communicate more authentically. In a world where social media is being manipulated on a massive scale, this is no small task. We care about protecting communities, brands, and companies from being targeted by the spreading of disinformation. The kind of people who work with us have to be passionate about that challenge and mission.
JumpCloud | Engineering/Marketing Roles | Boulder, Colorado | Full-Time | Onsite| https://jumpcloud.com/careers/#careers

Design and build the next generation of identity management and directory software. We’ve built a disruptive new technology called Directory-as-a-Service® and it is reinventing a two-decade-old monopoly, giving organizations freedom of choice with their IT solutions.

-Sr. Software Engineer: (Gophers wanted, or experience with C++, Java, Python or Node is ok too)

-Software Engineer in Test (SDET)-(5 yrs Go or Python ideal or exp with multi-lang (C++, Ruby, Perl); noSQL; Open to former devops/sysadmins with coding exp who want to do more development

-Software Engineer (OS Applications): Develop agent technology; Native desktop devs; system-level api work

Smoke Jumper Wanted >> Software Engineer-SaaS Operations: 50% resolving critical issues across the stack/50% project work. Ideal for someone just starting their career and has been on a product team and craves variety, or a support engineer who has modified production code and wants to work in cloud technologies. 2+ years Go, Python, Java, C, or C++, exp w/SaaS apps in the cloud (AWS preferably), database (relational/non-relational).
You're absolutely right! Identifying and addressing root causes is hard, good, morally required work. Work we must undertake.

Yet, what are people to do when they have been placed in a position where identified solutions to the root causes have been placed out of reach? They can make themselves more comfortable, at the very least. Their suffering is not a moral obligation.
But it's not impossible. I've never used Messenger.
The Gnar Company | Software Engineer | Boston, MA | Full-Time, Onsite | https://www.thegnar.co

We build foundational digital products. We are seeking experienced software engineers familiar with Rails & React.

Contact: hi@thegnar.co

Posting: https://angel.co/the-gnar-company/jobs/142475-software-engin...
It is better than the code I actually wrote, I've already switched to it as a base, and have been merging my changes in to my local branch today. :)

I look forward to everyone having SSL :)
There was an above-water radar reflector in place specifically so shipboard radar could warn of an impending collision with the reef.
How would "secure://" differ from "https://"?
Yes, now there are. When I authored my post there were less than 20.

https://web.archive.org/web/20180501201626/https://discussio...
Hey, you gotta impress investors somehow!
lol, reading it again now does look really depressing. I wouldn't want it any other way, just that the house is always full, its like living with roommates all the time except noisier.
> The key enabling factor is the (now decrepit) public transportation system. The Bay Area, again, has nothing like it (once again, possibly due to the crazy geography of the place).

I'd put this more on the Bay Area's low population than on the geography.
Also: It's literally on top of a fault line, most of the land is unsuitable for skyscrapers due to soil liquefaction during an earthquake, 80% of the area surrounding downtown is water

>I'm sorry to say it, its time to bail out. We need to start lobbying software companies to get the heck out of the bay area

Agreed. SF is just a bad location to build a large city.
I mean, I am sure they will delete one of the copies of your data they have.

I am sure they aren't purging backups of the data.
Literally said "over time", nothing about deciding after a first date.
I came here to say this. They are required by GDPR to have a way for users to edit and delete all personal data. They needed to built this anyway.
Or Ctrl-c, which vi traps and at least exists on non-US layout keyboards.
Why is that such a problem with this keyboard anyway?

My B button is sticking after just 2 months! I've been using Macbook Airs and Pros for about 8 years and never once had any issue with any of them until this one.
Real work example would be a re-mailer. Outside of the envelope shows one address it goes to but inside where others cannot look actually has the true address?

Since the plain text has the fake address while the encryption has the true address, I see no issue with this.
Rebuilding your social graph is easy - just import the roster and resend authorization requests as needed. The only inconvenience is a changed handle, so you have to point any potential new contacts to new JID.

Also, while it's not specified in XMPP (yet), it's easy to imagine a federated service that lets you connect to any server in the network that then behaves as a proxy to whatever server you have your account on.
It's frustrating to distracted readers too. I read the headline and logged into FB on the spot, for the first time in years, with the intent to flush all of that data. But no amount of searching allowed me to locate the button.
The entire current population of the bay area (~9M) would fit within 165 of the 10,000 square miles of the CSA, if built at Parisian densities. That is less than 2% of the land.

This is what boggles my mind: despite such a minimal land requirement, nobody in the entire fucking region will budge. Put it somewhere else, they say. It has become a game of musical chairs where nobody gets up for the next round.

State intervention is the only thing that will solve this problem.
As a Canadian it makes me elated to see one of our big broadcasting oligopolies take a hit. What caught my eye was :

>Undeterred, Ramsay filed a complaint with the Commission for Complaints for Telecom-television Services (the CCTS), a moderator between customers and telecom providers.

>In a lengthy email exchange, a spokesperson for the CCTS insisted that Bell had the right to increase prices and since the telecom had notified Ramsay of this fact — as well as an upcoming price increase — it ruled that the telecom provider met its obligations and no further investigation was warranted.

CCTS is a part of hte CRTC here in Canada which is a government institution that's supposed to regulate broadcasting and telecom in order to protect Canadian customers. In recent years, they've helped broadcasters fix prices by having them meet and agree on base prices. They've also made prices more expensive for Canadians by working to keep out foreign competition and limit internal competition.

In the one instance where it was asked to actually protect a customer against clearly illegal behavior - they didn't seem to care at all, demonstrating that the CTRC is a taxpayer funded entity here to help the telecom giants and not the taxpayers who fund them.
Less risk: people in the targeted demographic like this story, they already like these actors, they already watch this directors movies.

They will buy the movie, will buy the products placed in it, will buy the merchandise, will bring their children and allow them to be invested as consumers in the media's financial system under the suggestion of cultural input, ...
Trialspark is a healthtech company located in Manhattan, NYC. Our mission is to bring new medical treatments to patients faster by reimagining how clinical trials are run. We've built a network of doctors and a technology platform to run end-to-end clinical trials.

Projects range from a patient eligibility engine for trial matching to an adaptive trial platform. For development, we're fully dockerized on AWS and work on a Flask, React, and Postgres stack.

We raised our Series A with Sequoia and Thrive last August.

Multiple openings:
- Full Stack Software Engineer: https://grnh.se/naqkxyys1
- Product Manager: https://grnh.se/atx5bdye1

Reach out to learn more! kev ( at ) trialspark ( dot ) com
Interesting tidbits from article:

A modern Intel processor has up to 180 instructions in flight at a time (in stark contrast to a sequential C abstract machine, which expects each operation to complete before the next one begins). A typical heuristic for C code is that there is a branch, on average, every seven instructions. If you wish to keep such a pipeline full from a single thread, then you must guess the targets of the next 25 branches.

The Clang compiler, including the relevant parts of LLVM, is around 2 million lines of code. Even just counting the analysis and transform passes required to make C run quickly adds up to almost 200,000 lines (excluding comments and blank lines).
I just sold my mid-2015 rMBP on Craigslist, but I won’t be moving to the new one.

I tried the new ones, Windows 10 tablet hybrids, iPad, iPad Pro, and Android tablets. I settled on an iPad with a Bluetooth keyboard and LTE - I wouldn’t have been able to do that had I not discovered Blink Terminal (an iOS MOSH/SSH client) and do most of my “real” work in the shell. Otherwise, I’d probably have ended up with an X1 Carbon running ArchLinux. I may still end up with a Carbon, but so far I’ve not been able to rationalize the expense.
by reading the title, I don't know this is about Los Angeles or LA state....
>We only think it is a moral issue because it's been drilled into us since we were kids

Dishonesty has long been considered a moral issue, e.g., Kant.
I also received this. And also had changed my password somewhat recently.

Despite my initial irritation, it's hard to fault them here, they had many other paths they could've chosen. I suspect many companies, upon determining the bug leaked information internally only in a relatively secure place, would've decided to just delete the offending logs and go on with their day.
CoinAlpha | Backend / Data Engineer | Mountain View, CA | Full-time | Onsite | https://angel.co/coinalpha-1/jobs/352755-backend-data-engine...

CoinAlpha is building an open, decentralized asset management industry. We use blockchain technology to eliminate the intermediaries that stand between asset managers and investors, improving transparency, efficiency, and liquidity. Our first product is the world's first tokenized hedge fund, which uses machine learning to deliver a higher risk-adjusted return on the most liquid cryptocurrencies.

We're a Python / Cython shop. We also work with the Ethereum smart contracts so knowledge in Solidity / web3 is a plus.
Doesn't loadup in Safari.
Pretty easy to eat a healthy diet of legumes, chick-peas, vegetables, white meat on a low budget. Use a bike to get around.
Lojack Becomes a Double-Agent
Intercom | Full Stack Engineer, Senior Engineer & Principal Engineer | San Francisco, CA | Onsite | Visa

Intercom is growing faster than almost every other Saas company, ever. We’re looking for talented engineers to join us and influence our product roadmap and direction.

Our engineers have more than a technical role – we're creative product and technical contributors. We use our experience to inform our engineering process and decisions when building new features and ensuring scalability and availability of the entire platform.

You’ll be part of one of our multidisciplinary product teams, where you will build both back-end and front-end systems, and work closely with designers, product managers, researchers, and data analysts. Product engineers at Intercom work across design and implementation, making the right technology decisions to build the best product.

Learn more and apply here: https://www.intercom.com/careers#roles or email me (alanna@intercom.io)
Yes, it is now. When I posted every single comment in this thread was FUD-dy, but it wasn't yet clear how common of a thing this was.

There's more evidence now, so I'm updating my prior.
Pfffffft.

Windows Mixed Reality headsets are so much better than this.
You are joking, right?

1. They have grown since last 2nd quarter, and are still pulling in ridiculous profits.

2. No one is buying the Pixel, they will probably sell 5 million this year if lucky. Less than 1/10 what Apple sold in this quarter alone. The S9 has also been struggling.

3. Cloud has grown.
Ditto. I had a late-2013 15” MBP that did it consistently, and it was worse when you touched the bottom of the chassis. My mid-2015 MBP did it slightly, and I’ve not detected it on my current-gen 13” MBP or any of my non-Apple hardware.
> While there, he was struck by the power of digital weapons: military jets routinely flew overhead, using electronic pulses to detonate hidden bombs before they could kill American soldiers.

Anyone have more details about this? I know there's some current research into portable EMPs but never heard of them being used in 2011. A quick search didn't turn anything up.
No, Blocks especially requires 6DoF. Can probably view Blocks stuff though.
The “Visual Basic Effect”
Senior Back End Engineer
I worked on adding SSL/TLS because I see it as a need, and I knew that I was losing performance with SSL/TLS unwrapping daemons. Until I finished and started benchmarking, I just didn't know how bad the performance hit was. I'm just glad that PR #4855 is going to be merged; it's better code than I wrote, and is faster.

We'll see if the other stuff I'm working on causes the fork to take off; SSL/TLS won't :P