skysight-inc/HackerNews huggingface dataset:
Having written a chunk of my phd in prolog and even a simplified implementation of one, I'm definitely a fan. At the same time, our startup (graphistry) works w/ teams needing to look at all sorts of graph data, including knowledge graphs like the topic here, and I'd be nervous about meeting the performance & scale needs with out-of-the-box prolog systems. Likewise, a lot of prolog's power comes from ideas like automatically backtracking search, and I can't imagine using that in most team environments.

Datalog solves most of that :) My read of the paper is their semantics largely reduces to datalog. The most interesting semantic exception is their bounded recursion, which suggests they're doing optimizations normal datalog wouldn't. Likewise, graph workloads often have weird phenomena to optimize for in terms of expected queries & data, where I'm guessing datalog might fit semantically but not how people would normally implement an engine. The PathQuery paper carefully side-stepped all such discussion, so I've been curious.

At Graphistry, we do end-to-end GPU stuff, so I've been thinking about this particular problem, and came to a similar conclusion of a datalog-ish subset being the most straightforward way to get more performance/$ for this kind of task.
> The individual admitted running a campaign which "involved the systematic dissemination of false and defamatory allegations" against Mr Nolan.

I think that it is good that someone got to own up for the turdslinging they do online, but why are we ok with platforms that aren’t held accountable for the “systematic dissemination of false and defamatory allegations” they enable? What if you don’t have BBC lawyers and resources behind you when you or your little company is targeted?

I know this may be a little too Scandinavian for some HN users, but I simply don’t get why we don’t hold the social media platforms accountable for the content that gets posted to them. We have laws and bureaucracies in place to govern traditional media, exactly because the two world and the Cold War showed us what propaganda is capable of, and yet, we let these new platforms do whatever they want?

Maybe that would break Social Media, because their automatic moderation wouldn’t be up to the task, but so what? The way things are moving forward, the platforms claim to have upped their moderation, but as long as they aren’t actually held accountable by any democratic institution, they will still mainly be moderated by the advertising industry and that’s just not not what’s in public interest.

I know Donald Trump is a touchy subject to bring up. But why was he banned when he was? Shouldn’t he either have been de-platformed long ago, or not at all? Sure was convenient for the companies to do so when they did, wasn’t it? I’m personally happy that I haven’t heard a single thing about American republicans in 2021, but I still think it’s a democratic issue that it is a select few tech-billionaires that can remove someone like Donald Trump from my life and not any form of public institution.

It all goes back to the lack of moderation and the lack of consequences for these Social Media platforms. Yeah, one “ systematic dissemination campaign” was stopped because the BBC protects its journalists, but how many go unpunished?
Lol I think MOST people don't understand what TPM is/does...
> Comparing it to coal is precisely "better than the worst". Coal is the worst option, and even the US is phasing it out rapidly.

I don't think anybody disagrees with that. The claim is only that there are lots of sufficient reasons for nuclear power that don't stop at "it's not the worst."
It comes across a bit disingenuous to imply that the choice is either 1) executives use their considerable resources to actively disrupt public discourse. or 2) we all lose access electricity.

It comes across even worse if you’re implying that people haven’t considered this and haven’t been trying to push for energy alternatives for decades. old world energy executives have been caught multiple times using their considerable resources to disrupt those attempts as well and intentionally adding noise, causing signal to noise issues. and just like this newest leak, this is done intentionally in order to intentionally cause signal search fatigue.

we need an accurate analysis of how we got here, and that accurate analysis isn’t “activists are such monkeys they didn't consider we need refrigerated food.”
This is a Bayesian model so it of course provides a probability distribution for both the parameters and the forecasted values.

P(model | historic_data) = P(historic_data | model) P(model) / (sum(model) P(historic_data | model) P(model))

P(future_data | historic_data) = sum(model) P(future_data | model) P(model | historic_data) = (sum(model) P(future_data | model) P(historic_data | model) P(model)) / (sum(model) P(historic_data | model) P(model))
This is a beautiful illustration of the cause of the drama described in the article.
Department for International Trade (UK Civil Service) | Senior Site Reliability Engineer | Full-time | London, UK & Cardiff, UK | ONSITE

At DIT, our Site Reliability Engineers (SRE) ensure that all our services, facing the Internet's erratic nature, are just working and are responsive.

The journey starts from ensuring that the development teams have the right tools to do their day-to-day job, including APM, exception aggregation, log aggregation, autoscaling, performance metrics aggregation, dashboards, software-defined CD/CI pipelines, etc.

