skysight-inc/HackerNews huggingface dataset:
The Show was a moderation error. It was just a submit. The list of languages got me interested, too, in whatever the author is doing. I posted it partly so people would see that list to hopefully get their own ideas. I imagine most tweaks of those languages would be of limited utility for large audiences much like most tweaks of LISP or OOP themselves. Yet, there might be some combination of features that's pretty amazing waiting to be discovered.

I mentioned what I liked in the past with what metrics I wanted optimized in the future here:

https://lobste.rs/s/hhmlfh/spry_language_inspired_by_rebol_l...

The Brute-Force Assurance concept I've described scattered in different places to get most benefits of strong verification without cost and time drawbacks of needing specialists. I [probably] got idea from a mix of VMS or CLR's mixed-language development plus SRI attempt to convert proofs to every form to use their tooling. My concept was coding in language w/ metaprogramming and Design-by-Contract that can be converted into equivalent Rust, C, SPARK, and so on. Languages with lots of push-button-style tooling for finding or proving absence of defects. They all run on the code with anything found shown to developer to see if it's in original code. Rinse repeat until nothing found. If extracting to C, one can also use CompCert or Simpl/C for certified compilation with CPU's like CHERI optionally enforcing safety/security at machine level. Similar concept on spec side where structural and temporal properties might output a bunch of stuff like Alloy, TLA+, SPIN, Why3, or whatever to run against all of it at once.

With it being a HLL w/ metaprogramming, it might allow a development cycle with quick iterations, REPL coding, whatever. At some point, each component is semi-frozen where developer starts annotating it to fire off the verification processes in the background as he or she works on the next component. Quickest analyses run first instantly reporting results so code is still fresh in mind. The app can follow gradual assurance philosophy similar to gradual typing with a mix of stuff in motion that's at least memory/concurrency/interaction-safe with dynamic checks covering what static ones can't plus things with tons of verification.

At least, that's what's been tumbling around in my head for a while on this topic. There's a few works out there right now suggesting it might be more doable now than ever before. It would take some funding, some language lawyers, and people with knowledge of implementing such tooling.
What country do you want to buy?
Governance systems beyond democracy
What are there tools that help simulate complex systems? Things like biochemical balances in the human body, economies, enzyme actions and homeostasis, environment and climate? Etc etc...? What tools are used by those in the profession?
Note that this hasn't been updated in a while. For instance Norbert Blum's attempt from 2017 (now acknowledged as mistaken) is missing.
https://youtu.be/JEpsKnWZrJ8?t=102

"Between here and the satellite, there are a very large number of nanoseconds"
> Compiling without optimizations is not recommended with Sulong. In particular, cross-language interoperability with Java or another Truffle language will not work when the bitcode is compiled without optimizations.

This is very weird. How can (lack of) optimizations possibly interfere with things like calling conventions? Whatever they're doing, it smells of fragile.
Amazon was a scary ride during the dot com inmplosion. Rode that mofo from $120 to $12.
You're suggesting that the Chinese citizens were forced to make a free choice about whether they wanted to buy opium or not?
>> enforces time limits on challenges

But there is a problem. In the past when I have worked on take home challenges which usually take 3 hours or thereabouts, I have done them in 3 sessions of 1 hour each in the evening after work:

1 hour: think about the problem in detail making some notes for scenarios, edge cases, high level API design etc
2nd hour: first rough cut working draft with some test coverage
3rd hour: polish it up with more tests, docs, a README and sending it out.

I think `takehome.io` should account for time boxing across multiple sessions, else it might be pretty much useless for working engineers who do it across time boxed sessions :-)

PS: I apologize in advance if you already have this feature, but is not so readily evident on your product home page.
We have to learn to treat all the content we post like the words we speak publicly. If it's out, it can't be taken back.
It might be a hard sell to use Vancouver as a model. It has an area which is perhaps the most public display of social decay I've ever encounted in a first-world city, principally from drug abuse.
Intresting stuff
Blockchain Artists Wanted
That's one way to short a cryptocurrency.
It might be theoretically possible, or legal, but it would be hugely controversial and would be in the courts for sure. I do not think the FCC could do it with a rule it would take an act of congress which seems pretty unlikely in the current political atmosphere. It is not clear that the federal gov could use eminent domain to force cities and counties to relinquish rights of way, perhaps, but it would be pretty unprecedented in peace time as you point out.

Interestingly, the former bell system was nationalized for a brief period in 1918 and run by the post office (an arrangement that some European countries have today) https://en.wikipedia.org/wiki/History_of_AT%26T
But it did not last and was a complete disaster. I am sure a redux of that would end in tears.

