skysight-inc/HackerNews huggingface dataset:
This is so predictable.

1. Author attacks premise of dynamic type systems argument.

2. Author presents premise for static type system (which is practically confluent/equivalent/equifinal to premise he just undermined).

>static type systems allow specifying exactly how much a component needs to know about the structure of its inputs, and conversely, how much it doesn’t. Indeed, in practice static type systems excel at processing data with only a partially-known structure, as they can be used to ensure application logic doesn’t accidentally assume too much.

Chances are you are wrong about 'how much you need to know' irrespective of your type system. Nobody gets it right the first time.

When we figure out that we were wrong about how much we need to know about the structure of our inputs (e.g we assumed too little) we do this thing we call... "extending our code" [1].

The question then is simply: which type-system is better at extensibility?

And I have no idea how to define "better".

[1] https://en.wikipedia.org/wiki/Extensibility
Is the bonus structure really identical in all markets? I've observed a >10x difference in initial equity offers in different markets at GOOG, so I'd be surprised if the other equity compensation is identical across markets.
Love the energy, its a tool for the instagram generation.
Zoominfo and discoverOrg are the same company now
Pallets can now process workflows with Ruby 2.7
Ok, thanks, that makes sense.

The reuse developers part I suppose could be achieved with QtQuick since QML is javascript based, but beyond the language, not that much else translates and you can’t completely get away from C++ for anything non-trivial, so it’s not really an electron competitor.
IMO when you work remote you can work from a small town OR you can move to other places if you like. For many moving is not an option because the rest of their family is in a place. There are other options other than Mount Pleasant, Michigan and the Bay area
The Great Millennial Blood Pressure Problem
I'm not talking about re-educating adults. Just that we could teach nearly everyone to program if it were important, in the same way we teach nearly everyone to read and write. Kids already learn long division at school, which is an algorithm. Programming is kind of easier in a way because if you have a goal, you can fumble you way towards it until it works, but you can't really fumble your way through long division if you don't know how to do it.
Even with a great tech salary, your wealth is NOT noteworthy at the local bank.

The amount of ego in this thread is impressive!
If I had to choose between privacy of my location or the convenience of a self driving car, I’d choose the car. Every single time.

Convenience wins out over privacy for me. It’s the same for the billions that elect to use Facebook. I don’t care if Tesla’s knows I visited the supermarket.
Where Do New Ideas Come From?
Call/cc is not very composeable.
Any multiple choice exam is going to not necessarily mimic the real world, but doing exams that do is pretty tricky, and I can't think of one in the pentest world that gets it right (e.g. OSCP can't think of any time I've had a 24 hour window for a pentest, whilst sitting in a single room with no assistance and someone watching me from a webcam).

CRT has a practical element which demonstrates knowledge of tools, and the CCT bumps that up quite a bit.

On the second point, I think accusing CREST of financial shenanigans is a bit of a stretch given you think they should make more money than their public accounts show they do.
Thanks! It felt like a very long time, but yes for neuroscience it is extremely fast and was only possible because Naoshige Uchida and his lab had already done the rodent experiments around probabilistic reward delivery.

There are a lot of open questions here, so anything I could say about the brain itself would be more of a guess. That said, for our proposed model no negative probabilities are needed, as the distribution is represented by a population of estimators for different predictors of value (in the general sense).

Hope that makes sense and helps clarify.
No Google queries, but also only very limited web crawling (i.e. _only_ to fill in gaps for Reddit and HN). There are a plethora of freely available archives of web content released almost hourly, so it's possible to scan a large slice of the web without too much resource expenditure. Feel free to message me for more technical info, happy to share whatever.

Here's the Rust library I built that powers the core of my project, if it's any help: https://github.com/milesmcc/ieql

Relatedly, because I feel like my tool relies so much on open-source software and public archives, I give 10% of my service's revenue to various open source projects. Tools like these are only possible at this price point if they're built on the shoulders of giants (i.e. tons of open source software and publicly available web archives).
Yes, but "Type inference has usability problems".