You'll evaluate technology and solve cross-service problems. You will develop new services(primarily in Python Django).
You'll evangelise product teams about Service Level Indicators, Objectives, Error Budgets and negotiate them.
You'll be representing the modern impatient Internet user.
You'll evangelise the DevOps culture and break siloes to build better services.
You will contribute to the code of supported web applications.

We're looking for several Senior SREs and 1 person Lead SRE to join the team.

Full details: https://jobs.jobvite.com/digitaltradecareers/job/oOQRdfws

About DIT: https://www.gov.uk/dit
Automatically connecting to an open WiFi network without being instructed to do so seems reckless to say the least.

Are you aware of any TVs that are doing that?
JW Player | Software Engineer, Product Manager | New York (NYC), NY | REMOTE possible | Full-time

JW Player pioneered video on the web over a decade ago and continues to innovate as the world’s largest network-independent platform for video delivery and intelligence. Media companies including Apartment Therapy, Business Insider, and Univision, in addition to hundreds of thousands of creators of all types and sizes, rely on JW Player to deliver and monetize their content across all devices.

JW Player’s massive global footprint of over 2 billion unique devices creates a powerful data graph of unique consumer insights and generates billions of incremental video views.

JW Player also started as and continues to be the most popular open-source video player: https://github.com/jwplayer/jwplayer

All our openings can be found here: https://www.jwplayer.com/company/careers/

Overall, we are seeing record video traffic over the past year, and with that comes a ton of exciting challenges to work on at a huge scale.

If interested in any of these roles, please email me at pgodzin@jwplayer.com
> Computational Geometry Engineer (rust)

What's the salary range for this position for someone that would check all the boxes?

Asking for a friend that currently works at FAANG..
Of course it isn't FU money if you insist on buying outrageously overvalued cars and real estate. There is no limit to the amount of money you need to play that game to receive increasingly marginal returns. You can be a small time billionaire and fool yourself into thinking you don't have FU money because you'd have to make sacrifices to buy that yacht you've been eyeballing
Those are links to articles about recent'global warming' theories and data manipulation, a different topic.

The Maunder Minimum and thousands of years of data are worth considering in the context of earth's relation to the sun.
Harvest | Frontend Software Engineer, Data Scientist, Senior Product Manager, Financial Analysis & Business Intelligence Manager | Worldwide | Remote Full-Time | https://www.getharvest.com/careers

Data Scientist * https://apply.workable.com/harvest/j/CECA40A843/

Financial Analysis & Business Intelligence Manager * https://apply.workable.com/harvest/j/B1D0F44B8A/

Senior Product Manager * https://apply.workable.com/harvest/j/BFDD543316/

Frontend Software Engineer * https://apply.workable.com/harvest/j/DC9E5AF371/
There are other companies that do the same, but have a (small) subscription fee for their profit. But the prices of all domains are without any margin.
> But I don't buy that copypaste programming is benign.

