skysight-inc/HackerNews huggingface dataset:
what you're paying for is the capability of scalable architecture, on-demand launch, and heavy redundancy. this very easily acts as a multiplying cost factor and building out your own infrastructure as opposed to leveraging one that can dynamically scale as your needs require. Yes you can get away with paying for your own infrastructure at a third the cost, but then when you compute the cost of all the individual requirements. colocation ISP prices, space, people to manage all of these machines, the software to then scale yourself in equivalence, you eventually end up at w similar cost apples to apples, oranges to oranges if you replicate for yourself exactly what you get through AWS.
Probably one of those hipster types labeling this sort of hostile user behavior in a management meeting as a "growth hack that will skyrocket our customer lifetime value"

What you don't know is you though may have forced me to extend my subscription, it's only just enough to delete all my files and never ever look at your slimy business nor recommend it to anyone around me ever again.
The Bay Area (PA and MV) wanted to dig tunnels under Central Expwy but were quoted $1 billion each, and can't afford that.

I went to Bali in Dec. and visited 2 identical underpass tunnels built there in the past 6 years.

Makes you go hmmm ...
Your average water droplet acts as a dispersive element (a prism). Dispersive elements can act as temporal Fourier transforms. Lenses act as spatial Fourier transforms. Going further, any mechanical device that exhibits resonance can be claimed to act as a Fourier transform (but that starts sounding meaninglessly vague).
There is more to democracy and freedom than one (or two if you choose to include guns) sets of freedom.

Practically speaking, there is no differences in the freedom Canadian and European citizens have regarding expression compared to Americans even though EFFECTIVELY certain types of speech are restricted (e.g. holocaust denial)

That is because the list of restricted speech is incredibly miniscule, and there are strong protections in place otherwise that prevent a "slippery slope" situation from occurring. ("First you ban me from freely speaking about the holocaust not happening, next you ban me from criticizing the president!")

Practically, non-US democracies have demonstrated a stronger commitment freedom of assembly and freedom of the press than the US has over the last 4 years.

The only difference is that in the US these protections are guaranteed by an effectively "sacred document" that supercedes all laws (The constitution)

But it is more and more clear that that is a bug not a feature of the system, and is causing legitimate harm as your supreme court is getting stacked with "textualist originalists" who think that the wisdom of slave-owning cotton farmers applies unquestionably to 21st century technology and societal concerns.

And this is before we even get into the question of what it means for something to be "democratic", which is to say there is a "Democratic electoral process", which we're about to find out just how much the US process has been degraded as seemingly HUNDREDS OF THOUSANDS of people's votes will either be not counted, or will be denied the opportunity to vote. What is happening in the US would be impossible in any other Western Democracy.
If there’s Federal money involved, most of it does trickle down to the worker.

Each contractor has to report what they paid to each employee so that nobody is screwed. The idea was that the government didn’t want jobs to be done by cheap labor and they set a wage floor that corresponds to local union labor rates.

The wage difference can be quite drastic - floggers pay jumps from $15 Pernod to about $32 per hour where I live.

More info: https://en.wikipedia.org/wiki/Davis–Bacon_Act_of_1931
I'm hoping this will eventually allow running Linux video conferencing software, such as Zoom or Teams. I tried running Zoom the other day in this sort of jail but kept running into kernel panics.
Generally soil health is measured by a number of things, from the easy to quantify like pH and percentage of organic matter and the availability of certain nutrients, or even simple physical measurements like depth, compaction, or water solubility, to more complex things like the makeup of the microbiota living within it. All of these things affect what and how well things can grow on top of it.

I'm not a soil scientist, just an amateur gardener, but it's a very complex and interesting area of study.
> but they want a better world and a better life just like you do

Who they want that better world and better life for differs, though. Who they include, and who they exclude, matters, and how do you communicate around that difference?
PepsiCo eCommerce | PepsiCo eCommerce Digital Technology & Experience Team | Full-Time Remote Engineering Tech/Devops opportunities:

PepsiCo eCom Senior Front End Engineer:
https://www.pepsicojobs.com/main/jobs/217236BR?lang=en-us&pr...

PepsiCo eCom Back End Engineer:
https://www.pepsicojobs.com/main/jobs/216201BR?lang=en-us&pr...

PepsiCo eCom Senior Data Engineer:
https://www.pepsicojobs.com/main/jobs/218207BR?lang=en-us&pr...

PepsiCo eCom Full Stack Engineer:
https://www.pepsicojobs.com/main/jobs/219150BR?lang=en-us&pr...

PepsiCo eCom Senior Infrastructure Engineer:
https://www.pepsicojobs.com/main/jobs/219153BR?lang=en-us&pr...

Pepsi eCom functions mostly like a startup within Pepsi Corporate, and our primary languages are Elixir for applications and Python for data engineering work. If you are interested or have any questions not answered by the pepsicojobs.com website, feel free to reach out to me with questions and I can try and help answer or connect you to someone in our team to discuss.
And you can probably cache all the data you need for the next 24h in a few terrabytes of RAM, _if_ you knew what that data was.
VP Engineering, Engineering Director or Senior Staff Engineer
-------------------------------------------------------------

Location: Europe/Austria (GMT+1/+2) (I work late in the day, overlapping US business hours)
Remote: Yes (only)
Willing to relocate: case by case
Technologies: People and teams; every language and devops technology; mathematics, statistics, ...
Résumé/CV: ask
Email: damian.jobsites@gmail.com

Interested in VP Engineering, Engineering Director or Senior Staff Engineer positions or equivalent. 20 years of experience as a developer, 10 more if you count as it was a hobby. I can do anything related to programming. 10+ years of experience in remote first work. 10+ years of experience building teams and companies of various sizes, from <10 to >1000 employees. Major in Mathematics and Statistics, minor in Psychology. In addition to a full set of experience as a software engineer, helped run every aspect of a healthy company, including full responsibilities in the business area, from incorporation, through daily operations, communications, long term strategy, customer and investor relations, sales, marketing, and so on. Often stood in for CEO or CTO. Focused on helping others reach new heights, be it with tech advice and direction or with processes and support. Please no recruiters other than if you are a direct employee of the company you are recruiting for. You may not store my information or email address for marketing purposes.
I couldn’t agree more. It managed to feel like good old fashioned low budget internet fun from YouTube yesteryear. Putting aside Matt and Trey, it’s one of the few things that’s made me genuinely burst out laughing in years, period.

It’s made me stop and think about why that is, and the best I can come up with is that very little is surprising anymore. When you get past 30, everything feels like something you’ve seen done before. Deep fake comedy is so cutting edge, that it couldn’t help but be fresh.

Or maybe I’m just a boring old man. The last thing that made me laugh this hard was this Reddit submission, and again, it succeeds because I didn’t see it coming: https://i.reddit.com/r/ContagiousLaughter/comments/gzdja1/on...
Their terms, in fact, seem to say very clearly that they will NOT do what they actually do:

> In the event your paid Prezi account reverts to a free Prezi Public account, any content you previously created with a paid Prezi account and designated as Private User Content will remain Private User Content, but you will not be able to edit such content. New content you create with such an account will become Public User Content, which means any new content you create from that point forward is going to be public.

(emphasis mine)
except (in my experience as a photographer), most/a significant chunk of the general public not only don't understand photoshop, but will actively disbelieve you about the extent, purpose and outcome of manipulations.

Also, it's one thing to say the world hasn't ended, but that's to potentially downplay at a minimum the idea that commercial and widespread use of photoshop hasn't had widespread effects on body and self-image, creating and interacting with arguably culture-bound psychological issues such as anorexia, bulimia, unnecessary surgery, self- harm, suicide, etc. Or to take examples from non Anglo culture, eyelid removal, skin whitening, nose surgery, etc.