http://web.eecs.utk.edu/~azh/blog/typeinference.html
...after nearly six decades at Indiana's Department of Natural Resources.

I was trying to estimate how big his pension checks will be but the online Indiana Retirement Benefit calculator only let's you put in birth dates back 100 years. =)

https://myinprsretirement.org/calculators/retirement-benefit...

Scare Headline: Indiana Retirement System Broken by Oldest Retiree.
How the ‘Y2K’ Bug Returned on Jan. 1, 2020
Your source for geographic locations of countries might be contentious especially for countries that are within multiple regions, and your developing / developed status is definitely so. I would love to see your data sources on that.
Also worth looking at:

https://www.passportindex.org/comparebyPassport.php?p1=us&fl...
Whenever I write HTML documents, I find it helpful to use the XHTML syntax. The strict XML parser catches syntax errors, incorrect nesting, unescaped characters, unquoted attributes, and more. And it supports all the tags and attributes of the HTML5 living standard, so I don't miss any modern functionality.

The standard "tag soup" HTML parser has numerous surprising behaviors on invalid or questionable HTML code. Examples:

The <p> element cannot nest, so starting a new one will end the previous one:

<p>Hello
<p>World

gets transformed to

<p>Hello</p>
<p>World</p>

Furthermore, trailing junk triggers weirdness:

<p>Hello
<p>World
</p></p>

becomes

<p>Hello</p>
<p>World</p>
<p></p>

Some elements are defined in the HTML DTD to have implicit start tags:

<table><td>abc</td></table>

yields the DOM tree of

<table><tbody><tr><td>abc</td></tr></tbody></table>

Whereas in XHTML mode, either your code is a parse error, or what you see is what you get. You can nest <p> elements in XHTML, and you can make a <table> contain <td> directly (without the <tbody> and <tr> containers).
ah ha, so it is a nice formal framework for domain-specific language creation.

I think it could be really useful to design a walk-through of how exactly it can be used as such for everyday programmers.
I have no idea whether this comment is meant sarcastically or not.
Except the U.S. does not recognize the ICC and has a law to invade the Netherlands at will, were any of its numerous war criminals ever prosecuted.
Fractional shares are synthetic, so you can't vote them. At that point the way to do it is to have an index fund with bylaws that it votes shares as the members want.
It's called a data type. Dynamic typing is not a type system at all, it's the lack of one. And no, it's not a type system because you're typing it (to any node developers out there).
First, I was indicating that this 'ability to project force' is protection, I wasn't indicating that the war in Libya was a form of protection.

Second, I don't think it's fair to say the conflicts in Europe's periphery are surreptitiously promoted by the us: the war in Crimea, Russia invasion of Georgia, conflict in Yugoslavia, 'Troubles' in Ireland etc. - these were not 'made in the USA'. Neither was the Arab Spring.
Improve keyboard shortcuts, standardization, RSI preventability
Manhattan's median annual household income is $66,739, that’s not far from the national average and below many countries in the US. It’s 1.6 million people their not all rich. A quick check found a studio at $1,325/month that’s considered affordable for one person on a 40k/year salary. Don’t forget many people don’t have cars which can be a massive savings.

And sidewalks etc, are very much infrastructure. Subway stations are generally 5 blocks apart rather than every block because people are expected to walk up to 2.5 blocks without issue. The absolute maximum distance from a residential address to a subway station is 0.8 miles that’s only a 10.5 minute walk + time waiting at crosswalks. The average is closer to 1/4 that distance. I have had longer walks from my parking garage to the office.

PS: I am saying low density makes things worse not that the largest city in the US will have short commute times. That’s never going to happen. Filling 50+ story office buildings from the surrounding area requires people moving increasing distances as the urban center gets larger. Optimally, a new office building is effectively filled by a new ring of people at the furthest edge of the city commuting in, though in practice it’s less efficient than that.
And you find it here: https://github.com/fafhrd91/actix-web (the author moved it to his personal repo)

