skysight-inc/HackerNews huggingface dataset:
Also a C compiler (https://compcert.org/). I did exaggerate bit in saying that anything non-trivial is "nearly impossible".

However, both CompCert and sel4 took a few years to develop, whereas it would only take months if not weeks to make versions of both which aren't formally verified but heavily tested.
Elixir is strongly typed, elixir is not statically typed
I'm not sure I agree with that description though. Ket goes from being a bit like alcohol, to being extremely trashed in the sense of loss of feeling, numbness, loss of coordination and sensory perception. And with enough you get the k-hole effect. Nowhere is the manic energy one gets from dopamine and stimulants. Maybe they're misinterpreting the ego death of a k-hole as the feeling of specialness? Anyways, when you're in that state, it's very unlikely you're at all capable of typing on a phone.
Perhaps people can feel like they have special talents or powers in one field while still feeling apprehensive and anxious when it comes to other facets of life ie. I don't know that success in business equates to confidence on the dance floor.
Yes, that kind of ruined the entire article for me. "I have this great scientific theory about oxygen loss during running. I will admit, I have not actually started jogging yet, but ... "
Parent is making a distinction between “strongly” and “statically” typed. By some definitions. Type conversions in Elixir are generally explicit (contrast with JavaScript) and the type of a variable matters at runtime (e.g think about pattern matching), and so some people would call it “dynamic and strongly typed”.
One quick trick that has worked for me to weed these people out is saying “You live in <city>? That’s great! We have another employee who lives 30 minutes away, would you be able to do an in person interview later in the process?”

They will make excuses (and blame Covid) for why they can’t meet in person. At that point you can politely reject the candidate.

If you already hired one that you’re suspicious of, ask them if they’re willing to fly to you to meet in person. If they’re legitimate, then they’ll fly out and you’ll have a great opportunity to meet the new employee in person (a good practice in general IMO), and if they’re not in the US they’ll have a bunch of excuses why they can’t.

They will never admit to anything and when confronted with the lie they’ll continue to deny it with silly excuses or they’ll totally ghost you.

Longevity is not part of this scam. The goal is to get a couple paychecks and bounce. (1 month of a US salary is a ton of money to them)
Free range eaters are hoping to maintain a relationship with their free range farmer if/as the screws get turned. Might not scale for... everyone.
Mostly people buy Android because it’s cheaper (for non-flagship devices). In so many areas of our world today we have two-tiered experiences, one for the moderately wealthy and a different one for the poors.
On a strongly typed door. Compiled of hardwood perhaps.
That feels to me more like a network effect than a pyramid scheme: help your talent out by having them collaborate with each other.
True. However, please don't forget that the conglomerates being discussed initially do exist and have considerable influence in other countries than the US, so my remark remains :)

Also, the Medici family was initially a wool company, then grabbed power in their homeland, kept it for about three centuries and somewhere along the way produced descendants that ruled over much of Europe. Similarly, the fascist uprising that gave power to Franco over Spain was largely privately funded by a bank [1] and I seem to remember that the German Nazi party was largely funded by industrialists and bankers [2] until reached power.

So, I'd say that companies overthrowing their home country's government has unfortunately been a thing for quite some time.

[1] https://en.wikipedia.org/wiki/Juan_March

[2] https://www.bibliotecapleyades.net/sociopolitica/wall_street...
We’re already paying.
I appreciate what you're doing but we buy DocuSign so the problem is far far away from us. This turns it into a problem we have to manage ourselves or a problem of finding a vendor stable enough to host your stuff that will make it not our problem long enough for the longest contract retention to expire. Which is difficult.
FYI "all but impossible" usually means the opposite of what you think it means - "all but" meaning "everything except". Seen this usage a lot and it bothers me, because both usages are common and theyre the exact opposites.

If I didn't have context clues, it'd be difficult to know which one you mean.

Edit: not native but I've always understood it as the first def here https://idioms.thefreedictionary.com/all+but
It’s very difficult to assess the effects a drug may have on a specific individual, especially someone potentially not very neurotypical, and without knowing the true dosage and usage patterns.

Plus there’s so much that can go into decision making, ascribing “commonly reported effects” of a drug to explain behavior at a distance is kinda lazy and pointless to say the least.

Gives the vibe of a lack of experience with using self-curated drugs as a personalized and refined regimen for mental maintenance.
I thought the encryption restriction was only for analog radio, not digital?
This is untrue.

https://thinkingelixir.com/elixir-in-the-type-system-quadran....
A few more questions probing the source of the psychopath belief:

- Do you take advantage of people, or do you think of ways to take advantage?

- Does your empathy turn off for no discernable reason?

- You tell others that you "could be" faking your emotions. Does your external body often display emotions that are different from your internal emotions?
Nitrogen electroreduction with almost 100% current-to-ammonia efficiency (2022)
> it is all but impossible to run the queue in the same codebase and application server.

I am surprised, both in terms of the difficulty you faced and that you would want to; I have beef with the fact that using Celery with Django runs "worker" process on the application server by default.
It'd have to set up their own audiolab and produce a long list of models and what the output levels are per volume setting. OTOH, these things should be standardized.
Is that how unions work now? I thought they were against management.
Check the official Shortcuts app.
Reminds me of how clickbait farms were raking in the advertisement cash from Facebook during the height of its usage. Then FB updated the algo and all of these clickbait farms went to zero.
I'm not sure if you've replied to the right comment. What's this got to do with whether you can unionise against your (sort of) customers?
Wasn’t that already posted on HN a couple of weeks ago? :-)
Do you know this for a fact or are you interpolating based on legacy music media tactics?
Sad sarcasm incoming:

How would this be the dark age of tech? It's not like the actual Dark Ages, in which written records were few and far between, making it relatively difficult for historians to learn through historical texts.

No, instead we have hardware that will no longer work, and cannot be studied, because the auth servers have been shut down. We'll have software that cannot be downgraded and looked through, for our own safety. We'll have machines that will die, and cannot be repaired, because the replacement parts the OEM no longer manufactures or sells aren't matched to the device we want to revive.

Completely different! /s
> * Devops folks don't seem to tend to like math and often got there by practicing, "computers, IT, having fun hooking things together and getting them running." * Data science folks don't tend to like devops and prefer to bash around on a jupyter notebook that's already given to them and then maybe extract that python and see if it runs, but they tend to come from more of a science background and got into python as a hobby or incidentally. They do not like bashing around and getting things running.

Everyone likes cool sounding terms though! Any such term will eventually end up being co-opted. We have isomorphic Javascript and all kinds of stuff like that.

Not saying it’s good or bad, it will just happen.

Are customers really going to be confusing a CI system vs a data statistic? It’s a bit like being confused about apple the fruit and an Apple iPhone. The confusion will clear up pretty quickly.
"digital nomads" are normally looking for location arbitrage, so they are not high earners, normally cheap-skates. Remote workers might be more likely to create inequality, but seriously how many are they? If they create price pressure then it means there s very little housing stock in the first place.
I.e. sell shovels and dreams, boast shamelessly, "teach".

Not sure the analysis really qualifies as case studies. Regardless, maybe it's of some use to folks who insist on jumping headlong into YT. Yet all comes off as overly confident advice based on obessessly analyzing the survivors.
Someone I knew died in a car crash, but somehow we all keep driving cars. Just because your friend's one attempt failed terribly doesn't mean the whole idea is rotten. I'm aware of a number of successful communities/warehomes that are making it work.
I'd feel differently if and when journalism is as transparent about where the money goes (show the budget, even if just %'s). If I knew that my $10 subscription was actually going to journalism ... I'd pay $10.

