skysight-inc/HackerNews huggingface dataset:
That's a great question!

It turns out that sets are a very general concept. Anything you can say about a program can be expressed in terms of sets of states that program goes through as it runs. So there is nothing you can say about a program that cannot be expressed, at least in principle, in terms of sets.

The problem is that sets are themselves Turing-complete. If you can add a member to a set, and remove a member from a set, and test if a set is empty, that is a Turing-complete set of primitives. So if you allow yourself to have a type system that is so powerful as to be Turing-complete you haven't gained anything because now the problem of debugging problems in your type system is equivalent to that of debugging problems in your programming language.

So in order to be useful, a type system has to be constrained in some way that prevents it from being Turing-complete. Choosing those constraints is the art of designing type systems. No matter what you do, it will necessarily be the case that if your type system is going to be useful at all there will be certain things it cannot express. The trick is to insure that those things are things you don't actually care about very much or, alternatively, that your language allows you to "break out" of the constraints of the type system when they become too burdensome and tell the compiler to just do what you tell it despite the fact that it can't prove there won't be errors.
Not only that but I imagine at Roblox’s scale they’d have to pay Google an absolute fortune for the service.
I am a cryptocurrency enthusiast/advocate, but I've come to the realization that "being your own bank" is actually a terrifying and merciless burden. One small mistake has the potential to wipe you out and there is no way to get your funds back.

Despite all the criticisms that come with "the banking system", banks do provide a lot of value to individuals. It is completely understandable that people would want to wrap their decentralized currency inside of a centralized system (exchanges, custodianship, IRAs, etc.) for the benefits that having a bank-like organization can provide.
> That said, "please help me understand" is sometimes a bad faith tactic to claim ignorance of basic empathy.

Not all empathetic responses are justified, nor are they shared or universal even within the same culture. That's why humans have literally devoted millennia to the study of ethics.

I think any response to these scenarios that suggests we just need to apply empathy is deeply ignorant of basic facts of ethics and human psychology. I understand people try to game the system with these tactics, but that sort of response is not a solution.
Traditionis Custodes: How Did We Get Here?
"Oh no! Criminals are phishing our customers to get their passwords."

Lets give them a code to enter...

"On no! Criminals are phishing our customers to get their code."
LaunchDarkly - Remote First - HQ in Oakland, CA $3.2 billion valuation, Series D https://launchdarkly.com/careers/
Full Stack Engineer Backend Engineer Frontend Engineer Security Engineer Data Engineer Product Designer Tech Support - US or EMEA
Google Drops Plan to Offer Bank Accounts
SEEKING WORK | Zurich, Switzerland | Remote or on-site

Since 2015 I have taken over the technical leadership of three major cloud transformation projects at three different companies. I helped introducing devops and cloud native principles, specified the architecture, supported the team with evaluation decisions and implementation, coached and built the teams to operate their new cloud infrastructure.

Back in 2013 I started working with Docker and in 2015 with Kubernetes as an early adopter. I also have experience as a full stack developer.

I'm looking for projects where you are looking for a tech lead/cloud architect for your cloud transformation. Please let me know if this sounds interesting to you: georg@cloudgear.net
I've worked roofing jobs, carrying heavy bags of shingles up ladders to the roof in >40C temperatures in the summer. I've cleaned filthy toilets. I've worked in a factory where the noise and hot stench of plastic injection molding machines would give you burning headaches for hours. These experiences don't invalidate the problems of tech workers, but they help me put them in perspective. Having the choice, I will choose sitting in an air conditioned office dealing with impossible deadlines and soul-sucking meetings any day of the week.
As the Holy Writ says: https://xkcd.com/2176/
Lmao dodged a bullet
FullStory | Distributed Databases, and a lot more | Remote and Onsite | Atlanta, GA

FullStory’s mission is to improve user experiences on the web and mobile devices. We’re accomplishing this mission daily by providing a platform that allows developers and product teams to automatically collect ultra high definition analytics from their sites and applications, then make those analytics available through a powerful search engine, pixel-perfect session playback, and machine learning insights.