See this comment at GitHub:
https://github.com/actix/actix-web/issues/5#issuecomment-575... — it also links to a mirror.
Looking at Tiobe, in the early 2000s Python was a lot more popular than Ruby although neither was very popular. Then RoR took off but that only made Ruby on parity with Python as Python's popularity was also growing. Or in other words, 90% of Ruby talk became about RoR while Python wasn't. If you're making a quick local program or library, would you pick the language where people only seem to do web dev or one that seems to have broader adoption?

edit: Which lines up with my recollection, Ruby was synonymous with Rails and web dev while Python wasn't type cast yet.
Show HN: Interview with the Artist - Idea for a Wordclock
How about the Iran deal? The US needs to be bullied into compliance and yet noone is up to the task.
That would be a very jarring change. Ruby class definitions are executed to define a class. There is no way to statically define a class in Ruby. This is frequently used. E.g lots of Ruby libraries add class methods that are executed during the definition of a class to mutate it during definition. This is Ruby's alternative to macros.

As such, you'd gut large parts of the language if you stopped evaluating code on require.
It’s really hard to predict. I have sat in a Tesla, have a comma ai kit, seen tons of videos of Cruise, Zoox, Waymo, Voyage Taxis.

The space is incrementally improving. Lots of new ideas.

I’m very bullish on systems that improve human driving and slowly move to more and more autonomy than “replace humans”

Anyone claiming full self driving is around the corner is prolly lying. I have no idea when it will be here. The edge cases are enormous.

But self driving on selected city routes and highways in good weather is here.

I would say Highway lane following and distance keeping is already better than human.

We aren’t great at holding monotonous focus. Machines on the other hand excel at that. We do excel at edge cases though. Marrying the two seems like a good bet.
That's my biggest problem with Ruby, where you can create a function and suddenly poof, you can use it anywhere. Like I'm writing tests and want to create a util function, so I put it in a different file and I can use that anywhere without having to be explicit with where it came from and was defined. Glad it's not just me but the IDEs as well.
I run a similar service that's currently in private beta so I might be able to provide some insight.

In short: closed platforms like Facebook are _generally_ out of reach for tools like these. (Reddit is a big exception because of its open API.)

There are a ton of social media monitoring tools on the market, and so the gap this is filling is more news and general web content (i.e. pretty much the 'searchable' web).
Awesome Idea and good execution.

I'm really interested in knowing how you did it,
plan to blog post about it ?
There's a lot more to this. E.g. there's is constant neurogenesis (new neurons being born) but most of those die before they can attach themselves. Aerobic exercise tends to improve their attachment (exact mechanism is not clear) so a lot of new brain cells find their place during sports activities.
You will still be able to see the issues in shipped, just not in slack.
I agree with your assessment and the irony with respect to this topic is a big contributor to the current state of things in places like the Rust Belt is what other's have said is not feasible; jobs moving to the people. If all that manufacturing can move to China why can't FAANG move to Toledo?
The complexity that emerges out of C++ with most/all of its features is immense to the point where it's clearly not worth the investment when there are so many alternatives out there.
Nobody should be expected to deal with a language so complex that it takes a decade or more of effort before one can say with confidence he truly understands it.

Which is why C++ is dying and those other alternatives are finding so much appeal with new generations of programmers.
Yes - when I followed up with the cop he said that the man had a right to chastise his child.

At which point I pointed out that there is reasonable chastisement and beating a cowering kid with a belt.
How many cycles of spikes in demand six months out does it take to develop a futures market that spikes six months out and makes planting what's going to feed the nation in six months profitable today?

Besides which, I don't see any danger in Americans starving. We export enormous quantities of food and many food crops are, when you get right down to it, substitutes.