But it's not transparent, and those sales guys/gals are making bank and who knows where the money is actually going. Clearly, not the journalists.
For a city you don't visit often--especially if you're going to a bunch of cities on the trip--dealing with transit apps/cards/etc. that are specific to the city is a royal pain. I'm fine if it's a city I visit regularly--I have an Oyster card for London that I've had for a number of years. In general, though, I'd rather default to using a credit card.
Listmonk Specialist – Need Some Help
Notice that julienmarie seems to be pretty well-versed with ListMonk. We need someone to help install it and help us setup to run 40K newsletter + per day. How can we reach julienmarie? PLease write me to erosov@iodineproducts.com or erosov@gmail.com and thank you.
Yes, but thats neither illegal nor are people being exploited (not directly, anyways) so this kind of ponzi scheme may be as close to legitimate as it can get(?)
When Disaster Strikes, Send the Enterprise (2011)
The U.S. Navy is often a first responder to disasters. This mission would be more effective if the Navy had ships that were specifically outfitted for the role. In 2010 I proposed starting with the USS Enterprise (CVN-65). The Big E was retired in 2012, decommissioned in 2017, and de-fueled by 2023. Amphibious Assault Ships - which are designed to support helicopters - would also be especially effective for disaster relief.
I remember these cars flooding into the West after reunification. My father was absolutely delighted that the Berlin wall was finally down. Best to consign them to history although there are plans for an electric trabant.
Here's the USGS 2023 Mineral Commodities Summary for Selenium.

https://pubs.usgs.gov/periodicals/mcs2023/mcs2023-selenium.p...

World production for 2022: 3,200 tonnes
World reserves: 81,000 tonnes

There's not a whole lot available. It occurs at 0.5 to 12 ppm in coal, so large amounts of coal ash might be a future resource. It's not economic to extract that now, vs. current secondary extraction from copper anode slimes.
My experience is similar to yours, especially the mean and dishonest part; your parents did not have money for a guitar, mine did not have money to pay for university. The worst is that since they were both way above the income level needed to have government support (grant/scholarship, access to subsidized housing, etc) the only way I could have done it was to leave my parents as soon as I got adult age (emancipation).
They still give little care about what we do (I have younger brother) and still shit on each other and are still very much fighting with money. I learned the other day that almost 20 years lates they are still fighting for the split of 75K with another 75K in unresolved state.
I think we really ought to have laws that make people pay for their children if they separate. Like a untouchable fund that has to be filled up depending on the income level of the parents and that can be used later on to fund studies or life starting costs.
To be honest I think my father would have made the right thing, but it is my mother who orchestrated the whole thing and left us to rot after leaving will all the stuff plus all the money.
It is extremely unpopular opinion but my experience tell me that women shouldn't be allowed so much latitude considering all little real responsibility they are given and how little social cost they will have to pay for it...
You also can't do "foo" + "bar" to get "foobar", you have to do "foo" <> "bar" giving it even more type "strength" than many strongly typed dynamic languages have.
As I wrote elsewhere, paying into the social security in Portugal with a salary of 80.000 Euros means paying 88% in taxes and social security.

Do you think that is reasonable?

Additionally everyone I know has their own insurance and pays for all of their health bills. And that‘s only for urgent things, planned surgeries are usually done in the home country anyway.
Kernel panics are more common in Kubernetes because the container memory limitations mean the kernel is more often trying to reclaim memory, or failing to allocate, and that exercises little-tested error paths that are full of bugs.
> you have to spend significantly more to sustain traveling and the added expenses of short term rentals

my understanding is that digital nomads pay LESS than they would in their home country by choosing cheap CoL countries
I agree but I was referring more to the 19 part. It's presumably close to a minimum wage job and having already dropped the 15k means he somehow had that cash at 18?

Perhaps you're right though. I went to uni etc so didn't have that kind of cash until much later but might be different for those who leave school earlier.
You still need equipment to transmit/receive radio...

