skysight-inc/HackerNews huggingface dataset:
You've got a statically compiled, fully contained executable. Why would you need to wrap that in the overhead of a container?
As was already mentioned in another reply, what you are describing are refinement types. A refinement type system actually exists for Haskell: it’s called LiquidHaskell,[1] and though I have not used it for anything serious, it seems to work well for certain kinds of problems.

The main challenge of refinement types is that arbitrary properties are very difficult to check in general. (If that weren’t the case, software verification would be easy!) I wrote about this at length in my previous blog post,[2] and Hillel Wayne wrote about it earlier this year from another perspective.[3]

[1]: https://ucsd-progsys.github.io/liquidhaskell-blog/

[2]: https://lexi-lambda.github.io/blog/2020/08/13/types-as-axiom...

[3]: https://www.hillelwayne.com/post/constructive/
Gnome 2 was nice, but it also lacked serious usability features that were present elsewhere. Windows exposé (overview), a global menu, and window tiling/snapping were just a few.

They could have continued to extend the desktop with these features, but chose to reevaluate the desktop instead. Part of the reevaluation was GTK 3, and part of it was CSS for Shell, I think. I agree it could have been better. I don't agree that the rich choice between DEs (and richness within each) is worse today than it was 15 years ago.
Consider rock musicians. Suppose there were two concerts, one playing a Beatles song with the Beatles performing it (yes I know two of them are gone). Another venue is playing the same songs, just as well, but by a cover band.

Which concert is going to make boatloads of money, and which will barely be able to pay the electric bill? Copyright has nothing to do with it.
Ytmdl – Download mp3 songs with metadata from sources like iTunes, gaana etc.
Download songs in high quality along with metadata from various sources like itnues, gaana, saavn etc.
> borrowing from the functional programming paradigm to gain better control over state and corresponding UI behaviors

That's an exercise in futility. If you are rendering read-only screens than you can use pure functions to render the screen. But if you need interactivity then attempting to add interactivity while using pure functions is counter-productive.
If it gets out then by definition it's a failure.
This might be more helpful: https://www.lynx.com/embedded-systems-learning-center/what-i...
>But then the family, wife, kids didn't really directly participate in the crime so how and when to punish them?

Pretty sure being the recipient or beneficiary to stolen or embezzled funds makes them an accomplice.
Removed from the last C Standard. It was recognized as a mistake.
They also lose a ton of it =)
The Energy Transition: How Fast?
> So why not do debt financing?

If you do debt financing, does that look unattractive to future VC rounds?

Have any successful startups done primarily debt financing?
Scottish Video Games Industry Grows by 17 per Cent
Everyone has their set of formative games. Mine would probably include:

- Civilization (the original). I can literally remember waking up at noon and just starting to play the game and then looking up and it was dark outside;

- Zork

- Prince of Persia (the original); and

- ... Bandit Kings of Ancient China

I literally had 20+ hour playing sessions of BKoAC. Like I even played this multiplayer (hot chair). I can remember getting to the point where me and my friend had split the map pretty much and he decided to attack me. I basically held a defensive line along a river and used magic to break the offensive line. It was one of my earlier experience with tactics.

I have such fond memories of that game.
Ah, I missed that part. No, LD_PRELOAD isn't going to be able to overwrite statically linked functions
The law wasn't stretched. From reading the DMCA and the fact that youtude-dl had examples of how to download copyrighted videos it seems that a DMCA was valid.

I still think it is bullshit (and so is DMCA) but that is how the law is written.
Which break on tons of sites because they simple can't render them and never will. That bloat isn't really bloat because it is necessary to handle what modern users want it to handle. Browsers aren't going to probably ever "diet" again. They'll only remove insecure features.
I wish I had something more elegant to say, something more relatable than: time.

...And it's not recommended to make large decisions without waiting a few days during these times of turmoil, to avoid rash or overly emotional actions.
That's a common strategy in the West. Basecamp basically did that, and Slack was a parallel project while developing something else.

One Michigan company was doing CRUD apps on contract, wrote a nice code generator, then swiched over to using the code generator internally (not for sale) to scale up to state government contracts.

In Asia (China, Indonesia), it's common for unfunded startups to start an internet cafe for revenue/office space, then once that's operating do product or contract software development.

(Internet cafes require constant staffing, so any "profit" is mostly paid out in salaries to the owners and family.)
It's a mix.

There is a pie that is growing slowly. And more rapidly, the exiting pie were reallocated.

And the reallocation is more prominent because the growth is not as big as before.
Yeah. I feel a lot like this too. I left my most recent job in May and don’t have plans to return to tech anytime soon. To fill my time and to try to do something actually useful, I decided to start writing about learning more and thinking better.
Agreed about it being marketing, I should have said something like purported mission.
This is an exceptionally bad article, packed to the brim with unambiguous falsehoods.