Copypaste programming doesn't have to be benign in order to be better than the likely alternatives. The people who blind copy/paste are likely not producing high quality code in the first place. In which case, blind copy/paste is often an improvement.
Sounds very cool. Would it be possible to have a software only package (SteamVR and support for Apple/Android watch or similar sensors for heart rate/HRV) for those of us who already have the hardware (don't need the kit and are not in the US)?
This right here is exactly what this is all about. People who comment without actually reading the article, let alone the story they think is transphobic when it's the exact opposite.
I think a _ton_ of people would come up with 6 figures if the alternative was jail time.

It doesn't have to be cash in the bank -- take out debt, remortgage your house, sell your car, borrow from friends and family, etc.
It is going to have the same vigilance problem as partial self-driving cars. When the machine feels like it's handling most everything for you, you let down your guard.

It shouldn't be that way, but it's how people work, so we should expect it to happen. (Psychologically, if an action is very rarely rewarded, people are less likely to do it.) Even if you want to be vigilant, it will be a bit of an uphill battle to make yourself do it.

Also, checking the auto-generated code takes time. You, as an individual contributor programmer, may believe that the time is absolutely worth it, but you will need management to support that. This technology creates additional opportunities for managers to say, "Don't worry about that. Ship it." Which is another thing that really shouldn't happen but in reality does.
Location: Sacramento, California

Remote: Yes

Willing to relocate: Yes

Technologies: Javascript, Node, React, Vue, Leaflet, CSS, SASS, Foundation, Bootstrap, Python, Wordpress, AWS, Linode, Heroku, Jenkins, Git(lab|hub) CI, See Résumé for more details

Résumé/CV: https://raw.githubusercontent.com/evinr/Graphic_Design/maste...

Email: See Résumé

I am a product-oriented engineer with a focus on the frontend that is currently looking for a role that lends itself to my creative, interpersonal, and marketing skills.
> There's no such thing as viable currency.

Of course there is, for example it would be necessary for it to be useful as a medium of exchange. Which, bitcoin certainly isn't.

I can't purchase, for example, >50% of the basket of goods that comprise the CPI with bitcoin.

Sure, you can argue that anything which can facilitate more than 0 exchanges with more than 0 counterparties is, at least ephemerally, a currency. But if you're arguing that, you've already lost.
A friend of mine does similar work on cerebral palsy patients - looks like more and more people are getting into VR-health for specific things! Pretty cool and good luck!
> Gmail isn’t secure.

This indicates nothing as to the security of Gmail itself.

It is however an -excellent- reminder that SMS is -not- secure.
If you read a book and use the instructions to build a bicycle you are learning a new skill and this is obviously not exploitation of people's work.

When you read a book and copy this book partially or entirely to create a new book or create a derivative work using this book without citation it's called plagiarism and copyright infringement. It is not only exploitation, it is against the law.

If you feed an entire library to an AI to generate new books without source citation and copyright agreements it is not only exploitation, it is against the law. We can call this automated plagiarism and copyright infringement, and automated or not, it is against the law. Except if you use public domain books. It wouldn't be illegal but highly unethical considering there are powerful companies with big pockets bending public domain's laws to avoid their assets to be public available (I'm looking at you Disney), but that is another story.
River Loop Security | Cyber Security | Maryland/DC/Virginia | Onsite | Full Time | https://www.riverloopsecurity.com/
River Loop Security specialize in solving complex cybersecurity challenges across the commercial and federal spaces. We are looking for an experienced senior software engineer to lead development of our advanced firmware analysis platform. This involves collaboration with a team of best-in-class security researchers to productize new cutting edge research as new capabilities into the platform. Prior experience with distributed systems, cloud infrastructure, and containers preferred. Security research background is a plus, but this could be a great role for an experienced software engineer to break into cybersecurity.

In the federal space we work to solve DARPA-hard problems and fulfill our customers' mission needs. We are looking to hire a number of Security Researchers with experience in the following categories: firmware reverse engineering, hardware reverse engineering, and kernel/UNIX C development. Additional opportunities are available for RF engineers, engineers with FPGA experience, and low-level developers looking to enter the security field.

If you work in the embedded security domain, we would love to hear from you. We are also always looking for embedded pentesters and firmware reverse engineers for our commercial services team.

If interested, please reach out to team @ riverloopsecurity.com
Beauhurst |Front End Lead |Full Time |Onsite

Beauhurst is a market leading data platform tracking all of the UK's start-ups and scale-ups. Through a combination of machine learning and people power, our platform helps over 20 industries use our data to sell to, invest in and support these exciting companies.

We're growing rapidly (40% YoY) and are looking for an experienced Front-End Developer to lead our growing team in Nottingham. You'll have ownership over our front-end architecture, take a lead on strategy and line manage a growing team of 2.

What makes this role special? We hire ambition over experience and so you don't need to have loads of management experience to do this - we'll support you to grow and develop into a leadership role. There are also some super exciting technical projects for you to get stuck into - building a range of features that directly help our clients and the high growth space.

Tech/Stack: Vue, D3, Grunt

If interested, please send an email with your CV to becky.saxby@beauhurst.com
Deliverr | Engineering | FT Remote (US and Canada)

Deliverr is experiencing exponential growth as we strive to democratize the delivery space and bring fast and affordable shipping to anyone who wants it; while tackling real world problems with cutting edge technology. We have offices throughout the US and Canada, while also supporting fully remote work (within those regions) and are hiring across all levels for our Engineering teams. Please check out our careers page and some highlighted roles below - we look forward to hearing from you!

All open roles: https://deliverr.com/careers/

Senior Backend Engineer: https://deliverr.com/career/?gh_jid=4419168003

Frontend Engineer: https://deliverr.com/career/?gh_jid=4177952003

Support Engineer: https://deliverr.com/career/?gh_jid=4310695003
> Are you missing an /s or are you saying that it shouldn't be done because it would enable e.g. use of radio hardware that goes against radio regulation

Great question. I'm intentionally not answering it because I am not sure what I think. There are valid points on both sides. In part what I think depends on how evil evil people get.
maybe they did, but then the troll would have fought the case and probably won

everything is a negotiation

Edit: 1 downvote today and now I can't respond
Nice website! Seems like this is exactly the missing
'Step 1' from https://visawhen.com/ :)
Zebra Technologies is acquiring warehouse robotics company, Fetch
Most damages are settled out of court. Going to court is more expensive so lawyers on both sides try to avoid this.
This only works if the patent troll believes the patent can be invalidated. This is rather hard for many patents - a lot of the time patent trolls own legitimate patents, they just try to apply them over-broadly. You would defeat them in court, but would not automatically invalidate their patent - you may only be able to show that their claims do not cover your work.
Numan | Backend (Python / Ruby) | Frontend (Vue.js) | Android | Remote EU

Join us to help men help themselves be healthier.

https://numan.jobs.personio.de

Any questions HMU red@numan.com
Yes, that fits. The best English equivalent, I think is the saying that "no good deed goes unpunished".
What an utterly bizarre take on the situation.
Yeah, or I was thinking they should be sorted by amount issued, most to least popular.
>I can't think of any legitimate reason the law should protect liars and the expense of every one else.

You're advocating for the government to become the arbitrator of true and fiction for private speech. Seems like an absolutely terrible idea to me.
Is that you Elon?
To turn the question around: isn't exceptionality harder to deal with than mediocrity?

Celebrities and publicly known personalities of all sorts seem to have coping problems. With current information technology, they attract thousands of fanboys and hundreds of haters. They cannot distinguish true friends from sycophants anymore. Their personal life suffers from lack of privacy.

If being great comes with popularity (which it often does, nowadays), it is a double-edged sword.
The investors were defrauded - that's why the SEC was investigating...
The Commons Project | Multiple | NYC | REMOTE OR ONSITE | https://thecommonsproject.org/

The Commons Project Foundation (TCP) is an impact-focused non-profit organization. Established in 2019, TCP’s mission is to create, finance, and operate digital services for the public good. We partner with government agencies, for-profit companies, academic institutions, and other stakeholders to create digital infrastructure in healthcare, education, finance, and community & civic engagement.

We have multiple engineering positions open for our CommonHealth and CommonPass products, including: Android, backend, and forward deployed engineers.

CommonHealth helps people collect and manage their personal health data from hospitals, labs, and devices and share it with the health services, organizations and apps they trust.

CommonHealth extends the health data portability and interoperability model pioneered by Apple Health to the 55% of Americans with Android™ devices (85% globally), enabling broader and more equitable participation in research, innovative care models and next-generation health services. Check out our app on the Google Play Store(https://play.google.com/store/apps/details?id=org.thecommons...).

CommonPass enables individuals to document their COVID-19 status to satisfy country entry requirements while protecting their health privacy. With CommonPass, individuals can easily access their lab results and vaccination records, and surface their COVID-19 health status at the point of entry without revealing any other underlying personal health information.

More information can be found at: https://app.trinethire.com/companies/28574-the-commons-proje...
What stops google now from being able to modify the apps?
You honestly think because you signed it, they can't bundle it with whatever they want to?
Building a surveillance state.

Want direct data devices locked down and proprietary (TPM and apple T2).

Want devices directly tied to the user. Want to prevent “hacks” that detect snooping or other low level background “proprietary” services that may be running.

My two cents. We are rushing to emulate china.
Tapad | Full-Time | NYC & Oslo, Norway | Open Compensation

Tapad is known for inventing and introducing the Tapad Graph™ to the industry. At the heart of it, we’re a big data company.

Tapad's Open Source tech stack (below) handle:

- Google Cloud Platform (GCP), Google Dataflow/Beam, SQL, BigQuery
- Scala, sbt, cats, http4s, fs2
- Spark ML, TensorFlow, Kubeflow, Python, PyTorch
- Airflow, Looker, Kubernetes

- - - - - - - - - - - - - - - - -

Here are our open roles in Engineering:

Senior Engineering Manager (Oslo): https://grnh.se/a550ca191us
Software Engineer (NYC & Oslo): https://grnh.se/5fb37cb01us
Senior Software Engineer(NYC& Oslo): https://grnh.se/9eb277671us
Senior Machine Learning Engineer (NYC & Oslo): https://grnh.se/76d759651us

- - - - - - - - - - - - - - - - -
More About Tapad:
We use Scala, in combination with large-scale data processing and open-source technologies, to build our device graph. Across our engineering teams, we also use Scala, GCP, Spark, Kubernetes, Python, TypeScript, Angular, and anything else that helps us get the job done. We're open-minded about new technologies, we're passionate about what we do, and we make time for everyone to learn and grow as the industry changes. Engineers at Tapad are approachable and ambitious people who think outside the box and solve big problems collaboratively. Are you up for the challenge?
I don't think it's about being cynical and more about proximity. I'm not as pessimistic about charities. We don't get the same good feelings helping people we don't know for the same reason we don't care about all the people that is suffering right now.