skysight-inc/HackerNews huggingface dataset:
I seriously could not agree more. For some folks, WFH doesn't impact their collaboration, but it definitely does for me.

I've had so many instances where we've been trying to crack a problem, going back and forth over emails and WebEx calls for months. We finally get back into the office and have a person-to-person meeting, and it just...gets resolved. Like magic. You could say that those previous discussions just laid the groundwork for us to crack it, but it's more than that...having one more WebEx meeting wouldn't have fixed it, or two, or three.

There's something about the personal interaction - physically pointing at the screen, having multiple laptops open, pacing back and forth, whiteboarding - that can be magic for brainstorming.
Firebase works until you want a different conflict resolution then last-write-wins.
It is also only offline first if the user is authenticated. Otherwise you need a connection to the servers before using the local state.
IPinfo.io | Various Roles | Remote (Anywhere) | Fulltime / Contract | https://ipinfo.io & https://host.io
IPinfo is a leading provider of IP address data. Our API handles over 40 billion requests a month, and we also license our data for use in many products and services you might have used.

We started as a side project back in 2013, offering a free geolocation API, and we've since bootstrapped ourselves to a profitable business with a global team of 17, and grown our data offerings to include geolocation, IP to company, carrier detection, and VPN detection. Our customers include T-Mobile, Nike, DataDog, DemandBase, Clearbit and many more.

We're looking for exceptional and ambitious people to join our team - we've got various senior roles we're looking to hire for:

- Operations lead - first operations hire, help us build and improve processes, scale and grow the company and business - apply via https://ipinfo.bamboohr.com/jobs/view.php?id=25&source=hn

- Success / support lead - our fist fulltime success & support hire. Help improve and grow our support team, and give our customers world class support interactions - apply via https://ipinfo.bamboohr.com/jobs/view.php?id=23&source=hn

If you like what we're doing and think you could be a great addition to our team in a different role then let us know at https://ipinfo.bamboohr.com/jobs/view.php?id=25. Also feel free to ping me directly if you have questions about any of the roles or just want to chat about IP data sets :) ben@ipinfo.io
Man, I will remember Google Wave for the rest of my life. It was really ahead of its time. Kuddos for being that visionary.
Uizard | Copenhagen/REMOTE | Deep learning engineer/ MLOps engineer / Plenty of other engineering positions

You will be joining a young and dynamic international team developing bleeding edge deep learning technology and shaping the future of UX design and development. We are 9 different nationalities, speak 10 different languages, we have been a remote-friendly company since day one, and we are so far distributed in 5 different countries with our HQ in Copenhagen, Denmark.

Apply: https://angel.co/company/uizard-technologies/jobs
TikToker fights to convince people he’s not Brian Laundrie
How does that help? If I put my credentials into a phishing site and then get a prompt on my phone to approve a login, why wouldn’t I click approve? Plus, then the attacker often gets a cookie showing their device passed 2FA.
You are ignoring all the other stocks in the market that are not part of an index, which should represent better investment value in the scenario. Do you really want to only invest in the peak priced assets in a market?
Helping users explore the web and continue prior tasks
Parasite Turns Plants into Zombies
for me, its like a soundtrack recorder for my life - sometimes ill remember that there was a cool song playing at the bar and with this feature, its likely that my phone captured the song and tells me what it is - there are 3rd party apps that will give you location based info for when and where you heard the song as well, so it creates a music map and timeline for you. its a very niche feature.
This shows a funny way that the word invent has shifted in meaning. Invent means “found” (almost literally “came upon” in Latin) - yet for some reason it shifted to mean “created” in a sort of “this is mine don’t steal it from me” sense. Then here we are clarifying that we literally mean the actual meaning of the word. It’s interesting that math is considered impossible to have as intellectual property, yet we think somehow that IP law is justifiable for everything else.
Games are hard because they are a complicated mishmash of software and entertainment, both of which are notoriously hard to do well.
Sky UK | Senior Developers, Infrastructure Engineers | REMOTE (UK) | Full-time | https://sky.com

We're a startup team that was recently acquired by Sky to deliver our home monitoring devices as part of a new business venture, and we're looking to grow the team to help us get towards launching with Sky.