We're around 90 engineers today and looking to grow that by 60% in the coming year. We run in GCP on kubernetes; golang on the backend and typescript in the frontend. Here's a few opportunities to get involved:

* Distributed Databases (Manager/Director) - We’ve built on top of Apache Solr; these are the systems that make FullStory’s magic work.

* Productivity - Supercharge engineering productivity across the product teams with better tooling and automation.

* Technical Program Management - Create systems, models, and processes that up the operational maturity of the Engineering team (and the company as a whole).

* Full Stack - Help expand our universe of integrations with other products and platforms.

FullStory is a 60%+ remote, hyper-growth SaaS company originally based out of Atlanta. The work environment we've cultivated is aligned around our three watchwords: clarity, empathy, and bionics. We value high-quality/low-ego collaboration and use automation to eliminate toil in daily work. If that sounds good to you, join us!

Learn more: https://grnh.se/73ccae832us / https://fullstory.com/careers
For transfers, Smart ID displays both recipient and amount. So that part can’t be easily MITM’d.
Wikimedia foundation. Does that count ?
Maybe I'm naive, but isn't that the level of urgency a WARN would suggest?

In my mind: DEBUG is irrelevant outside of debugging, INFO is useful (let's say for performance measurements), WARN suggests that something is off (even if it might not need immediate action) and ERROR means "something has completely failed here and needs immediate intervention".
SEEKING WORK | REMOTE SR Software Architect / SR Full Stack Engineer with Golang/Kubernetes Focus

Location: Berlin, Germany
Remote availability: Worldwide
Current preferences:
Kubernetes, Golang, Kubernetes Operators, Ci/CD, Containers and automating everything
Remote: at least 70%
Willing to travel: yes
Languages: German (Native), English (Fluent), Spanish (Basic)
LinkedIn: www.hoelzel.it
Validated CV: https://elite.mvpfactory.co/resume/johannes-U2opq-6U9E
E-Mail: hn [at] hoelzel.it

Hey I am Johannes and I talk to humans and machines!

I grew up with the internet, uploaded my first websites to geocities, was tech-admin of a lot of bulletin boards and have been doing professional code since 2003. After trying to build my first start-up in 2006 I realised that they just won’t come only because I built it. Therefore, I have a bachelor economical psychology, which helps me immensely with team leadership but also allows me to view the product from multiple perspectives.

Since then I have been freelancing with the exceptions of 6 years where I have been exclusively working with one of germanies biggest conference companies to establish their internal and external tech products as well as their IT department. This was the beginning of leading and hiring diverse international teams for me, therefore kanban, scrum and design thinking are not foreign to me. Some I have even taught to clients, when I wear my consultant hat.

That hat also enables me to train others in what I have learned, makes me easygoing as a person and also not afraid of talking to other departments or clients. Overall I have 7 years of hands on (mid level) CTO experience but never really stoped coding since I was 11. I currently specialise in Golang, Kubernetes and how to best make them work together. I write minimal containers with distroless, build clusters from scratch, know my GitOps (also how to set them up) and currently like to play with the kubernetes api directly through the official go-client or the operator sdk among much more. I believe the kubernetes API is the actual key to multitenant deployments as well as more refined scaling techniques.

I started working when Servers where still mostly dedicated, have lived the revolution of virtual servers, made a short stop at serverless tech and am now invested in the kubernetes ecosystem and its containers. My preferred cloud is AWS, but I have worked on others and also like to tame bare-metal and everything in-between. I love solving difficult issues and do most of my work in development containers.

All this makes me perfect if you are looking for someone with seniority, that is flexible, plays well with others but also likes to get his hands dirty.

Technologies:

Fullstack (Frontend, Backend, APIs, Daemons)
Favorites: Golang, JavaScript, PHP
Cloud / X-Cloud : AWS, Azure, Hetzner, OVH, Bare-Metal
Databases: MySQL , MSSQL, PostgreSQL, MongoDB, SQLite, Redis
DevOps: Ansible, Puppet, Bash, Rancher
Server: Kubernetes, Docker (Swarm), Bare-Metal, Fargate, Serverless
Windows Server, Windows Network, Active Directory
Location networking, VPN (Wireguard, Software, MS-VPN)
Jira / Redmine / Trello
I guess we’ll see, right Microsoft? We’ll see in the long run if remote only companies innovate better than you. It’s been 2 years, there’s no way you can measure ‘long term’ yet. We’ll see just how creative you are in your office Mr. Microsoft. Keep making your laptops look like MacBooks, make the new windows taskbar look like OSX dock, keep having your productivity space eaten by Slack and Zoom. How how are those mobile phones going, did you make a dent against Apple or Google? You guys literally had to buy a todo list app (Wunderlist) and subsequently shut it down, because it’s so hard to innovate on a todo list app that’s literally built for you. I guess you guys worked on it remotely. Keep integrating with Linux, the poster child of remote work.

Settle down there Mr. Creativity.
I worked in the Marines and am now a software engineer at a large tech firm.

The biggest joke in the military was danger pay, which was $7.50. $7.50 if I was working in an active warzone that day. I still stood in formations, pointlessly, for hours. I still watched people who shouldn't have been promoted get promoted over people who should. I still watched people fuck each other over. I still sat though pointless and grueling training videos. I still had 8-12 hour workdays. I still lived with the idea that my life would end early through mental or physical health issues. I could go on.

The biggest difference I have is pay and the security to try and improve the system myself. I know if I get fired for trying to do the right thing that I'll find another job, whereas in the Marines as a four year corporal with one year total combat experience I made $20k and had no career prospects should the military see that I am a problem.
Great question! Which countries would be ideal for study, do you think?
Other three days spent promoting the stuff he put in those two, lol.

People who imitate MLM marketing for self promotion are among the internet's most insidious grifters, imo.
Are there any major US banks that support web'n'auth?
I have been studying pizza. I became obsessed when trying to perfect the craft and found out how crazy technical it is to do it right. (On a side note the pizza industry lost it's top dough scientist to COVID, but he thankfully openly shared all his knowledge)

I have always had it in the back of my mind that I was going to start a pizzeria and now the writing is on the wall.

My sister has a small novelty shop (pipes, crystals, etc) and recently moved to a good location in her community. It blew up immediately from the foot traffic in that location. She went from welfare to six figures overnight. I'm eyeing the same mall for my pizzeria.

There is a constant string of anxiety inducing bullshit that occurs in corporate America, more so now for devs and especially senior devs like myself. Ladle on mounds of boring work and it becomes unbearable. I just want to move to farm country and start a takeout restaurant. (I used to manage restaurants and run kitchens in a past life, it's in my DNA)
You don’t seem to have caught my point: it is the bands themselves that work with the scalpers. They sell a chunk (often majority) of tickets directly to the scalpers for a price above what they publicly claim to charge. Then, they introduce measures like you describe, to reduce competition from grassroots scalpers, to ensure stable business situation for the anointed scalpers.

This arrangement works great: the reputation hit is very successfully outsourced to what you call “bottom feeding scum”. The band benefits from higher profit than they would otherwise be able to get if they tried to sell all their tickets at the publicly advertised price, which quite apparently is below the market clearing price. Ticket availability is increased: instead of having to fight to book the tickets in 8 seconds after the registration is opened, everyone can buy tickets at their leisure, simply paying more for convenience when they buy from scalpers.

Let me ask you this: for the band you are talking about, despite all the measures you describe, you still could buy tickets on StubHub, no?
"Sorry, your ISP is suing us so we can't let you watch anything popular right now. Here is a link to other ISPs and a coupon if you wanted to swap..." is about to become the most popular show on Korean netflix.
Great, so this means I can use Signal to backup my messages on my old iPhone with an iCloud backup to my new phone right?
The whitepaper at [1] is more impressive than I expected it to be, not for what is built today (which on a quick read appears to be rather unexciting), but for the class of attacks recognised as unsolved, and identified as requiring future work.

Improvements identified include:

1) Encrypted messages should have a constant size (padded). Note that the Signal protocol used by Session currently uses variable length messages[2].

2) Encrypted messages should be sent as noise by clients through the onion network and back to themselves at random intervals frequent enough that messages to/from other parties are statistically indistinguishable to an eavesdropper from the noise generated.

3) Intermediate nodes in the onion network should hold and delay encrypted messages so they are adequately mixed before being sent forward. This makes it statistically difficult for an eavesdropper to match up a message entering a node and a message leaving a node. Ideally messages would be mixed across enough nodes of the onion network that to an eavesdropper, the full list of possible destinations is equal to the total number of clients on the network.

