skysight-inc/HackerNews huggingface dataset:
>>And Universal Basic Income was originally proposed by none other than Milton Friedman

100% false, Friedman's negative income tax WAS NOT a UBI. it was a replacement for all welfare. It was the lesser of 2 evils and if you watch any of the talks he gave on the subject it is presented just as that. Better than massive government welfare programs

Further with UBI there are "good" ways to do it, (i.e I would be in favor of a Geo-Libertarian UBI) and there are Bad ways to do it (i.e UBI paid for with Income based Taxation)

> US. ObamaCare, the 'radical socialist left wing policy', was originally proposed by the Heritage Foundation[3]

That is 100% misleading, Some parts where yes but many parts where not. 2 of the Big Differences is that the 90's plan included Tort Reform which is need to lower costs, and did not expand medicare like Obamacare did

It was also viewed as an unacceptable compromise by many republicans, the purpose of the bill was to compromise with the Democrats that wanted Single Payer, this is the exact compromise that was made for the ACA and as predicted by the Republicans in the 90's it simply gave the democrats grounds to then claim "it was not enough" and that the only option now is single payer government run healthcare.

It has more or less removed Free market alternatives from the debate which is sad

> The current Republican party would be considered extremely right wing in any other time or in any other first world country.

Wrong actually, if you look at any data the democrat party is pulled WIDELY to the left, where the Republican Party has more or less stayed the same or has shifted slightly to the left since 2000

Republicans have not changed their principles or policies in a large number of year, it is the "left" that has changed considerably.
This could grow into an awesome-document-templates list..
Structural typing is extremly helpful/practical, it lowers "type-friction" a lot. I have a dream that flow/ts will be lifted up to js spec one day (yes, I know, that's why I said "dream"). With this the language would be open to things like multiple dispatch a'la julia/traits/typeclasses and/or pattern matching - which would (imho) place the language at the top for couple of decades. This kind of stuff is unfortunatelly outside of scope of flow/ts as it would require runtime support, which flow/js explicitly don't provide (ie. stripped types makes valid js, all type-stuff happens at "compile" time only, without access to runtime at all).

But flow/ts is major step towards practical solution, it covers something like 65% of properly typed language (properly = algebra on types, structural+nominal typing, opaque types, nullability exposed at type level, aggressive inferrence etc.)
> Clojure for example, goes beyond types with it's abstractions (like seq, that can be applied to strings, lists, maps and so on)

Goes beyond types? Statically-typed languages can have polymorphism.
Some houses we "grew" up with had phone sockets in every room, the modern equivalent would be an Ethernet socket.

And we should also work towards making that a standard, too (i.e. like wall sockets are standard for power, Ethernet sockets should be for data). I'd agree with the notion that "smart" (I'd prefer to say home automation) devices are the way to go, but highly disagree with everyone "Oh just key-in your Wi-Fi password, and good to go!".

Air is a shared medium with inherent collision problems. Avoid it at costs that slightly exceed convenience.

EDIT: Also, home automation. In most people's lives, one's "home" is one of the most static things in life. If anything, your home would be worth spending an additional thought or two on proper planning, to avoid headaches that'll haunt you later.
> "dynamic type systems" don't actually exist

One definition of a "dynamic type system" that I am aware of is that there is runtime-existent information about types of particular pieces of data - or, somewhat equivalently, that types are information associated with values, not variables. Therefore, one could imply that e.g. Java has a dynamic type system.

The way I understand the question you're asking is: if a language has an "eval" function that accepts arbitrary code as input, what prevents it from having static-type-system-class parsing and type safety guarantees as a part of its functioning? It essentially means that the compiler for a language must both be permanently present in memory (like for Javascript, or Lisp, or Smalltalk) and it must implement the static type checks for all code that it parses (like for Haskell).