Right now we're looking for Systems Developers to extend our Ruby/AWS based IoT services, working as part of a larger product team to get new features to customers. We're also looking for an Infrastructure Engineer to join our currently small but growing infrastructure team to support that.

You'll need to be able to get to Sky's head office in Isleworth, London every 4-6 weeks when it makes sense to get people together and point at a whiteboard, but otherwise we can accommodate remote candidates - in our previous life as a startup we've been a distributed team since the outset, so we're well set up to deal with that.

https://careers.sky.com/job/13787606/systems-developer-londo...
https://careers.sky.com/job/13109816/infrastructure-engineer...
Responding to each point you raised:

'Frama-C so verbose': ??? Ada is the most verbose programming language, ever, even before you had the extremely verbose Spark contracts. Could you show me an example of Frama-C with annotations being more verbose than Ada/Spark?

'Spark has added checks on memory ownership': A Rust-like pointer ownership tester has its advantages and limitations.

Advantages: if you have team of 20 engineers working on a 20 million line web browser and no single engineer understands how the whole code base works, a pointer borrow-checker prevents an important class of errors.

Disadvantages: Rust tutorials point out that you have to resort to 'unsafe Rust' to implement even an intro-to-computer-science linked list. You have to use unsafe Rust to implement your fancy heap manipulation algorithms. Unsafe vs safe Rust is a bit like Ada vs. Spark ("safe Ada").

'I'd be quite happy to find more people diving into Frama-C': Frama-C is trending upward and Ada is in decline, ever since the Ariane 5 explosion on 4 June 1996. The US DOD consequently shut down its Ada office and eliminated the Ada requirement, and C/C++ subsets increasingly dominated.
Abnormal Security | Multiple Roles in Engineering & ML | REMOTE (USA or Singapore) | Full-Time | https://abnormalsecurity.com/see-open-roles/

Business email compromise (phishing, etc.) is the most common way attackers get into corporate systems. We're working on solving that issue. We've already found our product-market fit and we're now looking for people to help execute through the next phase of our growth.

There are many roles open, check the link above. For my team specifically we're looking for Python & Go engineers to work on our portal and other customer-facing products. We're also looking for people who can help us re-build our foundations to unlock the next phase of Abnormal growth.

Feel free to apply through the link above or email me at anton@[companyname].com
One upside, I suppose, of living in Portland is that Beaver is just 'the standard condiment brand I get at the grocery store.' I do like their stuff, and their tartar sauce was what made me try their other products.
Does this mean that Netflix has to have a private TLS key in the box? I wonder how the security of these keys is usually maintained. Interesting engineering/cryptography problem.

This problem might also be an interesting use case for Signed HTTP Exchanges. Sign the video files, then push them to the caching server. The caching server then never possesses the private keys for the connection and also cannot modify the content.
n8n | Berlin, Germany OR Remote | Visa supported | Multiple Roles | Full-time