it's true that the world hasn't ended, but that's a thought terminating cliche. there's a lot of evidence it's creating and created significant harm and significant effects.
Also: Consider another shortcut for mute/unmute (cmd + d or ctrl + d is the bookmark shortcut in like every browser... maybe this is intentional?)
Seems like you're familiar. Could you share the answer too?
KeyDB (YC S20) | Toronto, Ontario, Canada | C++ Software Developer Position | Full Time

KeyDB is a highly scalable and extremely fast database that powers the backend of many modern day SaaS and web applications. This role is for a full time C++ developer to help work on our core product with us. You will be working both on the open source project as well as our closed source versions, and have a strong focus on performance and memory efficiency.

Job Description: https://keydb.dev/careers.html
Github Link: https://github.com/JohnSully/KeyDB

You can email your resume to ben@keydb.dev to apply
To be fair, you chose Dallas
Plan9 had the dedicated sendfd()/recvfd () functions, which seems like a friendlier API.
Horrifying Zoom hack will deter you from ever side-chatting again
I have over 14,000 karma. I can't downvote (direct) replies to my posts. So as far as HN mechanics go, you are falsely accusing nimish.

Other people - not nimish - are downvoting you. And they're doing so because you're starting to cross the line from "disagreeing" to "aggressive and rude".

Now for what it's worth, I'm kind of on your side of the actual dispute. I just think you're pushing the line in trying to be more, um, "expressive".
I'm getting closer and closer to that Linux transition I've been putting off for years.
- Location: Dallas, TX

- Remote: Yes, preferred (Have 2+ years of experience working remote with teams across different time zones)

- Willing to relocate: For the right opportunity

- Technologies: SQL, Python (pandas, NumPy, SciPy, sklearn, statsmodels, matplobtib), Bash, Spark, Airflow, Git, Postgres, Redshift, MySQL, R, Linux, Docker, dbt, SnowFlake

- Analytics Tools: AWS Redshift, Microsoft Excel, Google Analytics

- Business Intelligence Tools: Mode Analytics, Tableau, Chartio, Looker

- Résumé/CV: Available on Request

- Email: randallhall@icloud.com
Except that their terms of service (at least now) say exactly the opposite:

> In the event your paid Prezi account reverts to a free Prezi Public account, any content you previously created with a paid Prezi account and designated as Private User Content will remain Private User Content, but you will not be able to edit such content. New content you create with such an account will become Public User Content, which means any new content you create from that point forward is going to be public.
That's such an interesting observation. The US has tons of poor places full of millions of people -- the Deep South comes to mind -- who could fill many lower-skill construction jobs, putting downward pressure on the industry. But the distance between Mississippi and New York City is much larger than the distance between Poland and Germany -- both in miles and in ease of transit.
Monado update: Passing conformance, Android support and more
Wow! You actually stream Netflix to an airplane? I always guessed that inflight VOD services had the movies stored in a server on the plane.
CBL, one of largest U.S. mall owners, files for bankruptcy
Hi John,
Thanks for your comment. I tried to specify that I was talking about space exploration for the purposes of finding life/inhabiting planets. This is the thing I dont think we should be spending resources on.
> If your team is filled with devops engineers, then, sure, go with the non-AWS route.

This seems backwards to me - running a simple VPS on something like OVH/DigitalOcean/Linode is a matter of creating the instance, setting the size, and setting up your server software. Super simple, and likely about the same complexity as setting up a dev environment.

Setting the same thing up on AWS requires slogging through the documentation of their many services, deciding what makes the most sense for you (EC2? ECS? EKS? Lambda? Fargate?), and then configuring more options with less-friendly UI than any other provider I've seen. If you can fully wrap your head around all those services, create a stack that makes sense, and maintain it long-term, you're probably well on your way to being qualified for a DevOps engineer job. I can spin up a quick DigitalOcean droplet for a new project in less than half the time it'd take me to set up an EC2 instance, configure the exact amount of storage I need, and pull up 2 additional browser windows to determine the specs and pricing of different instance sizes in different regions.
Lime | San Francisco/Seattle | Senior/Staff Engineer | Remote | Visa | https://li.me
Lime is the global micro-mobility leader.