I would understand perhaps semaphore because anyone can wave their arms about and communicate long distances.

But since radio requires equipment anyway, you might as well use modern digital equipment - with the benefit that in the same amount of time, power and bandwidth that a morse signal would use, you can send 10,000x more data.
They literally don't when G100UL exist, which is approved as a full drop in replacement safe for all engines.
To emphasize, all human productions are biased, that's human nature, and news media are not exempt, despite many outlets making serious attempts to produce unbiased news.

Part of the job of being a consumer of media is understanding the bias of what we're consuming, determining whether it skews the news, and possibly counter-balancing by consuming other media with different bias. And yes, it's lots of work and most people aren't willing to spend the time doing that.
I don't know how the numbers would play out, but maybe higher average food prices would reduce global poverty if in general the global poor's income derives from food production?
This is when you know the system you built has reached peak ubiquity
I don't think hiding manipulative content is the right path here. Instead of burying your head in the sand, it would be better to make people aware of the manipulation and expose the techniques and messages they use to that end. What do they want you to believe, and why? That puts you in a much more powerful position.
what exactly is a folder's worth of content so that I'm impressed by it being 3 of them?
2 of 5 can be as well (but not the interleaved version).
A Hacker News homepage link drives 10,000 to 20,000 impressions in my experience, which is peanuts compared to a viral TikTok.
AFAIK DocuSign acts as a trusted third party and protects/prove chain of custody. Think of them like a digital notary public.
Portugal isnt unique in having a government dominated by property owners who are keen to push up rents. Most of the west does.
What? Suing is the process, the entire action, which is why suits are, from time to time, settled out of court.

And yes, that can mean without any papers filed anywhere.

Hell, you can sue for peace.
And you wouldn't accuse Xerox of doing "PR hype". Xerox did the exact opposite thing, they had not realized the value of research done in PARC.
I love this stuff. All of a sudden this model of earphones is quite interesting to me.