n8n (https://n8n.io/) is an extendable workflow automation tool which enables you to connect anything to everything via its open, fair-code model. We recently raised Series A funding from some of the best VCs and angels globally, including Sequoia, Felicis and firstminute.

We are hiring for the following roles:

- Senior Frontend Developer

- Fullstack Developer (also Freelancers)

- Head of Engineering

- Head of Marketing

- Senior Talent Acquisition Manager

- Product Manager

- Senior Developer Adovcate

- UX/UI Tester - Working Student

Apply here: https://n8n.workable.com/
well said, thx for your comment
If you're interested in implementing languages in Python, I've been enjoying watching the development of Porth[0], a stack-based, forth-like* language on Twitch.

* See readme disclaimer that there's no actual connection to Forth other than the stack-based design.

[0]: https://github.com/tsoding/porth
> Facebook is global, the fact the suicide rate only grew in the US and not worldwide is a point in its favor.

Not necessarily. To oversimplify things to make a point, suicide may have two ingredients: Facebook and something else. The US has an increased rate because has both (Facebook and the other ingredient), while the other places don't because they only have one ingredient (Facebook) and are missing the other. It's not a point in Facebook's favor if it is one of many ingredients in a recipe for suicide, and Facebook may be the easiest ingredient to eliminate.

And that's totally plausable. The US has many unique cultural factors (e.g. highest rating of individualism of any country).
Yes. I make a monthly donation to Eleventy via Open Collective. From time to time, I also “buy a coffee” (as the term goes) for the dev(s) behind certain other FOSS or OSS projects I’ve found useful.
Switcher Labs SA | Yverdon-les-Bains, Switzerland | fully or partially REMOTE

We are a tech company developing a multi-camera video production platform on iOS (switcherstudio.com).

We are looking for the following software engineers:

- GPU Graphics Expert (Metal, WebGPU, OpenGL, …)

- Audio Expert (audio pipelines, encoding, audio over IP, resampling, …)

- WebRTC Expert (C++ and JavaScript API, WebRTC implementation)

- Network R&D Engineer (TCP, UDP, BSD Sockets, WebSockets, …)

- Swift Engineer

- Emscripten/WebAssembly Engineer

- Software Research Engineer (Swift on Windows and Andoird, React Native on
Windows and MacOS)

For working on site as employee, you must be legally authorized to work in Switzerland or be EU citizen. For working remotely as an employee or as a contractor you must be located in CH, EU or US.

Apply by email: jobs-ch@switcherstudio.com
EveryAction | Software Team Lead | REMOTE ONSITE | Full-site | everyaction.com

We are hiring for several engineering and engineering-adjacent positions. Here's a point-in-time list, but you can get a more accurate accounting from our careers page at https://www.everyaction.com/careers/ .

- Software Team Lead - Boston/Somerville - C#/React/MSSQL - https://ngpvan.applytojob.com/apply/VKqDeWELMi/Software-Team...

- Software Team Lead - DC - C#/React/MSSQL - https://ngpvan.applytojob.com/apply/qWp5Pq4zb8/Software-Team...

Why EveryAction?

EveryAction is the fastest-growing and second-largest software company for nonprofits. We provide SaaS tools, built around a unified CRM, that empower our clients to be more effective and do more good. We do exciting and important work that has a significant impact on promoting civil rights, social justice, and environmental responsibility. We've worked closely with every major Democratic Presidential campaign since Obama 2008, and our non-profit clients include organizations like Audubon, Covenant House, Feeding America, NAACP, and Special Olympics.

We do our best to hire people who are smart, dedicated, and not too full of themselves. We value work-life balance and our benefits package demonstrates that: 5 weeks of paid time off, 11 annual holidays, 12 weeks of paid parental leave, 100% premium-paid health/dental/vision, employer retirement contributions, and an ongoing education allowance.

EveryAction believes a diverse, inclusive staff makes us a stronger company and better partner for our clients. Women, people of color, LGBTQ individuals, and members of other minority or marginalized groups are encouraged to apply. We’re committed to hiring people on the basis of qualifications, merit and business need, and EveryAction is proud to be an equal opportunity employer.
You’re assuming the over subscription is only occurring on the transit / peering side and not the last mile. I’m not so sure that’s entirely true.
Not sure that makes any sense... if users held the assets before, they have an asset with unrealized gains. When it transfers ownership, those gains are realized.
Not really? There are things that you're not required to report to the IRS that others can use to underreport income -- for example, the identity of which contractor you made small cash payments to. Reporting their identities to the IRS is not illegal, but neither is failing to.

(Also, I assume you mean tax evasion? Avoidance is the legal one.)
Plant Rights
The house I grew up in, in the US, was 23 feet wide. And globally speaking, that's a big house. So it ain't small, either.
We all think of CRDT for collaborative text editors, but can you give example of how it's used in the wild that are unexpected, yet very useful?
Cedar | Full Stack, Tech Lead, Engineering Manager, Product Design, Solutions Engineer & Architect | Full-time | REMOTE (U.S.) or Offices in NYC, SF & Salt Lake City | https://www.cedar.com/careers/

Cedar is a health-tech company focused on on reimagining how patients engage with increasingly complicated healthcare systems. Positions open across multiple teams and tech stacks, some key roles are listed below, but many other roles are available. Our tech stack features React, Python, Django. We are a post-series D company with over $350M raised.

Engineering Manager: https://www.cedar.com/careers/view/?gh_jid=2602137

Tech Lead: https://www.cedar.com/careers/view/?gh_jid=2199996

Full Stack Engineer: https://www.cedar.com/careers/view/?gh_jid=2806490

Solutions Architect: https://www.cedar.com/careers/view/?gh_jid=2554778

Solutions Engineer: https://www.cedar.com/careers/view/?gh_jid=2806490

Product Design: https://www.cedar.com/careers/view/?gh_jid=2563850

Tech stack: React, Python, Django

Please reach out to Sandy (sguan AT cedar.com) or myself (anshul AT cedar.com) for more details!
Zeitcode | Software Engineer(Mid, Senior) | Austin, TX/Remote

Zeitcode is a software development shop.

We are looking for an experienced Django developer with some front-end experience to help build out a variety of enterprise software. We are a small team where developers can have a big impact on what we do and how things are done.

Apply here: https://www.ziprecruiter.com/job/45d6eadb
Love it, just got on Kafka a few days ago
How does remote work shift power to labor? It seems to me that the opening of the labor pool and the employer pool up geographically washes out.

If anything remote work entrenches the power of the providers of remote work tools eg microsoft.
RocketPlan Tech | Vancouver, BC / REMOTE | Senior, Intermediate & Lead iOS Engineers, Senior & Lead ReactJS Engineers, Laravel/PHP Engineers, Product Owners

RocketPlan is a remote startup focused in hiring across North America and Latin America. We are focused on creating a unified solution to manage a restoration business from our app. Restoration is an incredibly high stress environment, and we are committed to lower the stress of our customers and making them money in the process with our app. We are early stage, pre-revenue and offer equity to our employees. Code quality is important to us, just as much as building a product focused environment where every person has an opportunity to speak or support the entire product design/development process. As a development leader, it's important to me that we have an open door policy and when someone wants to make a suggestion (e.g. how to improve the app), I encourage them to think about how we should solve the task, instead of leaving it to the more senior staff.

You can check out our website here: https://rocketplantech.com/

Apply on our website: https://rocketplantech.com/careers/
How is VS Code innovative? It’s a text editor with packaged plugins. If there was innovation then it lies in making an above board Electron app.
Agreed. Im a member of certain popular to discuss categories, and Ive never really felt like this stuff was actually for people like me.
Do you believe any joke about women is misogyny? What about a joke about a male?
Zenith Labs | Systems (Rust) + Infra + Web (Go) Engineers | San Francisco or Remote | Full-time + Intern

Zenith is building open-source cloud-native PostgreSQL. Our architecture separates storage from compute, allowing for stateless and serverless Postgres. We’re a well funded startup with deep knowledge of Postgres internals and decades of experience building databases.

There are many different projects to work on, including: Postgres extensions (C), distributed storage engines (Rust), database proxy, cloud orchestration (K8s), web console (React + Go), and serverless API.

Please send brief introduction and resume: jobs+hn@zenith.tech
It is a failure of google to display relevant results, whether intentional or not, we cannot say.

Do you think people searching "happy white woman" are exclusively looking for interracial couples of a white woman and black man? Highly doubtful.

On other other hand, every image returned by "happy black woman" is literally a happy black woman.
The Moutarde de Meaux mentioned in the article has mustard seeds in it.
This sounds great. I've been working on a project for 5 months now and am so demotivated and seem to lose entire days without seeming to make any progress. I know my daily routine is in shambles (I've never been good with scheduling or routine) even though I write a LOT of plans and schedules for myself. I would love to read your book / learn more about what you do to help people improve their workflow systems.
> Fundamentally, owning shares in a company just grants you rights to a fraction of all future company earnings.