I see zero reason to continue subsiding agriculture--big, small, cash crop, heirloom vegetable, dairy, or anything else. Whether through cash, subsidized insurance, water policy, protectionist measures, or anything else.

Let the chips fall where they may.
What public available web archive are you referring to? I know CommonCrawl but it's a monthly archive.
What is the data source? For visa to Russia from Norway, the app says applicant must meet in person. However, the Russian visa center in Oslo is this: “If you don’t have an opportunity to come in person to one of the Russian visa centers to apply for a visa, you can do it by mail.”

https://tass-norway.no/en/
They're the only choices that have any chance of happening. I absolutely agree we should solve not crime specifically, but the terrible lifelong personal suffering that causes it. For every violent criminal, there must be a lot of harmless damaged people. We need to fix parenting to prevent neglect, abuse and incompetence. But how can you do that without being even more authoritarian than surveillance?
I'll pay for this - but I would like a demo or something, right now I don't know how well it works or even how it works. We can definitely use this at work.
Build your Android projects inside Docker containers
My point is that various overhead and mismanagement does not mean that project goals won’t be achieved. If budget is big enough, it may be more effective to work with already existing administrative structure to get things done rather than trying to improve management and optimizing costs.
Ok, but this works just fine in Haskell. If you have a well-formed JSON string and you want to parse it as a generic value, you can parse it into the Value type. If you have a typed record (something less general than a Value) and a JSON string that has enough of the structure to be parsed into that typed record, you can parse it into that typed record. If the JSON string has extra structure/data/fields your parser didn't expect, it's fine. Your JSON parser in Haskell can ignore those extra things. Just like any dynamic language.

All of this was demonstrated in the article.
Huh, I didn't know about --full. Thanks, it does help with some of this pain.
"...but the smug coverage from U.S. media completely omits any discussion of the U.S. taking 7 years(!) to admit to a similar disaster."
If you are referring to flight 665 in 1988 you are wrong. Crash on July 3, here a reaction on july 4:
""The U.S. government deeply regrets this incident," Adm. William J. Crowe Jr., chairman of the Joint Chiefs of Staff, told a Pentagon news conference."
https://www.washingtonpost.com/wp-srv/inatl/longterm/flight8...
"Bug that grants admin rights to malware found in Maxthon, China's favorite browser"

https://www.zdnet.com/article/bug-that-grants-admin-rights-t...
Docker Hub image: https://hub.docker.com/r/soygul/android-docker
I'm sorry to say that I hope that such a product fails for lack of a market.

I dislike the idea that it is of any relevance the net worth of a person to any means. I would rather prefer to live in a world where the worth of a person is determined on the basis of his/her actions, words, and intellectual capabilities.
> I find it strange how we have cell phones and solar power and other these other wonders, and yet arguments always goes straight to slavery anytime the specter of higher labor costs comes up.

