skysight-inc/HackerNews huggingface dataset:
I’m not sure I follow your analogy. I think the dynamism of a list is separate from the type system. I can say I have a list of integers but that doesn’t limit its size.

I can think of instances where that might be useful and I think there’s even work being done in that direction in things like Idris that I really know very little about.

There are trade offs in everything. I’m definitely a fan of dynamic type systems especially things like Lisp and Smalltalk where I can interact with the running system as I go, and not having to specify types up front helps with that. Type inference will get you close to that in a more static system, but it can only do so much.

The value I see in static type systems comes from being able to rely on the tooling to help me reason about what I’m trying to build, especially as it gets larger. I think of this as being something like what Doug Englebert was pointing at when he talked about augmented intelligence.

I use Python at work and while there are tools that can do some pretty decent static analysis of it, I find myself longing for something like Rust more and more.

Another example I would point to beyond the blog post I previously mentioned is Rust’s serde library. It totally allows you to round trip data while only specifiying the parts you care about. I don’t think static type systems are as static as most like to think. It’s more about knowns and unknowns and being explicit about them.
Ironically, many games I install on Steam run better in Linux under Proton than Windows 10 (especially from the 98/XP era)
I agree that there are an awful lot of really unsympathetic people who haven't gotten vaccinated, but that seems like an unfortunate side-issue. We can ignore them all and say: sure, but there are still people who have compromised immune systems, etc, so we should try to minimize the spread for them (of course, people who have really compromised immune systems are also used to avoiding situations where they can get sick I guess, so this is a team project). Even if the majority of people who aren't vaccinated are annoying, the existence of good people is a sufficient condition to be careful.

For me, this doesn't necessarily mean totally isolating, though -- just things like wearing a mask in stores, dining outside when I want to go to a restaurant, etc.
Funny, I rarely use branches (or topics) in Mercurial unless it is a complicated long-term project. Modern "everything on a branch" was invented by git users because the UI forces naming things. Mercurial allows sharing code and still linearizing history with rebase safely, so much less need for merges. I've always found pull requests to be only useful for the passing-by contribution. They are a pretty awful interface for anything else driven by GitHub internals more than anything else...
This is pretty hand-wavey, isn't it? If outright abolition doesn't propose shrugging our shoulders and ignoring crime, what does it propose? That we address it from root causes by restructuring the economy to correct the injustices that lead to crime?
Porsche will provide cars with ‘fake chips’ to reduce delivery times
https://www.stuttgarter-zeitung.de/inhalt.oliver-blume-erkla...
The story leaves me confused. It reads like you think your company might not be a good idea.
Not that I disagree but if you accept the EULA that states otherwise, doesn't that mean you don't have the prerogative? It sounds like you want to skip over the EULA, isn't respecting licensing models a huge thing for Linuxheads? Honest question.
>> I still dont understand how and why liquid cooling could benefits.

Because liquid cooling is only a marginal benefit for current hardware, hardware designed to be air cooled. If liquid cooling becomes a norm we should start seeing hardware designed with the expectation of liquid cooling. That could mean greater component density and greater power concentration --> greater speeds. One wonders what CPUs would be like if they were designed with the expectation of liquid cooling, water within a millimetre from the heat source rather than the metal heat spreaders that currently top most chips.

How many fans are in a modern server rack? Liquid cooling could theoretically replace all of those with one moving part, one pump impeller.
I lived in Eindhoven for two years and passed by its Holland Casino every week. I never knew it was run by the Dutch state!

There is a Chinese Internet slang "智商税" ("IQ tax"), used to describe products with questionable actual value, like pseudoscience-based health products, luxurious goods with crazy price tags. The idea is that only people with poor judgement would buy such products, and in doing so are being taxed for low IQ.