No it doesn't! Owning shares in a company doesn't give you rights to a fraction of all the future earnings of the company. What kinds of shares have you been buying? All owning shares in a company gives you is the ability to sell those shares to someone else. There's some kind of nominal "voting rights" and in relatively rare cases there might be some amount of dividends you can get from owning the shares, but the value of the shares is very rarely derived from the voting rights conferred on the owner or the expected dividends to be received.
Yep, not just stock grants, but anything. For example you find a bug in an airline, and report it and they compensate you as a thank you with 200k airline miles... you now owe income tax on those miles.
You are correct, thanks for pointing it out! I may have confused Wire with Threema or something else entirely.

Do you have any news about the open federation they announced in 2017 when they open sourced the server code? [0]

[0] https://wireapp.medium.com/open-sourcing-wire-server-code-ef...
In other words, people can more easily transition to personal matters after completing their work for the day. Long-term creativity (inside of the workplace) goes down. Not surprised. Of course Microsoft would paint employees realizing there is more to life than living, breathing and sleeping your career as a bad thing.
Interesting.

Except that recent events regarding Citigroups incorrect $900M payout on the Revlon bond shows that in fact grown up finance will sometimes say, actually, the law is the law and the contract doesn't cover this, so thanks for the money.

This was a case where the bond holders did have some claim to the money, but it was clearly an error.
Quantum Circuits | Various Roles | New Haven, CT | Onsite | https://quantumcircuits.com/