4) Proof of work should be replaced with a better technique for preventing degradation of service or spam attacks. The paper quite rightly identifies that proof of work would favour Eve who has setup a data center filled with custom ASICs solving proof of work problems, rather than favouring Alice or Bob with an energy efficient mobile phone SoC. CAPTCHAs are identified as a possible future solution to this class of attacks.

I doubt those improvements would have much application outside of labs and experiments though. Unless a significant part of the global economy surprisingly becomes dependent on a traffic analysis resistant anonymising protocol, it is too easy to just block such protocols similar to what China does with its Great Firewall.

[1] https://arxiv.org/pdf/2002.04609.pdf

[2] https://github.com/signalapp/libsignal-protocol-c/blob/maste...
MSB licenses mean basically nothing. Money transmitters are borderline unregulated, certainly depending on which state they obtained their licensing.

They were actually created as a much lighter weight framework to avoid the onerous regulation of an actual depository institution.
HN also frequently changes post titles and these show up as different articles on my RSS reader. I think RSS allows specifying a unique feed item id so this can be avoided but HN doesn't set it.
I've been an FSF member for years, if that counts.
Wixen Music | Full Stack Developer | Full time | Onsite | wixenmusic.com

Wixen Music Publishing, Inc. is a music publishing administration company providing royalty collection and licensing services for many of the world’s most iconic songwriters.