Our stack: https://stackshare.io/lime/lime

Hiring

- Infrastructure

- Security

- Android/iOS

- Data Engineering

- Backend/ FullStack

More info: https://jobs.lever.co/lime
There's no ex-premium. There are paid plans, and the basic free tier. You're talking about changing their free tier pricing.

https://prezi.com/pricing/basic/

The basic free tier for Prezi is "you can use our platform but your presentations are public". Once you're not on a paid plan, there are only two choices: you can delete your presentations or make it public.

When you are on a paid plan it IS possible to download your presentations to your computer.

There's nothing that entitles you to "my saved presentations are mine forever in Prezi and they stay private even though I don't pay.". Nothing.
Second Avenue Sagas — http://secondavenuesagas.com/ — is also a good one dedicated to NYC transit and has extensive coverage of this project specifically at http://secondavenuesagas.com/category/second-avenue-subway/
Station overcrowding can be fixed. Stuff that never gets built because it's too expensive can't. It's important to not let perfect be the enemy of the good, no more so than public infrastructure.
Golang @ Summitto Amsterdam, Netherlands | Full-time | Onsite

We https://stopvatfraud.com . We are building the largest invoice registration network of the world. The purpose? Helping EU tax authorities to eliminate 50 billion EUR in annual invoicing fraud. If you’re excited to build and design open-source software which will be used by millions of companies, we are looking for you! We're hiring junior ánd senior developers at the moment. Experience with cryptography is a plus, but not required!

Here’s a little taste of your challenge, you will help:

- Keeping our P2P networking infrastructure secure

- Inventing fraud-identification algorithms and making existing ones more efficient

- Getting into the nitty-gritty of scalable signature creation and verification

- Refining the testing infrastructure of our distributed database

Technologies: Golang, JavaScript, Ansible.

Contact: https://summitto.com/careers.html
More likely, people speaking different dialects will adopt a standard register to communicate with each other. For example, I have seen Himachali speakers from neighbouring districts communicate with each other exclusively using Khariboli Hindi, rather than their native Himachali dialects.

This is probably true of most large, diverse languages. Each dialect has drifted sufficiently far from each other than while it is possible to communicate with other dialects, it's most convenient to use the shared formalized standard register. So while a Malvani speaker can largely comprehend the dialect of somebody from Gadchiroli, more often both speakers will switch to the standard Marathi register they learnt in school.
The correct answer is a combination of that and accounting for the dynamics between tree species.

Friend who does wetland restoration complained many times about how typical projects show up and plant 20 species all at once and walk away. Problem is, plants establish at different rates and conditions. They close canopy at different rates. They change soil biology in favor or against other species at different rates.

In his ideal world, the 'planting' would be spread out over 4 years, where the slow plants get a head start. However, I'm not sure he's entirely right either. Because after 4 years, you'll have an area full of opportunistic plants if you don't do something to close the canopy fairly quickly.

And if that's true, then there is no way to replant a forest except to spend 40 years doing it, forcing successions to get to your target species in 80 years instead of 200.
English was not really English 1000 years ago, was it? I think a Dane would find Old English/Anglo-Saxon easier reading than an untrained native English speaker would.
Cool. Now can we please get this thing with Norwegian key layout ASAP?
Maybe the referees could wear a little red cone or something similar...so the AI camera could filter out the false positives?
Definitely agree. I'm not on the level of these hedge funds but I do love using data for trading.
Not sure why you think all the originalists on the SCOTUS would want to death-by-a-thousand cuts Roe v Wade.

If states pass constitutional laws, I'm sure they'll be upheld by the current SCOTUS. If laws are unconstitutional, I'm sure they won't be.