I think that these two requirements are orthogonal to each other and therefore they don't really clash with each other. Either there will be languages which implement both of these paradigms at the same time, or there already are such languages, and I am not yet aware of their existence.
Reminds me of this Leonard Cohen quote: If I knew where the good ideas came from, I'd go there more often.

I seem to remember him saying this a few times over the years and on occasion he’d say it as ‘good songs’ rather than ‘good ideas’.
1. It is just $7

2. You could use https://privacy.com/ if cancellation policy is a concern
> I haven't heard of Debian, Ubuntu, or RHEL update that would bork the system in a long while. All of these distros are more than capable of running containers.

Fedora CoreOS is designed to have the smallest possible attack surface out of all operating systems currently capable of hosting containers.

Unlike Ubuntu, Debian, and CentOS, Fedora CoreOS doesn't contain packages that aren't required for hosting containers, and is automatically kept up-do-date without any manual interventions.

Just like Chromium OS on PCs, Fedora CoreOS on servers eliminates the need for "dist-upgrade", and thus reduces risks and increases reliability.
I think it's absolutely addressed. With either a dynamic or static language, you have to make decisions about which fields are essential, whether you can ignore additional fields, etc. And this post shows how you can do that in Haskell.

Versioning is hard, because it's a coordination problem, but it's not the type system that produces the pain.
So instead of re-issue stock, Zuckerberg should have had a vesting period and fired Saverin?
X.Org's XDC2020 May Abandon Poland Conference to Find More Welcoming Location
Unless your type system is very weak -- and in effect, an untyped language can be considered to already be doing what you said only in a type system that has a single type -- this is generally impossible (halting problem and its extensions). So you have the choice of something that's not very useful or something that's impossible -- take your pick.