In the early 1980's the Bell System had something called ISDN which purported to be something like what we call the internet today. They had a plan to roll it out (64Kbps !) nationally over a 20 year time frame. Had not AT&T been broken up in 1984 I posit that the internet we know today would have never emerged, it was free enterprise and entrepreneurship that made it happen.
Sources for this would be very helpful. Always interested in alternative viewpoints!
personal robots.txt style disallow rules that platforms can choose to honor?
I basically pay for Netflix and still download Marvel show episodes from our famous sailor-themed website. Why? Because Netflix won't let me watch the show offline and I want to watch uninterrupted during my long commute.
> 1. We always commit to the master branch where automated unit tests use to run. We threw out all of our unit tests because of some design mistakes that I made as the first time Dev lead. We were too dependent on brittle Mock based tests when we should have used a more functional (no dependency/ no side effect business classes), based approached we started using.

Can you elaborate a bit further? I'm trying to make my design/test suite more robust at the moment and it would be good to hear from others who have been through the same process.
> in the U.S. people would completely panic if the Govt had a extensive registry with everyone's info

Not in the same vein as google having my internet based data, but the us govt very clearly and publicly has many such extensive registries that are widely known and relied on parts of the country's basic infrastructure.
Sexual orientation and cognitive ability: A multivariate meta-analytic follow-up
> Slack is a reflection of our short attention spans. No one wants to read long emails.

Speak for yourself. I don't have a short attention span, at the job I just left everyone on my team was more than capable of reading and writing longer form communication.

We also posted '@here nachos' in #what-is-for-lunch. That didn't stop us from getting work done, nor did it have anything to do with our attention spans.
> Amazon has a more-limited library, but it was able to get download support

Also, when you download on prime video, it gives you proper high quality 1080p content. Netflix seems to top out at 480p! The quality is utter shit.
Synchronous vs. Asynchronous Ping Sweep in C# Windows Form
As someone with no stake in this, I would rather have all of that decay in one place I can avoid rather than strewn about my city.
Buying a Snowboard in India and Becoming a Pro in Under 30,000 Rupees
^ This is one person's opinion that reflects their own experience.

I am a 35 year old who has done development, and may do it again in the future. I have kept my skillset updated by taking several AI courses during a sabbatical.

If you are competing against a group that competes for roles that select for what you think is silly, you'll never win. This does not describe most startups; it may be an indicator of bad startups.

There is age discrimination, for sure. In the startup cohort study of the future, I am quite confident those exhibiting this discrimination will not be on the successful side.

Younger devs focus on their skills. Older devs focus on the value they bring to the company. Companies that focus on the latter will do better.

YMMV, we live in a probabilistic world.
> And when that happens, trying to patiently pull a "well, technically" and explain to them about RFC this and the specs say that is a way to lose users.

Not in my experience. Showing compassion and agreeing with them that what happened is terrible and you wish things were different but you didn't call these shots back in the days and if they want improvement you can both go together and complain to google, the service which is actually broken.

Most people just want to be listened to. If you can do that, you'll earn a loyal fan, even if you don't do exactly what they tell you to when agitated. Some will even appreciate learning more about the email systems after the fact. They may even get the feeling you went above and beyond by offering to help them with matters outside of your site.
I don’t think there’s any excuse why someone wouldn’t have something to show that they’ve built on their own. If they have nothing and no past experience I don’t know why’d they’d even make it to an interview.
That sounds like an incredibly broad domain of tools.
Hell yeah, even better a 55 inch 4K curved TV as a monitor.
I guess simulations are commonly just large number crunching machines based on the matrix-algebra, but for example fluid-simulations can gain quite a lot of power from algorithms that divide the space into sub-cells and focusing on areas with more detail.
I miss not having team chat. People figured stuff out and felt it was important enough to document... failing that they got up and walked over. This was 2003ish.

Now I end up either being drained by lack-of-effort questions all day on chat, or being reprinanded for not being available on chat. I never progress in my career, and in my mind there's an obvious correlation. I am talented and have one point of focus, which is a good point of attack for aspiring colleagues (effectively competitors, sadly). I can get better at saying no, but it doesn't fly well as most senior member most of the time because I'm called a "blocker".
Daylight Saving Time isn’t worth it, European Parliament members say
Wow, so sorry to hear this! This seems to test nothing other than what your interpretation of "clever" is. I've definitely learned that it never hurts to ask questions in these situations.
It makes nothing but sense - Mobile Payment
Does Google publish books under their own imprint on Play Bookstore?
Akin to Apple, which has a wide selection of their own imprint on iBooks.
In Facebook I can go to Settings > General to find an option to create a username. Been like this for as long as I can remember.
I've actually not signed up for services at all because the couple username variants I tried were already registered.