It is very unlikely that the computed gotos make the parser faster than using standard features of a more powerful language.
The surprising psychology behind being rich
The reason the Wikipedia article is so confusing is that it has to explain Greenwald's and Snowden's explanation of XKEYSCORE, which was wrong.
This whole premise falls apart when you understand there is nothing universal about political decisions.

Politics is deciding who gets what, that’s it. A poor person and a rich person can have equal understanding of the election and (rationally) vote for opposing candidates, because they have different goals. It’s nice to think of a fantasy world where we all have the same vision for what “better for the world” means but it’s just that, a fantasy.
Most "failed" pilots don't demonstrate that an approach is fundamentally and irredeemably flawed, which could be an interesting paper.

Instead, they demonstrate that doing something this specific way is too much of a hassle, too unreliable, or too expensive to answer a particular question in a particular context: skills, budget, timeline, resources, alternative ideas, etc.

I don't see how you could write pilot results up ("Trust me, I'm usually pretty good at these sorts of things but this didn't work well"?). Meanwhile, disentangling these factors in a rigorous, generalizable way would turn it into an entirely different project.
“Someone mentioned” and “someone else mentioned” what do you mean edgy?
I would love to see an old version of Microsoft Office on a Pi
It was a group chat, I guess you didn’t read?
I believe this is what he is referring to
https://github.com/lunixbochs/wine
https://github.com/lunixbochs/wine
Radical Quantification
I did work on similarly sized contracts but I was at the time a CTO and had like team of 30 on that project under my supervision.

Everything fell into places. But that was after few month long and expensive exploration phase that along qualified for decent contract.

After I went on my own I handle smaller contracts that are easier to eyeball. Well small is relative as in one case licensing fees alone over a period of time went well into 7 figure territory. But yeah I no longer had to direct 30 people and did not have 20 persons on a client side bugging me every day and being under constant stress ;)
Because thats how people use go applications in docker swarm, K8s etc??
Copyright is mostly a monopoly situation. I (and probably most others) are OK with Trademark use as a form of consumer protection.

Automatic copyright for some reasonable time, say 10 years, could be automatic and free. Renewals past that time (E.G. in 10 year blocks) should be exponentially more costly.
Imagine if a drug company ran a study 100 times before finding a "significant" result that supported the claims they wanted to make about their product. Without the other 99 studies, the single study is highly misleading.
But that fact does not get us any further towards figuring out who is wrong. It merely tells us that people disagree.
Thanks. It's actually a pretty chill job most of the time
I've found https://github.com/lunixbochs/wine with a google.
I doubt that's because Windows wants you to use it more. It's the freaking OS! I think it has more to do with UWP and the Settings app itself. On the (slight) plus side, they have improved their search so much over Windows 7.
Interesting, how long did it take to build the engine?
That's almost what Google Scholar is. It captures nearly all journal articles (especially in English).
Exit Interview
I'm not sure if it's intentional or incompetence but here's an example from Firefox: Count the number of actions it takes to delete specific cookies (say all matching "google", which I do every time I log into YouTube so it won't log me into Search etc.)

Firefox's UI is just appalling in a number of ways.
That's cool, how did you get people to submit their products to your site?
Herman Cain sucks.
I said “ruthless”, not “evil”. There is a difference.

Individuals like Jay Gould crossed the lines to get his way (attempted kidnapping? bribery?).

While others Russell Sage never gave his money for philanthropy (in his case, it was his second wife after he died).

Likewise, John Osgood’s life was all about trying to make more money before he croaked.

George Pullman, who controlled his own town and controlled the postal mail, prevented mail for his town from getting the through (it built up to rioting and striking).

In fact virtually all were against unionization, though they took different approaches to head it off. And it took the Federal government to trust bust and create a genuine middle class.

The details are what makes one scrupulous or not.

More disturbingly, many of their ideas and approaches will be familiar today.
That's positively the worst UX for logging in I've seen. Having to connect switch between apps and waiting for/fishing out the login email over 3-5 folders is so painful. And oh yeah - doesn't work in Incognito/non-default browser because the email app always opens the default browser in full cognito mode!
On iOS when I was turning off notifications from this one app, the system asked if I only wanted to turn off marketing notifications, and I did. That was a nice middle ground.
Debt tends to be hard for super new companies, even with orders in hand. If you are developing a new product and don't have cash up front, there's a good chance you never deliver, and both lenders and potential customers know that. Also looks unattractive in future VC rounds, but in this case probably secondary to my first point.
Yeah this handles a lot of the complexity of setting up a complete project with TypeScript and has some nice examples. Try it out and let me know how it went ;)
There might be an expectation by smartphone users that vehicle displays look like their phone.