We’re looking for a full stack developer to help build new and maintain existing features and services which get songwriters paid for their music when it’s used by streaming services, TV shows, films, video games, etc. Experience with Laravel is preferred but we are open to candidates with translatable MVC framework experience.

Stack / Qualifications:

* PHP 7.x / 8.x

* Nginx

* Laravel

* MySQL

* Vue / jQuery

* Tailwind CSS / Bootstrap

* Laravel Livewire

* API integrations

* Git

* Ubuntu familiarity

Why you want to work here:

* Competitive salary

* A casual office environment in a small, independent, family owned and run, writer-friendly music publishing company proudly representing some of the finest music ever written

* The ability to play a large role in ensuring both small and megastar musicians can make a living from their music

* Healthy work-life balance. We get an early start at 7:30am but call it a day at 4pm so we can spend time with our friends and family

* Profit sharing and defined benefit plans

* Health insurance and optional dental insurance plans

* Two weeks paid vacation

* An additional week of paid vacation between Christmas and New Years upon completion of 16 hours of community service

Apply: licensing[at]wixenmusic[dot]com
To be fair threatening people when they don’t do what you want is very libertarian.
I completely agree on the premise of the author (even if it's proving unpopular here on Hacker News, unsurprisingly). It is indeed sad to see how much freedom is declining in the world.

I don't think outer space and seasteading are viable opportunities, unfortunately. Outer space is still way too early to be practical, seasteading didn't end well for that BTC trader couple. You will always have a state actor chasing you.

With enough money, Peter Thiel could potentially militarily secure a perimeter in Somalia and experiment with a society with less government.

For most of us instead, I think the realistic option is to choose carefully where to reside and which citizenship to adopt (where possible). You can't live in a free society, but you can at least pick the least worse.
CharaChorder
I believe the US law inforcement will criminally prosecute you if you receive money you have no reason to believe it should be yours (money mule laws, using stolen property, etc.).
I don't donate at all. However, I'm just answering to question whether you're going to get a representative distribution of answers from both categories.
The paper was written by people with no training in the methodology, the result was that their methodology was very sloppy, and at this point scientists working in geology, archaeology, and related fields have shown that virtually every claim in the paper has serious methodological issues. It's not a coincidence. Pointing out initially that the people doing the work didn't have the training needed to practice the methodology isn't an ad hominem, it was a correct statement that we should be skeptical of their claims because they did not have the expertise or training needed to do methodologically sound science. In the end it's clear they didn't do methodologically sound science, and the initial calls for skepticism because of their lack of training were correct, regardless of "ad hominen" claims.
cobra: A commander for modern Go CLI interactions
At least in some European countries you can sue a person who refuses to return the funds transferred by a mistake and win inevitably. I have been such a person who got money this way (from a particularly rich company which earns its money a legal but morally questionable way so I have no remorse) and has been forced to return + pay the legal expenses (which can be pretty affordable in Europe). I never meant to actually keep the funds forever but used the lucky event as a loan :-)
> Not so fast, suggests a massive new peer-reviewed study from Microsoft…