I was also recently annoyed at being forced to switch to a new system for my credit card, and it's a unified system with all their other cards and banking customers, and still uses "username" (instead of email) as a login, so of course my name was taken. I decided to just append some random characters, and then realized I could just generate my entire username and have been doing that since, when I don't care about identifying myself to others. My password manger saves it, so it really doesn't matter to me.
For PHP, see the Spoofchecker class for similar functionality to the Python class discussed in the article.

http://php.net/manual/en/class.spoofchecker.php
The individuals who are using these drugs already use them openly in the street. I see them daily on my way to work as I work in a popular area for vagrants/homeless.

If it prevents me from stepping on needles and seeing blood from people shooting up on the street, I am all for it. These individuals will use one way or another if they want to so giving them a place to do it safely off the street seems acceptable.

Of course, the ideal solution will be to eliminate heroin and other hard drug use but this is a start.
The Moral Duty to Explore Space (1): The Positive Case
I suppose the tradeoff here is when you get two non-Gmail users, johndoe and john.doe, who are legitimately different people, one of whom gets very confused and is actually unable to use their correct address.

On the one hand, that's a (presumably extremely) rare corner case - on the other hand, some applications must handle those corner cases.
But realistically that does nothing to solve the problem. We could just designate SF the safe injection site for the USA and the problem would be out of view for the rest of the population.
We are using VWO now! :D
There are a lot of cases regarding Qualcomm's licensing scheme, but the 'fighting qualcomm' came first.

In 2015, the Korean FTC launched an antitrust suit against Qualcomm & Apple testified in it.

Qualcomm said that Apple mislead & withheld information from the KFTC. They've also stated that this breeches the terms of their licensing agreement, and Qualcomm hasn't given Apple any rebates since.

Apple disagrees, and in January 2016, they sued Qualcomm over it. Put simply, their argument was that they were owed all the withheld rebates, because they hadn't broken Qualcomm's terms. The anti-trust implications of the license were mentioned, but weren't really the point.

The broader anti-trust suit in the US was brought by the FTC just a couple of days prior, so a lot of news blended the two together. Apple, provided information in the FTC's case, and Qualcomm has sued Apple over that too.
It's not my experience, it's my observations on people that graduated MIT and similar top schools, created awesome things and got the boot from companies they built without any remorse from management that sensed more money to them. At 35 you are likely at the peak of your abilities and just starting decline in your employability. Try to apply to some companies online for the fun of it (e.g. practice current crop of interviews) and report back on how many want to talk to you and how many want to give you more $ than you are earning right now.
So every finite group is isomorphic to a subgroup of a N dimensional simplex? And then we should build our intuition about these groups via a geometric visualization? These are not rhetorical questions, I'm currently learning abstract algebra and trying to understand.
the best way is to err on the side of allowing a single email inbox to create multiple accounts.

Who cares if they do? It's not like that person couldn't create multiple email addresses anyway. E.g. abc@gmail.com and def@gmail.com can be the same person. You can't validate for that, other than other "gamification" systems (e.g. how HN treats new users - disincentivizes creating multiple accounts because why be limited on your second one when you have a good first one).

by the way I have used the + trick on google to sign up for a service (and pay for it!) that wouldn't let me reuse my old account for some reason. So their relaxed validation made them money.
This isn't a sustainable solution to that problem. In Vancouver, rapid gentrification is simply pushing these people around once again anyway. We need long term solutions. Social nets which work to help these people get back on track, prevent people from getting on that track, and soften the blow of hitting rock bottom. I have a strong sense that supporting mental health issues more effectively is at the heart of this.
I had a Meltdown ;-) after an exactly similar process. Hmm, what company was that?
Just going by the first section, I can anticipate a problem here. The last paragraph of the first section suggests that the problem of finding a Hamilton cycle is not in P because some cycles are maximal solutions without being a maximum solution. However, the same could be said of the problem of finding a maximum matching -- a maximal matching need not be a maximum matching -- and yet that problem is in P.