In the aviation world, owners are spending $50,000 upgrading their trainer Cessnas and Pipers to do exactly that.

I'm still good with a paper sectional chart.
In principle, Rust could get faster if optimizers took advantage of latitude enabled by stronger semantic guarantees.

In practice, turning on such optimizations introduces debilitating bugs, because the optimizations are poorly exercised by other languages, and Rust core developers are fully occupied with other problems.

O(n) is the starting point of optimization. Improvement by factors of two or ten are commonplace, relying on details of how modern machines are implemented, and often lately by farming work out to multiple cores or to GPU cores.

Speed of the code is getting increasingly important as memory and storage sizes grow while clock speed stubbornly does not. Until Dennard scaling died, code got faster just by waiting. Now, making code faster takes work.
But maybe analyzing all cases is not needed if we know (or postulate) something about the predicates? E.g. we can prove (or just assume since the case is simple) that construction of Norm3 is defined for any triple except (0, 0, 0), and that it is preserved under rotation and under reflection, but guaranteed to be broken under addition.

I suspect that if we factor out such basics, the amount of proof for a reasonable function may become manageable.
Alot of these games have been rebooted by various startups as mobile and web games with in app purchases and weird business models like "pay to win".

You could just grab an emulator and run the original and get everything for free.
> build a machine that can bring the joy of hologram-based communication to the masses.

I sincerely hope Techchrunch is being paid a lot of cash to be this bad at journalism.
It looks like this fails on initialisms. For example, it counts this as three sentences:

>The agency responsible for it, the U.S. Bureau of Reclamation, would build the highest and largest dams in the world on rivers few believed could be controlled.
You posted a sane question to NH so I have faith in you :)

Endeavor to keep yourself busy and therefore distracted. Time will do the rest.

Once the initial intense emotions fade, you'll be able to reflect and move on, but getting there is key. If you dwell on your current emotions, it'll be tougher to move forward.
And both Clinton and Biden are very conservative candidates, by any reasonable standard.
Doubt it's worse than what we see happening to the likes of JK Rowling. It's cool to be trans on Twitter, and I'm not being flippant. Trans are basically ascendent. e.g. Meghan Murphy's suspension from Twitter after tweeting the widely held view of "Men aren't women".

You'd have to give some examples of suspensions in the other direction to help me understand.
You can throw in debugging statements (`debugger;`) when some hook doesn't seem to be hitting a breakpoint. Stops things just fine.
I usually explain it as being similar to the differences in languages across Europe. If you take portuguese at one end and russian at the other and start tracing across countries, you'll notice certain similarities and patterns but also encounter a lot of unique character especially in some areas.
Spanish and portuguese people might be able to understand a little of each other like tamil and malayalam speakers and so on.
A friend had a problem with EndNote on Mac. Although there are probably better tools, it's standard for their lab so they have to use it.

EndNote, on her machine, was just absurdly slow. Operations like editing a single reference would beachball for 30-60 seconds. She has a moderately-sized library - about 1000 references - but nothing that should be causing a modern MacBook to slow down that much. So I took a look. Happily, on a Mac, you can use spindump to automatically take a sample-based profile of any process, and you can even do it from Activity Monitor. Endnote had their symbols partially stripped - but the Objective-C functions weren't stripped, so I got to see that somewhere in the call chain was a "recalculateColumnWidths" function. That was apparently getting called on practically every operation with the library.

I got out Ghidra, traced the caller of that function, and `nop`ped the call site out. Problem fixed - no more random slowdowns, no more beachballs. Resizing the columns manually worked too - I never really saw any cases where the columns seemed out of whack.

If I had to guess, she probably had some reference with some unusual characters in it that was causing Endnote to think it needed to resize all the columns. I never quite figured that part out - but that would have been another way to solve the problem (e.g. by bisecting her library to find the offender(s)).
The Busy Beaver Frontier – Humanity's quest against the uncomputable
You're not entirely wrong, but in the context of the specific example given (malloc), it's about as implicit as c++'s auto keyword, it just obscures type information on the right side instead of the left side of the assignment from the programmer.

I would also argue that there's a hard to quantify harm in making code more verbose. More visual noise makes it harder to parse what's going on. Sure, one redundant cast isn't going to kill you. But many sources of repetition across an entire code base eventually turn it into a slog where the parts you want are obscured by useless noise.
I think that conservative means "in support of a (certain kind of) status quo" in this case, rather than the American line-up of hot-button culture war issues. The upper middle-class wants stability, whatever it is, because of the structure of their income stream. That's why upper middle class people are basically centrists and don't want to rock the boat too much: they're doing very well in the boat, and rocking it will have them taking on water. Other folks have much less to lose (which we should all remember over the next month).
`struct stat` and `struct stat64` differ in size - so no, this would not be possible. Using `stat64` in place of `stat` would cause a buffer overflow (not to mention screwing up structure offsets).
Maybe you'll find it one day in the winamp skin museum: https://skins.webamp.org/
Sorry but Twitter is not legally obligated to be your platform for transphobic hate speech.
https://www.wired.com/story/inside-the-nsas-secret-tool-for-...