What is the problem here? That originalist conservatives won't be legislating from the bench as has been happening? If abortion needs to be a protected right then amend the constitution.
nobody's accusing the company of flat-out lying or deception in this case.

I don't know why not, because that's obviously exactly what they did. The engineers know the car can't go that fast. The helicopter pilot knows the car wasn't going that fast. They outright lied about the endorsement of the GPS company. You can't do that accidentally.
Europe, especially Nordics, are funny like that. Menial jobs are costly and they are automated ASAP since human personnel costs are too high. On the other hand experts are quite cheap. No doubt these two effects feed eachother: easier to hire cheap experts to automate expensive menial jobs than to hire expensive experts to automate cheap jobs.
Sentences like these are fascinating wedge issues.

A conservative/republican commentator would take this as evidence/proof of the indisputable superiority of the American system - truly it is a land of opportunity where people can make 2-3x more than in supposedly rich Europe.

A progressive/democratic commentator would instead point out that the LIFESTYLE a laborer can have in Europe at 30$/hour is in many ways superior to that of the equivalent American worker - they have full healthcare coverage, a prolific public transit system, and free university tuition for their children.

Then the counter-counter argument would be that the American worker could have a full house, 3 cars, and the FREEDOM to choose to spend money on their healthcare vs something else for their lifestyle, whereas the European laborer is in a system where a lot of choices are made for them.

Pretty interesting stuff.
Its marked as broken in the LinuxApps page linked to from the article (https://wiki.freebsd.org/LinuxApps). And its been broken every time I've tried it on -current.

You need Linux electron working in order to be able to run things like Slack's Linux desktop app, and other electron apps which are compiled for Linux.

And you need the Linux binary chrome from Google in order for DRM to work.
These would be great in a school environment for learning how to program.
My contracts are all project based, so the invoices are extremely simple... Just a template I nicked from Pages.app
Pakistani Punjabi uses the Shahmukhi script, which is based on the Perso-Arabic script.
I recommend Ubuntu Mate for a Pi desktop, it is more refined than the standard rasbian install. There’s support for the 4 now as well.
There's no question that the US has more voter suppression issues than Europe, but it's foolish to behave as if it's something that isn't to be worried about.

https://www.ips-journal.eu/topics/european-union/voter-suppr...
> OK. Show me.

Here is a simple specification: write a program that, given a positive even integer, returns two prime integers, whose some is the input, and never fails to do so. Start with a formal statement of the requirement, and derive a program that provably satisfies it. Decompose your program however you like.

> Then I derive the code to make the tests pass from the specification

Do you use predicate transformers all the way from a high-level spec to each and every line in a 1MLOC distributed and interactive system, with management consoles, reports and ten-thousand users per server?

> A mathematical formalism does not require algorithmic automated checking to exist.

It most certainly does. That is the literal meaning of "formal" in formal logic/method/synthesis/verification. A formal logic has a proof theory made of inference rules. It means that conclusions are reached by manipulation of the syntactic form -- hence formal -- without use of any mathematical intuition. Alan Turing then showed that a proof system can always be described as a Turing machine, and that formal = mechanical. There is a huge gap between informal mathematical reasoning and formal reasoning. I believe I've seen someone mention an exponential blowup in proof size of formal proofs compared to mathematical proofs.

> Obviously no human discipline is infallible and I still make mistakes, but I make far fewer mistakes than I would using the typical sloppy approach most programmers use.

There's a very, very wide gap between "disciplined" and formal. I am all for disciplined and for using formal methods in various places. End-to-end formal derivation/verification, i.e. from high-level spec to code, in a scalable, feasible manner, is yet to be achieved.
Joyent | Software Engineer | REMOTE | https://www.joyent.com/about/careers

Joyent's object storage division is building an object storage system for use in public and private clouds. We're using many new and popular technologies (Go, Linux, Ansible, etc.) to help us accomplish our goals.

In particular, we're seeking candidates with experience in storage software or distributed systems.

Feel free to send your resume to kody.kantor@joyent.com.