Quantum Circuits, Inc. (QCI) is developing a full-stack quantum computing platform using superconducting devices and a modular, robust, and scalable architecture. QCI's mission is to build the first truly useful quantum computers.

Our novel approach to building quantum computers is based on technology developed over a decade of research at Yale University's world-class quantum labs. Our machines have built-in error correction, unique software features that enable lightning-fast algorithm execution, and multiple modes of operation to solve more algorithms than ever, all in one quantum computer.

So, why join QCI? You’ll be working with the latest technology at our state-of-the-art facilities, where your curiosity, ingenuity, and initiative will thrive - you'll learn a ton by working with us and have a lot of fun doing it. We have a deep, fast-paced team that's passionate about building the best quantum computers in the world. Join us if you want to be at the forefront of the quantum revolution.

To learn more about what we’re up to: https://quantumcircuits.com/news-and-publications/quantum-ci...
https://www.technologyreview.com/2019/09/13/133039/the-key-t...

If interested, apply online at (https://jobs.lever.co/quantumcircuits)
Yes, definitely, there are several recent advances in Prolog implementation techniques!

For example, just-in-time (JIT) compilation, i.e., compilation to native code. Quoting from the SICStus documentation https://sicstus.sics.se/sicstus/docs/latest4/pdf/sicstus.pdf :

"Since release 4.3, on 32 and 64 bit x86 platforms running Windows, OS X, and Linux,
SICStus Prolog has the ability to compile predicates from virtual machine code to native
code. This process, known as Just In Time (JIT) compilation, is controlled by a couple
of system properties (see Section 4.17.1 [System Properties and Environment Variables],
page 224), but is otherwise automatic. JIT compilation is seamless wrt. debugging, profiling,
coverage analysis, etc. JIT compiled code runs up to 4 times faster than virtual machine
code, but takes more space."

As another example, one of the most recent and also very significant innovations in Prolog implementations happened in 2020, when Scryer Prolog became the first Prolog system to implement a very compact internal representation of lists of characters, internally storing them as sequences of raw bytes in UTF-8 encoding instead of compound terms, while Prolog code "sees" them as lists and can therefore reason about them with conventional predicates over lists.

Trealla Prolog took up this idea and now already allows the efficient application of Prolog definite clause grammars (DCGs) to entire files (using phrase_from_file/2) by mmapping the entire file to memory, i.e., using the operating system to transparently process the file as if it were loaded, without having to load it in its entirety into memory. This paves the way for the use case Prolog was designed for: efficient and convenient reasoning about large amounts of text.
Democracy is granting power to the majority to rule on the minority. By definition.

Democracy will never create a free society, but neither will dictatorship.
Democratic societies tend to be more free than dictatorship, but that's not always the case.

If there was an enlightened and rich dictator, he could decide to make weed legal, impose zero taxes, grant freedom of speech. Compared to most of the western world, where weed is mostly illegal, taxation is imposed forcefully and freedom of speech is disappearing - that would be a freer society.

The real way to have a freer society is to decentralise power away. It's not about granting 60 millions people an infinitesimal choice for an outcome shared by everyone. It's about each individual having a different outcome.