This feels (is?) biased toward the potential goals of Microsoft to push their hybrid/in-person plans.
it's not working at all. I currently use vscode, jupyter lab and Slack. They are all not native. I can't see myself switch.

I use some native apps and they are great and all, but to be honest I don't care. I want a good user experience and not technical details what's behind the hood of the UI.

I also feel like the stance is pointless since electron apps are here to stay and it just makes the experience of everything worse.
Inmar Intelligence | Sr. Software Engineer, Site Reliability | Remote | Full-Time

We are looking for experienced software engineers to join our team of infrastructure operations and automation development specialists. The primary purpose of this team is to build or implement platform automation tooling, develop and maintain SDLC patterns and best practices, and to provide performance, security and resilience support in service of the product application teams.

More info: https://inmar.wd1.myworkdayjobs.com/inmarcareers/job/Headqua...

If you have any questions or would like to discuss the positions in greater detail feel free to reach out to me at kimberly.bucaccio@inmar.com

We are also looking for:
• Data Engineer
• Ruby on Rails Engineer
• Senior Software Engineer
• MediaManager Software Engineer
• Application Security Engineer

Apply to open roles at https://www.inmar.com/about/careers
I think you may have misunderstood my intent here. That criticism was not directed at the OP, it was sympathizing with the OP, who cited this passage:

"Linear type systems are the internal language of closed symmetric monoidal categories, much in the same way that simply typed lambda calculus is the language of Cartesian closed categories. More precisely, one may construct functors between the category of linear type systems and the category of closed symmetric monoidal categories."

That is what I was referring to when I used the word "impenetrable". I was talking about pedagogy, not substance.
My new favorite is the dill mustard that IKEA sells. (Seriously. It's awesome.)
>fairly well reasoned email.

AHAHAHAHAHA breathes AHAHAHAHAHA!

The original email from the baizou[0] student is just typical leftist neurotic derangement. The only way to win that game is to not play.

I guess the poor old professor hasn't been exposed to the insane fragility of the typical leftist campus activist first hand. It's not the mid-2000s anymore.

[0] https://images3.memedroid.com/images/UPLOADED564/5edfb27b176...
Maybe you've never been stuck long enough in your own head, but i did spend years with big blind spots about life, and the ability to talk with others would have saved my many many years.

Also you sounds biased against groups. Sharing points of view don't equate being silenced. Having more data alone still means you're the sole interpreter, you perspective / understanding of the world might still be too focused on part of the space. Others can widen the angle, change your position. Of course politics can distort things too, but that's outside my comment. I was talking about conceptual group, small, free of agendas. Just a bunch of people saying what they see. Not every group is ruled by someone (even though most of the time there are such implicit social structures, I agree)