Side note: The system sounds a bluetooth device makes are among the strongest differentiating factors (with some being completely awful; see https://youtu.be/J2wPsH64JEM). Yet I have never seen a review or product page which tells you about what sound (which you will have to hear multiple times per day, with no way to opt out!) the product will make.

The ability to change them also seems like a pretty easy differentiator.
This is a distinction without a difference.

Expats often come with money from having higher wages overseas even if they work at local rates. Retirees, people who sell homes in a developed country and so on.

Other than that, the Portugese government should favor Portugese people over the interests of people who simply want to relocate without any means whatsoever. This is already the case: immigrating to Portugal requires you to show you have sufficient means in terms of assets or income. This is another reason why "expat vs digital nomad" doesn't matter at all.
Very excited to see @mwcampbell working on this.
Filtering for clickbait and faddy gimmicks, I can no longer access this project's website.
Interesting article to learn what's up with "kids these days". And so this was also my favorite part:

>When the Ovrthro call was done, I half-jokingly noted to Magana that the collaboration between Langevin and SyKo sounded like a prime example of synergy. He said he’d never heard that word before but that he loved it and would be incorporating it into his recruitment spiels from now on.
> In nearly all cases, the lower the baud rate, the lower the bandwidth. You can come up with sufficiently pathological cases but indeed it’s the bandwidth that should be limited.

This is not the case for classical frequency-shift amateur radioteletype. This sends two tones on single sideband, at 2125 Hz or 2295 Hz. So it uses up about 2.3KHz of bandwidth no matter how low the baud rate goes. 45.45 baud is classic mechanical Teletype speed, so the bandwidth is about 50x the data rate in that mode. You can do FSK up to maybe 600 baud; you need a few cycles to detect the tone frequency with classical filters. 300 is a traditional limit. Beyond that antique technology, you need a modulation scheme less than half a century old.
> a limited attention economy

It would be ironic if the content they generate is shortening attention spans, thus making the overall economy smaller.
That seemed resolved by the end of the article, by the admission that this guy sometimes has 9 bad ideas in a row and the 10th is a winner. The highlighted example was one of the bad ideas, but it illustrates generally how the promotion process works
What's the difference between play and achievement? Someone running the so called "toy" in the production server?
The recent increase in interest rates surely had something to do with it. An EV trades higher initial cost for lower operating costs.
No, G100UL is a full drop in replacement that meets the standards off AVGAS which is what is required by the certificate. Fully legal on all engines with no change to the certificate.
Still not just "PR hype".
This is a great resource to map "what library/thing should I use for x situation" which can sometimes be daunting to someone new to an ecosystem.

The "niche" label cast at Elixir and its ecosystem hasn't been relevant for years; it can do what you need it to and with massive reduction in complexity.

If or when you do need to write your own library: you'll find that straightforward as well.
We are in the "Valley of (Perceived) High Interest Rates."
I love Brev
i don't quite agree because there are legitimate uses for UDP, but there are no legitimate uses for hand rolled crypto (except learning). also the issues with UDP mentioned in the article can easily be mitigated, which is not at all true for issues with hand rolled crypto.

and there is one important use for UDP that is not well served with TCP or QUIC, which is tunneling. tunneling TCP over TCP does not work very well.

also, the feature of mosh to keep a connection alive over network changes may not be easy to implement over TCP, i am not sure.
No... It didn't. It told us things arent black and white but everyone seems to have just picked a color and died on that hill instead of considering that there might actually be nuance.
> Do you take advantage of people, or do you think of ways to take advantage?

Usually the latter, but I've done both. I don't really know which one I do typically though.

> Does your empathy turn off for no discernable reason?

Sometimes. It can depend on mood or it can turn off after a trigger (i.e. someone tells me something that they shouldn't have). I typically have really shitty opinions about things like wars and charities because I just really don't care even if I probably should.

(The shitty opinions are a shared trait with some people who have borderline personality disorder, but I don't know if I have that? Never been evaluated.)

> You tell others that you "could be" faking your emotions. Does your external body often display emotions that are different from your internal emotions?

This is honestly kind of a trick question because this will happen anyway because of autism. The body does not express me well. It's why I prefer online interaction, because at least there I can express my emotion. But in person it's very very difficult and takes actual intentional acting in order to display what I'm feeling.

This could also partly be attributed to the dissociative disorder.
Its really important to preserve the integrity of the document during the signing process because of which modifications other than annotations are currently not allowed. We are building this to support an open architecture(micro frontend based add-ons). The two add-ons currently under development are -
- A document organizer for signed/in-progress documents as we believe organizing legal documents is very different from organizing regular files as the user should be able to visually identify the status of the document and just hover on a document to see the current status of signers, etc.
- An AI based assistant that will allow you to get any clause of a contract re-worded, explained, analysed for risks, etc.(we dont intend to replace lawyers here)
Once we have these plugins ready. You will be able to create/modify docs before signing.
There's not much context here that explains why this is noteworthy. Arena allocation by itself isn't anything to write home about- is anyone able to explain why this is special?
Facebooks Code Quality Problem (2015)
Agree on the REPL and exploratory programming!

But can’t agree on the structured editing side.

I used to do use structured editing (D-Edit on the Interlisp-D machines) and found it annoying, but perhaps that was due to the mandatory mouse use. The structured editing built into emacs is pretty good mainly because it’s an option you can use at any time rather than a single paradigm.

Also the only way to use comments in a structure-based system is to extend the syntax of the language, and that is awful IMHO.
Low lead is a misnomer, you might as well call it LL.
Ya. At a certain point it's pretty much how it works. Relationships have been the difference maker in my life at almost every point. Something that does require some intention.
Then you're moving the goalposts from what you've been arguing upthread.
Sade, dis-moi?
That's irrelevant considering G100UL doesn't contain ethanol.