It's not "strange" at all. Either the crops are cultivated and harvested by machinery, or they're cultivated and harvested by back-breaking human labor. You can either pay those laborers subsistence peasant wages, or you can raise the price of food dramatically (which of course means that other poor people can't afford food).

Your choice, dude.

> The obvious, immediate way would be to fix the immigration laws and enforcement to allow in as much guest labor as needed.

Oh, I see. You'll import people from other countries to work as peasants. Because that's what they're good for, right?

Bah.

> than what modern science around restorative agriculture can produce.

Demonstrate that this can work at scale, without raising the price of food, and without creating or importing a new peasant class.

Until then, it's just a fantasy.
I agree the switching cost may not make sense for some teams at this stage.

Thing is, if you really want an elegant solution you need a custom client to: leverage websocket connections to slack for really fast instant messaging, assign and talk to anyone that is in slack, reactions, file sharing and other small features
To be clear, Allen never adopted Soon-Yi Previn; she was adopted by Mia Farrow and Andre Previn before Farrow & Allen got together.
At the suggestion by Dang, a year ago I posted a Show HN [0] about my wordclock side project. Since then, I've sold a few units and (more importantly) my young kids have been really inspired by the idea that THEY can make things from their own ideas.

when I show people my work, I often get a lot of questions, so I posted an interview on my blog. I hope some of the HN community finds it interesting. Please feel free to ask additional questions.

[0] https://news.ycombinator.com/item?id=18950130
Just sit and watch the trends roll in, and fizzle out. Choose your wave. (HN-driven decision-making has existed since nearly the beginning as well.)
According to ALL the scientists I've come across in my research, including ALL official statements from FEMA, the Cascadia Subduction zone M9+ earthquake would cause the greatest natural disaster and humanitarian crisis in American history. The New Yorker article is sensationalist but that doesn't mean that FEMA is wrong about the catastrophic aftermath of this earthquake - they aren't.
Ruby on Rails without a doubt. You can even take it a step further and use ActiveAdmin.
At my company they are enforced with a linting profile and commit hooks...your PR will be rejected if it is not formatted according to standards. For code structure, PR reviews will catch bad practices and when building new functionality an architecture review is required. Coding standards are not a myth.
Now I love Scheme but I would argue the exact opposite for the same reasons you listed. Scheme (Lisp, actually) is so simple and so cohesive that it feels like it was given to humanity by an advanced alien race.

Languages like Perl, on the other hand, feel right at home with the English language. There’s a deep history of all these different things from many different places that have been bolted on over the years. It’s incredible that we can say anything at all, let alone write amazing works in it.
On what editor setup you get this kind of functionality with Haskell? I mean the auto-insert of the inferred types.
This sounds like a myth, as I have never seen such a thing suggested by any expert on the subject.
CommonCrawl is monthly, but they also release several news archives daily (and the news archives contain a surprising amount of content). Plus, there are lots and lots of RSS feed archives floating around.
No - 256kbps AAC
Thank you everyone. I will try to address all concerns later today once I am back in my office.

I was really honored that all of you took interest in this project to leave your comments and thoughts.
> people who don't have money for bail are held in jail until trial, which can be for many months, or even years

Not great, but what I'm complaining about here is people who are held in jail, released (after an acquittal or just a judgment that there was no good reason to pick them up in the first place), and then billed for having the temerity to be held against their will. This is not how commercial exchanges normally work. It also isn't how criminal punishments work, since -- and I can't emphasize this enough -- there is no pretense that these people did anything wrong.
Sounds like you were looking for more of a college town vibe. Austin, Athens, Madison, etc.
The Problem: Donald Trump Has Passed into Legend
I think there’s a difference between illustrating an idea and proving a point.

When illustrating an idea, It might be sensible to use relatable examples that make the concept easier to grasp. I don’t see that an attempt to prove a point or persuade in and of itself.

I do however believe that if you disagree with the greater piece, it could be easy to pick on this kind of example to create the appearance of childishness / lack of seriousness. An easy win but not necessarily with merit.
no, sorry.
Slick. I’ll be following the project.

I’ve been tracking the Munx VR [0] app which is similar, but unable to try it out without a VR headset. They just announced desktop version support so going to give that a go soon along with this Nototo app.

[0] https://linguisticator.com/p/munxvr
This is so predictable.

1. HN commenter misses the point of the article.

2. HN commenter even misgenders the article's author.
Somebody's missing something, I guess.
You can also do these yourself. Just some sticks, rope and chainsaw needed. Throw in an outboard motor and you get a nice carousel.

https://www.sitra.fi/en/news/giant-ice-carousel-spinning-fro...
Seriously, tech has got to have some of the most inflated egos on the planet. Do people in this thread really think there aren't plenty of other people making 150-200+ outside of the major tech hubs? Do they really think they are going to be Mr. Monopoly Man because they have a 150k remote job in Des Moines?
Yes. Plans are in the works, but only after a few small issues have been fixed and a few more benefits added.