But a state-run casino... that's a literal IQ tax.
This sounds like it would break a bunch of email address verification systems, password recovery links and the like. I wonder if indeed it does break them, but since it only affects smaller websites nobody seems to care.
Probably, if you take good care of them and most importantly avoid wearing them every single day. Leather shoes need resting periods.
Exactly: most places do an exchange program in which you don't own the tank, and aren't responsible for the long term maintenance of it. The propane exchange is marked up to cover that. Based on the expected lifetime of the tank and how much propane you use , it can make sense to own your own tank and pay a lower price per unit on the propane (provided there's somebody nearby who fills tanks).
"Doesn't know it can use" in this context means the system probably doesn't know how to use it, even if a hint suggests it should.
So true, but this class of comment always amuses me as in the 1980s one of the (many) criticisms leveled at Common Lisp was that its library support was too big.
This is like N1 first stage coming back on a new technological level.
Funny, I had a similar experience -- school suspended me for a week while the IT admin and my father (who also worked in tech) just laughed it off and encouraged me to do more, but in an environment that I owned to experiment on consequence-free.

It's sad that so many schools in the US seem to have this attitude of "YOU DID SOMETHING WRONG AND MUST BE PUNISHED!!!" instead of actually using it as a teachable moment and encouraging someone who has demonstrated competency with tech to pursue that, given the chances of it leading to a lucrative career.

Imagine if a kid broke the technical rules of the gym and made a dozen 3-point basketball shots in a row -- I'd bet the gym teacher would tell the basketball coach about it instead of writing the kid up. Why can't we do the same for tech?
I’ve been begrudgingly using Tailscale because it’s so damn simple, but hate that I have to authenticate through Google. I recently noticed they’ve added a “sign in with GitHub option,” but I don’t see any easy way to migrate my account (and nodes). Many of the clients are PiHoles I’ve sent off to my family as gifts, so physical access is a PITA. The only way I’ve found to reliably clear the Tailscale settings is to `apt purge Tailscale`, which would cause me to lose Tailscale SSH access. Looking at the hassle of the remote reinstall- I’m thinking to SSH in with Tailscale, then establish a reverse SSH tunnel to maintain remote access - I think I may finally give Innernet [0] a go.

[0] https://github.com/tonarino/innernet
Statistical Consequences of Fat Tails (2020)
The bureaucracy at the FAA has protected millions of airline passengers over the course of decades. Just look at how one minor discrepancy in an aircraft can lead to a total loss of the jet and hundreds of lives lost. Now combine that with a rocket loaded with a hundred thousand gallons of fuel and it's understandable that we should be careful. I don't want our space-faring expeditions to look like China's, where they're okay dumping hydrazine on local villages [1].

1: https://spaceflightnow.com/2015/01/04/photos-long-march-rock...
Yeap, HP Pavillion. Unfortunaly, I can't justify buying another laptop just to use Linux when everything works great on Windows.
Apologies for asking the obvious, but then why are you here? :-P
The ecosystem is a function of popularity.

Lisp isn't very popular because, at least in my opinion, it requires a relatively high level of maturity and experience to be used effectively on nontrivial projects.

Every single project in Lisp (Common Lisp, Clojure) that I have observed ended in a disaster mostly because developers could not figure out what the strengths of Lisp are to realize the benefits and then killed themselves with too much freedom.

Absent large enough number of success stories companies will default on Java because it is good enough language to be able to effectively realize typical enterprise application and dumb enough to be used by a beginner dev, even at the cost of boilerplate.

At least that's the official story. It is really difficult to explain to business that you could do whatever they want with 1/5th or 1/50th of the amount of code if you just used a good language for it.
The estimate is around 700k people, of which a minority was Jewish:

https://en.wikipedia.org/wiki/Demographic_history_of_Palesti...

Just because it wasn’t a dense urban area, it doesn’t mean it was “unoccupied”.
> Death is not the only bad outcome to be avoided.

And this is yet another illustration of the point I was making about fear, uncertainty and doubt: the Nature article didn't say that there is proof that children will have "long Covid"...it says that these particular studies didn't address the question.

By this standard, anyone can make up any speculation of something that might happen to children someday, and we'll use that speculation to demand fearful responses, indefinitely. There is no end to this logic.

Fortunately, the well-controlled evidence is increasingly pointing to the conclusion that "long Covid" is not a serious risk to children -- and that, more generally, Covid appears to be similar to other viral infections in terms of long-term symptoms:

https://twitter.com/apsmunro/status/1421415741706981376

Again, lots of hysterical speculation in this area, not much good data. But the better the data gets, the less legitimate the early, speculative claims appear.

> There are ~48 million kids under 12 in the US. Assuming they are evenly split between male and female, that would mean 1,824 cases of myocarditis and pericarditis if 100% of them were vaccinated.

The myocarditis issue disproportionately affects young boys. Your calculation is incorrect.

> Given that nowhere near 100% of children have been exposed to COVID and yet 340 have died, I don't see clear evidence here that the vaccine is more risky than not being vaccinated.

Be that as it may, the UK and about half of the EU countries disagree with your assessment, including a number of experts here in the US, as well:

https://www.medpagetoday.com/opinion/second-opinions/93340
Walking Doctors | Senior Full-Stack Software Engineer, DevOps Engineer | Remote | Full Time

Walking Doctors is a bootstrapped cloud-based medical clinic management software company looking for an experienced full-stack developer and hiring for its first full-time DevOps position. We use clinical checklists in the electronic medical record charting process to incorporate and iterate best practices based on measurable medical outcomes. We support health care providers, especially in resource poor settings, in making faster, more accurate diagnostic and treatment decisions while managing the business side of medicine: Pharmacy, medical records, billing, performance reports and metrics. We are currently expanding throughout Indonesia and expect growth into several new markets in the next year.

Our product is built on Amazon Web Services(Cognito, IAM, EC2) using Mongo Atlas, GraphQL, Node.js and React and we have recently initiated a move from Javascript to Typescript. We're a fully remote company with employees in the Americas and Asia. Our core collaborative hours are afternoons EST. If you're interested in either of these positions, email hiring+hn@walkingdocs.com.

Senior Full-Stack Software Engineer:
You will be focused on developing our flagship clinical decision management product, contributing to new feature development and improving the robustness of our existing systems as we scale. As you become more comfortable with the product, your responsibilities are expected to include conducting code review, expanding documentation and mentoring other developers.

DevOps Engineer:
Your immediate mandate will be to support existing infrastructure and improve the robustness of our orchestration, deployment and monitoring capabilities. You will report directly to the CTO and have significant input on how our infrastructure evolves. We expect you to be focused on building out our infrastructure but would ideally like a candidate that can contribute to discussions on software security and code hygiene.
The curse of the Airbnb aesthetic (2020)
I had the same experience. My profile was transformed into a 50-year-old white male wearing a trucker hat without my knowledge. By the time I was able to access my account, it had a bunch of matches and messages from 50-60 year-old American women.
Strong statement after the 737 MAX debacle.
That is unfortunately not true. There are a great many additional surface areas, such as that time they linked TurboTax to their account, or the time they signed up for budgeting software - and gave it their bank credentials, etc.

Most of these being done through screen scraping and by storing users bank credentials in some random 3rd parties database. Which is a huge and tempting target.

It’s gotten somewhat better in some cases now as they are at least using SSO type setups, so it’s a track able and expirable token instead of raw credentials at least some of the time - but yikes.
Uncountable | SF, NYC, Munich | Full-Stack Product Engineering

https://www.uncountable.com/hiring/hn

Uncountable accelerates R&D for industrial scientists across leading materials, chemicals, and life sciences organizations. With our SaaS solution, our customers get better products to the market in half the time.

Uncountable was founded by MIT and Stanford engineers and has been profitable since 2016. Our team has grown from 6 to 20 over the last two years.

Product Engineers (Full-Stack) | $120k - $220k + Equity

---> Uncountable is looking for engineers who can spearhead the development of the Uncountable Web Platform. The position is heavily product-driven and comes with challenges across the stack.

--> Senior and principal positions are available.

--> Summer internships and working student positions are also available.

These are full-time positions in San Francisco, New York City or Munich. Remote options within the U.S. and Germany are available for senior candidates. Learn more: https://www.uncountable.com/hiring/hn

Contact our CTO directly at jason@uncountable.com
I'm very happy to have gotten into a committed relationship right before online dating apparently became mandatory, although also vaguely curious what the experience is like. It seems like such a personal thing was suddenly connected to the internet, which is fascinating. Although also terrifying. I'm glad I don't have to actually deal with it.
Off site backup might not save your machine if it burns in a house fire, but it doesn’t mean you shouldn’t have it
In 2019, Elon tweeted[0] that the price of one Raptor engine is under $1M with the goal going under 250K for the next version. Any recent info where there are now?

I'm still surprised they moved to this orbital fly so quickly without doing more tests. Going from 3 engines to almost 30 is crazy. Also, If I understand it right, both booster and starship will end up in the ocean. I hope they will be able to reuse at least a few engines.

[0] https://twitter.com/elonmusk/status/1179107539352313856
its possible but since we are in very very very early (think 10E9 out of 10E100) stages of our universe I'd imagine the reverse part would happen towards the end of our current time, assuming the time reversed processes have same endpoints as time fwd processes.
I remember a Linus Torvalds video on this exact problem. I found it both blunt at insightful:

Linus Torvalds on why desktop Linux sucks
: https://www.youtube.com/watch?v=Pzl1B7nB9Kc
It might, but I doubt it will. “Roll your own libraries” is so core to the CL community’s self identity, that I doubt it will ever change within my lifetime.

Honestly, if you want a modern Lisp experience, I’d recommend Clojure. Clojure doesn’t philosophically align with my own preferences, but that community is very active and very invested in solving common problems as a community.
I know several people that got STEM degrees. One worked for Boeing, moved into progamming at an ad tech company. One had a math degree, got into programming at a real estate firm. One had a physics degree, is now an electrician.

The ridiculously expensive college education can't even prepare us for our own workforce, which has very little demand for engineering, sadly.
There is the occasional bit of entertainment and there is https://en.wikipedia.org/wiki/Escapism#Escapist_societies

One thing is watching some dumb action movie once a week, another thing is filling one's free time with entertainment every day.
Clickable tweet (links don't work in preformatted text): https://twitter.com/elonmusk/status/1354862567680847876
To be honest, I can't tell you what kind of future innovation is going to result from cheaper spaceflight. But there is serious scientific and engineering potential to be unlocked. What SpaceX is doing seems environmentally unfriendly, and I know no-one wants to hear "but xyz is worse". But we really do need to keep such things in mind, because SpaceX's footprint here is completely dwarfed by domestic carbon creation. The Apollo Project lead to all sorts of spinoff technologies that we use today. It wouldn't be unreasonable to expect some of the future technological advancements to reduce pollution or carbon emissions.
With a Democrat in the whitehouse and many establishment players (with politicians in their pocket) unhappy, I can see the FAA dragging things out. There are many powers that be who would love to see the FAA force SpaceX to tear down their launch tower and move it a few feet over because of baby turtles or some other ridiculous excuse.
Check out MIT's write-up of our recent work: https://news.mit.edu/2021/uncountable-rd-0713
Workplace vaccine mandates reveal a divide among workers
so there is no more additional burning of limestone needed? instead your process directly produces the lime, CaO? and that then binds the CO2 when curing?

to my limited understanding cement production emits CO2 in two ways: by splitting limestone into lime and co2 and by burning carbon based fuels to split the limestone.

your method addresses both sources of co2 from cement production? or just one of them?
Making their money predominantly from hardware sales, the motivations of Samsung and Huawei are similar to Qualcomm, not Google.
>"Monitoring" usually implies having a defined acceptance threshold on the metric, and triggering some (probably human) response when the metric is in an unacceptable range.

Like the Smart data on your Hard-drives? The increasingly (over month) thrown away packets of a dying Network card? Or that one Fan that increasingly spins slower then all others?

Look Hard is not different from Software, both need to be Monitored having a close look on "trends" and want to be Maintained.
One thing I've found fascinating is how the outside appearance of a human body repeats the number 5; there are 5 things sticking out from a center mass (2 legs, 2 arms and the head). Each foot has 5 toes, each hand has 5 fingers. And in the head are 5 outward-facing holes: 2 eye sockets, one nose/mouth hole and 2 ears.
One thing about those small potatoes though: They buy software. You can actually get paid for apps on iOS way easier than Android, and it shows.
People do talk about all of those things though? Israel and the US are both settler colonial states. Acknowledging that should be the start of a conversation about righting historical wrongs, not shorthand for a proscribed solution.

As a side note, it seems like you're using "hard left" as a smear, but most of the people I follow who engage on this topic are diaspora Jews who very much do not want to become "hated refugees".
Evolution of Search Engines Architecture – Algolia Search Architecture Part 1
Isn't that just the plan of every developing country? You start with textiles, then move up the value chain until you're a developed country and can pay for socialism or aircraft carriers or whatever you want.
$50/t sounds amazing! That would be a price point where I could offset 100% of unavoidable CO2e emissions quite easily. Too bad it won't initially be available for consumers, but I'm very much looking forward to seeing where this goes :)
You'll have to write some glue code, but if all you need is standard Ed25519 signatures, current-gen Yubikeys can do this. Somebody's implemented a python library that does that here https://github.com/tschudin/sc25519
If memory serves it's an EU directive meant to decouple handling of money from access to banking information by forcing banks to provide APIs that third parties can use on a bank customer's behalf. So you can grant an app permission to see a live view of your account balance, for example. Not sure what applications the lawmakers have in mind. Credit rating seems like an obvious application. It would maybe make it easier to circumvent credit cards for money transfer, maybe? I suspect there's a lot of hand-wavy "startups will figure something out"
What if the cheater is just running stockfish on a separate laptop, is the anti-cheat system also going to turn on the webcam and track eye movement?

> Being awarded a win by e-mail a day

That is only half of the story. The other half would be in banning the cheater and making them lose access to their account, i.e, impute a real monetary cost to being caught cheating. Make it expensive for those caught cheating and equally expensive for those making false reports and I'd venture that we would see some sort of equilibrium where cheating is not worth it.
Are you sure that's an actual, valid key? It looks like something that a GPT3 model would generate to me. (If you look closely, it just repeats the substrings c0d3 and b4c4c, so it's unlikely to be a real key.)
Haha good question. I wouldn't consider HN social media, as it's more nuanced discussion around topics, although the lines are somewhat blurry. I think of social media more like Twitter and Facebook.
It's pretty much what we have in China now.
AssemblyAI (YC S17) Is Hiring Python Developers and Account Execs
Follow-up: Earth is at a tipping point right now. So far life has been governed by evolution. But within a short time (≤10,000 years, say) it will likely be possible to simulate a human brain quite cheaply. Then things will get weird quite quickly. See Robin Hanson's book about "Ems."

For these reasons I think we can expect that aliens really will be quite alien to us.
I'm learning how to play the banjo.
I assure you non-smokers spent plenty of thought on it.
These places exacerbate material waste and trivial spending.

Dollar objects get replaced much faster than better quality objects.

They’re manipulating that “new purchase” high similar to Facebook juicing us via likes.
I have a theory that these q's legally favor recent grads without having any explicit requirement to do so. Helps them filter for young, freshly-trained students who they can mould into whatever they like inside of the FAANG-bubble.
That was the 2000 election. The article is about the 2004 election.