> Even by that account, the scale of collection brought to mind an evocative phrase from legal scholar Paul Ohm. Any information in sufficient volume, he wrote, amounted to a “database of ruin.” It held personal secrets that “if revealed, would cause more than embarrassment or shame; it would lead to serious, concrete, devastating harm.” Nearly anyone in the developed world, he wrote, “can be linked to at least one fact in a computer database that an adversary could use for blackmail, discrimination, harassment, or financial or identity theft.” Revelations of “past conduct, health, or family shame,” for example, could cost a person their marriage, career, legal residence, or physical safety.

> Mere creation of such a database, especially in secret, profoundly changed the balance of power between government and governed. This was the Dark Mirror embodied, one side of the glass transparent and the other blacked out. If the power implications do not seem convincing, try inverting the relationship in your mind: What if a small group of citizens had secret access to the telephone logs and social networks of government officials? How might that privileged knowledge affect their power to shape events? How might their interactions change if they possessed the means to humiliate and destroy the careers of the persons in power? Capability matters, always, regardless of whether it is used. An unfired gun is no less lethal before it is drawn. And in fact, in history, capabilities do not go unused in the long term. Chekhov’s famous admonition to playwrights is apt not only in drama, but in the lived experience of humankind. The gun on display in the first act—nuclear warheads, weaponized disease, Orwellian cameras tracking faces on every street—must be fired in the last. The latent power of new inventions, no matter how repellent at first, does not lie forever dormant in government armories.

take a look at the history of the behavior of intelligence services through the 20th century and ask yourself how comfortable you are with this power being wielded by anybody.
Full disclosure, Anita is a lab mate.

One of the things that is latent in this article is that in the US you are supposed to have done a power analysis in order to justify the number of animals you are using in your study. Almost no one does this, and it is not surprising -- if you are doing cutting edge research you are in unknown unknown territory and any power analysis is likely to be no better than a guess. In a sense it is farcical that exploratory research needs to pretend that it is always successful.

Countless animal experiments are uninterpretable simply because they were poorly executed by first year graduate students. There is no other way to learn. Write them off as animals used for training if we want full accounting, but researchers' time is scarce enough as it is so asking them to publish uninterpretable results is a non-starter.

On the other hand I think it is important to publish as many results as possible to avoid file draw effects etc. Data publishing might be one way around this, but at the moment few labs anywhere in any field have the know-how to publish raw data for negative results, even if it is just sticking files in a git repo and getting a DOI from zenodo.
> Who doesn't see Yahoo as "everything with that name is guaranteed garbage"?

Outside of tech I think there are plenty of people. Several of my friends have Yahoo as their primary e-mail. In 2020. Not just as their e-mail provider, but also use the official client app with ads masquerading as e-mails at the top of the inbox.

I wouldn't be surprised of this was fairly popular with certain categories of people, especially if pushed by Verizon in their stores to people who don't know better.
The last few years have given me an unexpected empathy for folks like Herman Cain. At some point, I became an old Asian guy with old Asian guy values that the second generation Asians and young kids don’t necessarily agree with. And I quickly realized that one of the downsides about being a minority is that it’s very hard to have a social debate within a minority group without it getting subsumed into larger political debates occurring among the majority. A handful of young, progressive Asians get massively amplified by young progressive running outfits like the Atlantic. The Atlantic isn’t exactly reaching out to me, much less my parents, to ask them “hey, what do you think of the idea that assimilation is racist?” (They’d say that’s absurd, and I’d agree, but nobody asks us.) It was very jarring for me to realize how much power young white progressives had to communicate to the next generation what Asian identity and values mean.

I wonder if Herman Cain ever felt this way. There’s plenty of Black conservatives (regardless of what party they vote for). But you hardly see those views represented in media.

I think this dynamic can even drown out the majority view within a minority group. My dad—a Democrat and immigrant from a Muslim country—was commenting that he was annoyed how the media made Ilhan Omar ‘the face of Islam’ in America given how “extreme” her views are. For obvious reasons, most Muslim Americans are actually squarely in the conservative wing of the Democratic Party, and indeed a majority voted for George W. Bush back in 2000. But you’d never know that by the media coverage. Both the right and the left have decided—for the same reason—that Omar is the archetype of Muslims in America.
Try Musicbee, its "just works" no need for complex setup or plugins.

https://getmusicbee.com/