Type inference, as others have suggested, does not do what you want. If your program is well-typed according to a particular type system which you must have in mind while writing the program, they'll save you from writing explicit type annotations, but they cannot come up with "correct" type for a correct program that's not written for that particular type system.
So there's only 6?
Sounds like you need something like Clutter (https://www.clutter.com/) for longer term storage.
Why is seq “beyond types”? Isn’t it like a Rust Iterator trait?
You answered your own question with your qualifier... "Ruby seems more consistent and straightforward than any other non lisp language I’ve used."
There is no scientific method to recover, access, or identify another consciousnesses mental state short of asking them, and then you must deal with the possibility of their answer being incorrect due to a entire complex world of reasons. This class of "AI" is pure fraud.
I think it is a matter of taste or experience language wise but I would say Django with the admin.
That's kind of like asking of the research being done at fermilab is on npm yet.
> upgrades from eg CentOS 6 to 7 are unsupported.

Upgrades from EL7 to EL8 are supported, though.

For Container Linux/Fedora CoreOS, in-place updates don't make much sense. Those are intended as immutable OS images. They get their configuration from a remote source specified on the kernel command line.

The migration work is dealing with changes in the configuration language.
Her* post.
“he might have adverse reaction initially.”
FYI this is easily the kind of tool that can be making $20k, $30k or $40k a month if you price it correctly and find enough quality customers.
why would I care about scaling my dotfiles, my zsh custom prompt, or my icon colors?

That those things don't scale is hardly news.

yak-shaving is fun and an experience in itself. not every activity needs to scale.

I just wrote a netfilter_queue[1] based DNS filter in C[2] to extract IDN/punicode domains from the kernel queue and drops the packet.

This is only useful to myself and maybe a handful of those who: run a local resolver, disable DoH, and hate punicode/IDN with enough passion to actually want to block it. But it has probably no use in the wider world because it only adds complexity for them. According to this post, now I should feel bad because it doesn't scale? What a strange way of looking at things.

[1] https://netfilter.org/projects/libnetfilter_queue/doxygen/ht...)
In the US at least, that’s a false dichotomy.

The US Midwest and South have a dozen relatively cheap cities to live in where it isn’t depressed.

Housing supply/demand balance is a prime contributor to CoL, and the south/Midwest generally doesn’t have the draconian housing restrictions that the coastal cities have.
Your comment is spot on. But the opposite can also be true. I totally have the same issues you do at times by trying to understand types (which I feel type hinting, editors, and good variables names go a long way to help with). But I also find myself using a lot of cognitive load trying to get a correct type definition, etc (for the non simple tasks). Whether its trying to figure out how to get a certain object, because of the interfaces, factories, etc. Or trying to create a new object and trying to map things correctly. What if I just want to have a hash map full of varying object structures? (I am not saying its not possible, I am saying its a use of cognitive load)
But the US admitted within a day that it was one of their ships that shot down the plane.
Compare that to next day of the recent crash when an iranian official posted on the next day that it was scientifically impossible to have been an iranian missile.
But at least they think they have arrested the person who posted the video showing the crash and making the cause obvious.
"On 14 January it was announced that Iranian authorities had arrested the person who had published a video of the aircraft being shot down."
https://www.bbc.com/news/world-middle-east-51114945
This happens to startup employees who still work for their startup on a daily basis. Crazy to me that founders don't bat an eye at screwing employees, but everyone seems to be out for blood just because some FB founder who left the company only got a gazillion dollars instead of 3 gazillion.
Show HN: Ebook.chessvision.ai – AI that makes chess eBooks interactive
Ultimately, it's probably that Python is older and it's use in the English-speaking world is substantially older. Python is around 5 years older than Ruby and the first book about Ruby in English came 10 years after Python existed.

It's 1995. Python has been around for 5 years. Guido is working with the scientific community and adding better complex number, array, and matrix support to Python. Ruby has just started and everything is in Japanese. Scientists and Engineers at US universities and FFRDCs (Federally Funded R&D Centers) keep plugging away at Python for scientific purposes. Finally in late 2000, the first book about Ruby is published in English. Ruby is still pretty unknown. In 2005 Rails hits the scene and the English-speaking world notices Ruby. But this is 10 years after the scientific community starts investing in Python and 15 years after the Python language came out. By this time, the community had Numeric, numarray, and finally NumPy to unify their efforts.

Ultimately, Python's BDFL started working with the scientific/numeric community before Ruby existed. It would be 10-15 years after Python that Ruby would start making inroads in the English-speaking world and by that time there was already good numeric/scientific tools in Python. Scientific communities weren't looking to learn new languages for the sake of new languages. Many still just use MATLAB.

MIT hadn't switched to Python when a lot of this happened. I think it's more that Ruby wasn't widely known to exist until 2005 and was "brand new" to the English-speaking world then. Python had been plugging away at numerical libraries for a decade by then and NumPy (which had learned from previous numeric/scientific libraries) came out basically when Rails came out.

Once all these numeric libraries exist for Python, are you getting grad students excited to work on an open-source numeric system for Ruby? Are you getting FFRDCs interested in creating libraries for a language that's quite similar to Python without any significant advantage? How do you justify that work? How do you get people excited about it when the reaction of most users is going to be "we're already happy with what we've got"?

Rails burst onto the scene at a time when people were often unhappy with their tools. Rails was a breath of fresh air with clean separation of concerns and a lot of helpful stuff. This is back when Java meant XML sit-ups, C# was closed-source and this is before most of what the community knows today existed, Scala had just appeared, Python was still in the Plone/Zope era (remember when an object DB in Python seemed good?), PHP was pretty dominant but often ended up a mess and didn't have the same framework that Rails was offering. Rails offered something compelling and new which meant attention. Many other communities followed Rails - Django, .NET MVC, JAX-RS, etc. Still, Rails was there first and got a lot of mind-share.

Similarly, Python was there first in scientific/numeric computing and people haven't provided enough to compel people to move off it.
I think it's fair to assume that the "quality" of an applicant is some combination of innate ability (normally distributed) and the amount of resources that have already been invested in that student (exponentially distributed). this implies that the differences between students increase at the very high percentiles.

if the dean's claim is true, they are basically admitting that their admissions criteria sucks.
Security researchers need protection in India for disclosing vulnerabilities
Altserver Windows
Using App Center to Send Out Push Notification in Multiple Languages
Good indeed! I recommend reading if you are running a team and growing.
Might be completely out of my depth here, but I think that just means "the motion of the star is a function of something that changes over time".

I'd naively assume it's of its relative position over time, but again, I'm likely out of my depth.
I had the opposite perspective from this. Did you miss the part where Zuckerberg was trying to remove someone who was working on a different startup outside of Facebook?
Not even one wall...
Glassdoor shows the pay for DBAs in the DC area are above the national average.

For software developers, the median salaries are below those in SF and Seattle, but if you are a FAANG level engineer, Amazon’s pay scale in NOVA is identical to Seattle and Facebook pays similarly.

> carved some neighborhoods out for themselves

This is an effort to imply that the suburbs of DC with high median salaries are small enclaves. This could not be further from the truth. Fairfax County, which has the third highest median household income in the US, is over a million in population and the largest county in VA. Montgomery County is the largest county in Maryland, also over a million people. So these counties are not separated from the rest of the metro area, but instead have over 2 million people in an MSA of 6 million.
> I’m fine with strong and expressive static type-checking, but you need to hold the main limitation in mind as you use it in a distributed environment: the guarantees are static. They pertain only to your little binary and don’t say anything about the rest of the system.

To argue that a static type system is not valuable because it doesn't enforce constraints on other external systems it doesn't know about is a pretty wild case of moving the goalposts.
How is search so bad? A case study
> engaging with different people every month

That's exactly what I'm railing against. Most people who have done this eventually recognise that it does not make them happy.

It certainly did for me. Permanent connections with imperfect people are better than some sort of forever quest.
A comment (dead by flags) alluded to the contempt Mark had for his users by calling them

> dumb f###s

in an IM conversation with a friend.

Alas, for those who don't remember this, here's context:

https://www.theregister.co.uk/2010/05/14/facebook_trust_dumb...
But once you learn the alien language you can understand all written forms in that language. When you speak of Perl, which dialect of Perl are you speaking of? I'm not singling out Perl here as I see the same issue in varying degrees with most general purpose languages.
Reducing Tensorflow Debugging Time by 90 Percent
Because most people who want to work at FAANG don't want to live in Toledo, and it's a lot harder to find competent software developers than factory workers. Not that there aren't competent devs in Toledo, but the supply would be dried up pretty quick, and good luck convincing rich, coastal, Elizabeth-Warren-beat-Hillary-in-my-district Californians to move to an area with lake-effect snow in a state that just passed a heartbeat law for abortions.

Obviously painting with broad strokes, but FAANG companies would have to fundamentally rethink the kind of person they'd like to hire if they want to move out of affluent Urban cores.
It’s not at all shocking that a co-founder or early employee of a startup ends up becoming disinterested, starts working on something else on the side, while their shares continue vesting for months (assuming there’s even vesting happening at all). By the time the early employee leaves or is fired, they have an extremely disproportionate share of the company.

This happens all the time. It’s probably the rare company that doesn’t end up with a wonky cap table by year 2 or 3 with shares that need to be adjusted with grants in order to properly reward the people who are actually doing the essential work of running the company.

I’ve had it happen in all 3 companies I’ve ever started. In some cases you can have a discussion and you can get everyone to literally sign on the dotted line to make the new share grants. In other cases, it’s a massive issue just trying to refresh the option pool because you want unanimous shareholder consent (exactly to avoid issues down the road) and there’s an early employee with Founder’s shares who ghosted the company and literally won’t answer their phone.

Don’t feel sorry for Eduardo. The guy did a couple years of work and ended up a billionaire.
True.

That means we as a country have to out compete other countries. With the imbalance of population to land mass to wealth favoring the US for the foreseeable future, short term is relative. Could immigration be a solution for the next century?
Seems like my 2 year old loves the generated music. I think toys with autogenerated music for kids is something I haven’t seen but would be quite a success and not too hard to do either.
Well, in space water starts to boil away immediately so you would need a gas tight container which don't typically happen in nature in sizes that would allow internal currents to develop.
I am late to the discussion. I dont understand why we cant have new Cities that only allows self driving cars. Full AV can react to other drivers, but they can surely act upon themselves.

This way, you can set out home with cars and you only operate the last part going to Cities for work. And when you leave you drive out to high way and then every full else will be automatics. It also partly solve housing problems and people can now live further away from work.

Surely this is a solution that is simply enough for the short term. What am I missing here?
There is no better feeling than when things just work right out of the box
This is in China so it pretty obviously has nothing to do with whatever western techies are saying one way or the other.
This article must be paid PR cleanup
Can’t speak for OP, but noise canceling headphones are good for low-frequency noise, while passive hearing protection is better for high-frequency. For that reason I use headphones while bicycling — it blocks the loud engine noise and lets me better hear localizable sounds like tire swish.
Or Ann Arbor or East Lansing
4 chutes are currently out and just waiting for splashdown now.

Looks like the test went well.

Edit: Splashdown
f :: Map String String -> Map String String
Indeed and I would love to see what people have been using.
Topology never fails to boggle up my mind.
Loved this... I laughed at the section when the developer goes all the way to scavenge an FX chip from starfox, solders it to their game, and writes the appropriate code for it... just gor the boss dismiss it in 5 seconds because of the cost. It is 2020 and I have experienced the same time and time again. I a am sure the developer got a thrill of the tech challenge at the time at least.
At least a casino has a chance of paying out. Taking on $100k of debt to study something with no job prospects is even dumber than gambling it away (from a purely financial perspective).
Looks like Kent Becks' Explore, Expand, Extract: https://medium.com/@kentbeck_7670/fast-slow-in-3x-explore-ex...
What do you mean with going beyond types? Is it possible to define some unique compile time constraints on Clojure not related to the type system?
There are a lot of nocode/lowcode tools with batteries included if you do not mind paying a monthly fee (although some do not even require that; only a one-off fee). Airtable, Bubble and many others make it really easy to create CRUD apps. There are also open source solutions (I did not try so no idea how good they are) like [0].

[0] https://garrylachman.github.io/ElectroCRUD/
On the contrary, part of the point of XHTML is you can reference the document type definition (DTD) so everyone would be on the same page.

https://www.w3.org/wiki/Doctypes_and_markup_styles

For example...

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">

... is the XHTML 1.0 equivalent of HTML 4.01 except it won't validate loose HTML style markup, it all needs to be well formed XML.

That said, for HTML5 ...

https://stackoverflow.com/questions/1570418/if-i-use-html-5s...

Ten years ago they thought that should work a while. Looks like it.
Lots of things were/are found in many unrelated human societies, such as slavery, which was found all over the world for thousands of years and still exists in many places/forms today. Something being common isn’t an indication of whether or not it is intrinsic or “the only way”. We only make progress by challenging social structures and trying to improve them. Perhaps these kinds of commonalities exist all over because they are effective at controlling/enforcing oppression and power.

My point isn’t that men and women aren’t at all different, it’s that institutions use the “it’s human nature and it can’t be changed” argument to hide oppressive/coercive practices that are avoidable and able to be removed.
> Friends are peers that have similar life experiences and values (and humor)

This is an pretty narrow definition of friendship.
Wrong. There are statically-typed languages with polymorphism.
Seems all went well! Kudos SpaceX
If OP just meant ruby is syntactically complex compared to lisp, there’s really no arguing with that! :-) it just applies to so many languages — any non lisp — and seems an odd thing to single out Ruby for. (Perl, on the other hand...)