I haven't yet checked the formal conditions to see whether they'll apply to the matching problems, but I bet they will. (The fact that the paper contains no instances of the word "matching", meaning it never explains why this condition doesn't apply to the matching problem even though it looks like it should, is not encouraging.) If so this proof cannot be correct.
> And for what? To make it easier to hand-type a URL? Does anyone even do that?

This dilutes your otherwise excellent point. URLs are great when done right and lots of people prefer them to the sites search functionality. But that is entirely orthogonal to identities, which barely ever need to show up in a URL. (Unless treated as permanent and uniquely attached to physical people, which we agree they should not.)
I thought the first of these sites in the US were going to be in Seattle? Seems like San Francisco is closer now.

https://www.seattletimes.com/seattle-news/crime/seattle-king...
Then maybe communicate that salary amount to the candidate before so they can also decide if it is worth their time or not.
Completely agree. If somebody wants to signup for your service as ceo@company.com and ceo+sales@company.com let them. Two distinct user accounts.
Last I checked, Slack actually does have threaded conversations. I'm not sure why the article claims that it doesn't.
Dear sir. I enjoyed your free trial. May I have+1 another?
Doesn't Slack support at least one 'level' of replies? I've come back to busy channels to find replies/discussion in the right pane to earlier messages.
4chan and other imageboards manage to have discussion fine without unique identifiers.
I remember you can even use QR code to pay when shopping online. It is a great one since I never need to type my credit card information again and again...
This electronic skin can heal itself – and then make more skin
> Well, it’s easy until we start thinking about case. If you’re registered as john_doe, what happens if I register as JOHN_DOE?

For most applications you are better off with making everything NOT case sensitive.

That's why SunSed language is completely case insensitive -- from variable names, tags (functions) to all string comparations. Users should not worry about case!
PuppetTest: An experiment in procedural dance animation
What Global Challenges Will We Solve with Exascale Supercomputers?
How many programmers have you hired using this method? How many have you fired?
“it’s like having an old man pee on your face one trickle at a time. I’d rather have it over with quickly and go wash up.”

I think we’ve all been there.
This is a little silly. If you’re “really good” you may be talking about signing on for a 4-5 expected commitment at $1M+ Total compensation over the course of your tenure. Million dollar contracts require due diligence. 4-5 man days between both companies is totally reasonable.

If you’re interviewing with 7 (!) companies at a time, maybe be a little more discerning about where you’re trying to work. Everybody wins if you’re specific on that point.
In days gone by, heroin addicts knew how much heroin they needed to 'stay well'.

A major factor in the escalation of deaths in the modern era is the contamination of the street pharmacy's heroin supply with more potent synthetic opioids (fentanyl, etc).

Overdoses happen when street drugs are more potent than the user expects, or when the user's tolerance has changed. Two factors in my girlfriend's OD were having been sober for 5 months and having been made addicted to clonazepam (a benzodiazepine that increases the potency of opiates - she'd only wanted this 'as needed', but the professionals at the hospitalization preceeding her OD thought she needed to take the full dose every day). That batch of heroin could also have been contaminated...

A clean supply of heroin would be quite helpful in preventing people from killing themselves while self-medicating. Until the politicians find courage to acknowledge that it was a mistake to trust organized crime to control the supply of addictive substances, at least 'safe injection sites' is an intervention that can actually prevent people from causing their own premature expiration.
Automatic Speaker Recognition with recognition rate of 100%(2005) [pdf]
Best Business ISPs in the Midwestern United States
Big Clive?
> every site should just have numbers as unique identifiers

Do you realize how impractical it is for users to remember these numbers for every site? Until we get to the stage where every non-English-speaking user and their grandma finds a password manager convenient, this proposal won't even pass the laugh test.
This is how I do it, as a Director dn hiring manager. 4 hours max, and the exercise is entirely freeform against a set of 10 typical requirements; as a Front End Engineer candidate for my team, I want to see your opinion and execution matched to the problem at hand.

It can be done in 2 hours in the most simplistic, undeliberated way using legacy practices, but 8 if you're a perfectionist. Come in somewhere in the middle, but stop at 4 hours no matter where you're at.

I don't even require that the exercise is completed, but I want you to speak to your thought process and where you went/were going when you hit the 4 hour mark. The ability to understand our space, make good decisions, and show progress toward executing on them is ultimately what matters in the end.
Yeah this is basically the gist of it. In the heat of moment, at the apex of a moral dilemma, it is likely that your body will have a lot of things operating upon it, and a large cognitive load to track just to keep tabs on the environment.

If you mix in the obligation to make an important moral decision, especially one that sacrifices evolutionary benefit for abstract social benefit like "I will not engage in a violent reaction when I feel offended" or "I will not copulate with this apparently willing and attractive potential sexual partner", well, we could say that it's likely that /usr/bin/moral_override will time out and your body will default to the path of least resistance for itself in that moment.

Thus, rehearsing for good outcomes in high-pressure situations is like tuning a configuration file to ensure reasonable behavior in known potential failure modes. You can hope that you won't hit the failure modes described (or you can plan ahead, knowing you eventually will, which is the better option), but you want to make sure that your system will behave appropriately when those modes are encountered. Leaving the behavior undefined or trusting the defaults is too risky for anything important.
I get the author’s frustration - especially with slack’s search features. But I think it’s possible to use slack as a tool for transient conversation and notifications. We routinely copy/paste slack chats in other tools (asana, docs, code comments) when we feel it’s something worth saving.
It does require discipline with tools usage though...
All of these problems are consequences of underfunding.