jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
Not from any specific person, but the idea that you have to step outside your comfort zone and do X and Y even though it doesn't come naturally to you.

I've been reading some of the arguments and counterarguments. It seems like a lot of assumptions are being made on both sides. I raised two special needs kids and found that you can help someone grow into doing things they could not before without forcing them to step outside their comfort zone. I now have a job and I find that similar principles work with "normal" adults who need to do something new and aren't sure what they are supposed to be doing.

At home with my oldest son, I had him watch me cook while I explained. Later, he began assisting -- getting out ingredients I needed, stirring things, etc. but only doing what he felt comfortable with. He gradually took over more parts of it as he became comfortable. He now does most of the cooking. At work, I have volunteered to walk someone to where they need to go for a special procedure and show them whom they needed to speak with. One young woman was very shy, so I did intros and did the initial talking until she was more comfortable with this new person. Just walking a new person through the procedure the first time really took the pressure off. It's a big building and everything looks alike and it's easy to get lost, plus my job has a lot of time pressure which adds to the psychological stress because getting lost and wandering around costs you time.

If you don't have someone that can help walk you through something (or some other means to ramp up comfortably), it may be best to take some personal risks. But it is absolutely possible to grow as a person without doing stuff that makes you feel all stressed primarily because it is extremely unfamiliar. Some things may require taking a leap of faith but many things that are routinely handled that way do not inherently require that approach. (I could argue that Y-combinator does something similar to what I am suggesting here: They take you under their wing, introduce you to a lot of folks who already have experience founding a company, help you work out the kinks, etc. so you don't have to simply sink or swim/figure it out all on your own/grow from being burned so much.)
What is with the @-replies recently? On mailing lists, here… use the reply link.
The pure version of this idea has failed repeatedly for more than 50 years — noone ever writes their code in M-expressions :)

A debased version of the idea found success in Haskell, where the language syntax is defined as desugaring transformations towards a core calculus, but the internal representation is implementation-specific, and since the syntax was decided up front nobody got invested in writing code in a plain System F.

A novel take on the idea is implemented wholeheartedly in Google's Go, where there's a utility based on the compiler called gofmt that reserializes the AST. They use it not only for style issues, but also to update the entire standard library to reflect syntax changes.
Gitbox is better because it is a pleasure to use. There are tons of little details which matter in a daily work. For instance, when you switch a branch and try to commit to it, the branch name will be highlighted to remind you that the branch was switched since last commit. If you forgot to switch back, you just cancel the prompt. This little thing instantly eliminates 50% of use cases for "git reset --hard" or "git cherry pick" and makes you happier.
Also, Gitbox fetches remote commits automatically so see that you have to pull something: this eliminates unnecessary merge commits.
More than you want to read about this:

http://languagelog.ldc.upenn.edu/nll/?cat=27
Could you please also run this benchmark compiled with Cython?
Thanks,
I'm not aware of any personality theory that psychologists agree on, each school has its own theories. I find the temperaments derived from MBTI to be very convincing.
I've been trying hard to use GitBox for the last 2 month (beta version), but the lack of a quick view for commits makes me always revert back to GitX.

With GitX, I can easily cycle through all the files and see a quick summary of what was changed. With GitBox, I have to double click on every single file to get the diff. Either that, or just blind commit files. Not good options.

GitBox has the best push/pull functionality of any git client so far. But its crappy commit panel is really holds it back.
I suggest you change the name of you app.

This seems like a legitimate company and not a trademark farmer [1] with a video conference/messaging app with the name MONKEY and the corresponding valid trademark.

And what does the company being Chinese have anything to do with anything?

Also not a 'shell' company. A quick Baidu tells me the company is called 北京拉克沙网络科技有限公司 with a registered capital of 35,000,000 Yuan.

[1] https://trademarks.justia.com/owners/beijing-lakesha-network...
I can guess which video it is, and perhaps there is some truth to it, but it's quite one-dimensional, and taking it at face value is like buying into the stereotypes overweight nerd with Cheetos stains image of sysadmin or inept socially challenged software developer.

This lifestyle is incredible and life-changing, and shouldn't be discounted by anyone who's looking for a change.
I think this highlights how ridiculous it is to expect Facebook to enforce laws. For a given plot of land in the Amazon, how is Facebook going to know the title history of that land. If you have ever paid a title company in the US for a search you know that process takes weeks and theres a much better paper trail here then for some little plot the heart of the Amazon.

I'm guessing FB doesn't care either way and would be happy to comply to remove a listing once a Brazilian court determines that a sale is illegal but we don't want Facebook being a defacto Brazilian court.
The funniest part is that he compares it to bc.
I work in this space as a Product Owner for a blockchain team at Ultra.io. I think that I can speak to some of the questions and concerns in this thread with some authority.

NFTs as they are being used today, as proof of ownership over a copy able, digital asset, is frankly the lowest hanging fruit. It isn't a very robust or interesting use of the technology.

What we are building is a game distribution platform, like Steam, that makes games and their items NFTs. This opens up many interesting business opportunities that are defined by the built in scarcity that NFTs are built for. Because it is all on chain, it also means that ownership rights move back to end users, meaning that once you are done playing a game, it is then possible to sell or trade it on the open market.

A prime example of NFT use as a business case is the ability for a game developer or publisher to create limited edition games with unique content.

Basically, I see NFT art as just a proof of concept and not really where the future of this tech is going.
Furthermore there are also specific laws against human trafficking and drugs online that seem to up the potential liability for those sales versus say facilitating a stolen iphone or in this case even less provable land sales.

Just a few first google hits:
FOSTA/SESTA: https://en.wikipedia.org/wiki/Stop_Enabling_Sex_Traffickers_...

Prosecuting dark net markets using 'crack house law':
https://ir.lawnet.fordham.edu/cgi/viewcontent.cgi?article=56...
Facebook has the resources and technical expertise to make quite a good pass at figuring this out. This is also unlikely to be the only situation of this sort that they will ever deal with, so the experience of addressing it should be of some value to them too. And this is the sort of technically challenging yet fun and impactful project that helps keep skilled engineered happy. My point here is simply that trying to solve this problem is not some huge net negative for Facebook.

They don't need to be perfect. A rough solution would not require a full and complete legal analysis of Brazil's laws and topography. However their current stance seems to be that they won't even bother trying.
FWIW, I've been in the game a long time. I understand what rolling release means. In this case it means, sorry if you bought anything in the last 2 years. And really sorry if you care about security.
you are correct, the Exec micro kernel was fully preemptive, or as much as it could be without the benefit of an MMU. Message passing through pointer exchange, no protection context,, etc. not pretty but it made for usable multitasking in a paltry 512k of memory at 7.16mhz.
I think this should be a criticism of laws that create those incentives, and not a criticism of companies doing what they are incentivized to do.
luv does a fantastic job of sticking with Lua coroutines. The master branch still has zeromq in it, but the latest work is done in the ray branch. Sadly, it doesn't seem the project is moving, so most of the libuv features are not yet implemented the "ray" way.

Edit: Seems ray does have most of libuv features, sorry.
Not so much. It's validating "fail fast".
Pointers could be valid if each file in this new OS resided at a specific location say in a 64-bit address space. You could allocate for example 4GB of virtual memory to each file and guarantee that a file will always be found at the same location with all the pointers intact and valid.
I'm not that experienced in SWE but I would assume this sort of move would be worse for a while before it gets better. The "better" might be substantial though
I'm studying infosec, so I lean on the "pay for infosec people" side.

But from a company's perspective, if they have to pay 1M for an infosec team over five years, or 1M for a breach once every 5 years, what's the difference? You're still paying the same amount of money.
It's pretty common to Christian, especially Protestant, theology and culture.

"There is neither Jew nor Gentile, neither slave nor free, nor is there male and female, for you are all one in Christ Jesus. If you belong to Christ, then you are Abraham’s seed, and heirs according to the promise."

And that principle is the often (most?) quoted part of the Declaration of Independence:

"We hold these truths to be self-evident, that all men are created equal, that they are endowed by their Creator with certain unalienable Rights, that among these are Life, Liberty and the Pursuit of Happiness."

A few years later, the U.S. Constitution banned titles of mobility. We are probably overdue to follow up with nixing professional titles and titles for government officials (Mr. President, Your Honor, etc.).
.NET Qt bindings are possible; the question is how much effort it would take.

There are already GTK bindings for Mono through Gtk#. Those should be usable under .NET Core.
Personally, the idea I have in my mind of a (US) driver's license is a universally-accepted form of ID that anyone can get. The facts that it has a test, or that it can be revoked, or that some people don't have one, don't actually register in my head until someone points it out. If it weren't in the name, I wouldn't even connect it with driving. Furthermore, it's the only abstraction I have in my head for a universal ID. Passport's aren't universal (at least in the US) because they're bigger and therefore less convenient, and international travel is somewhat rare. We don't have a universal government-issued ID that's just an ID, so the idea of a national ID card sounds scary and government-intrusive to me. A driver's license is literally the most innocuous and least threatening analogy to make. Until you point out the ways in which it doesn't work the way I think it works.

When most people think of driver's licenses, do they really think government certification, or do they think universal ID? I would be honestly interested in the answer.
But should I go with Alpo or Iams?
Unless every entrepreneur is starting a company of exactly, precisely one employee, it really doesn't have to be.

It's not about a transition to 100% entrepreneurship. It's about a big enough rise in quantity that it becomes a qualitative change, where working at a "startup" no longer raises eyebrows, where the social system adjusts to accommodate this instead of considering it an exception (universal healthcare if you're leftward inclined, breaking health insurance away from employers and moving it back to individuals if you're rightward inclined), and so on.
Very good advise!

I was in a similar situation and format, and rehearsed my presentation 100++ times. Worked out well.

In the minutes before the presentation: Breathe. Exhaling longer than inhaling will calm your nervous system substantially within a minute or two.
> which I think it clearly is, then does it really make sense to tie one subscription into the initial purchase?

Unless you're Amazon, Apple, Facebook, Google, etc. and want to be THE platform and have all subscriptions go through you and onto your awesome device. Apple's iOS AppStore is very successful example of this.
The thing about mobile/cell phones is that they are subsidized only when there is a guaranteed subscription, namely the contract. If eBook readers can figure out a similar guarateed subscription, then yes. Otherwise, I don't see how they can be 100% subsidized.

Amazon may try to play a game of lifetime value of a Kindle owner and subsidize based on that. I'm hesitant to think that will work because if the price point drops to $0 to the consumer then Amazon will attract customers who will have lower lifetime value and thus end up costing Amazon the difference between their lifetime value and the cost of the Kindle.
In a similar vein, I've seen architecture profs make students get around campus in a wheelchair, just to tune them in to how different the experience is when you have to use ramps and elevators rather than stairs.
The size of a specification does not correlate strongly with it's mental complexity. For example what do the boolean formulas (a <=> b) => (c <=> d), and a & b & c & d & e & f mean? Or I could give you a specification of core Lisp in half a page. Does that mean that Java is 1200x more complicated? Certainly not.

Scala is definitely more mentally complicated than Java, and on the bright side this makes it much more powerful too.
In central London it’s never much further away than the cheaper options, the cars are actually nice (S-class 90% of the time) unlike in the US.
These changes should be ported to the original git cli command. Really good stuff here!
In all seriousness: whether it's exciting or not, this is something that should be getting federal funding. It really shouldn't be difficult for large, government-backed organizations to justify their interest. I don't have a lead for you (otherwise, I'd have invoked it by now to work on my own project[1], which has something in common through the use of polyglot files to achieve a similar effect[2], while mostly otherwise taking a different approach), but since you have a high profile, casting a wide net to attract the attention of someone able to secure the funding is something to consider.

1. <https://wiki.triplescripts.org/wiki/The_why_and_how_of_tripl...>

2. E.g., <https://www.youtube.com/watch?v=TUpd70Mu0Ek>
This being wholesale doesn't somehow make it not price gouging. Raising prices on a product (electricity) that you were already selling during an emergency is widely considered to be highly immoral, and is illegal almost everywhere, including Texas [1]. There does not appear to be any exception for "wholesale" goods, or b2b transactions, nor should there be morally since that would defeat the whole purpose of keeping necessities flowing.

The fact that ERCOT sets the prices makes this whole situation complicated, I have no clue if anyone actually broke the law here. But certainly setting the price this high was immoral, useless, and just a transfer of money from people buying electricity to the people who were already producing as much electricity as they could at 1/10th the price. The fact that these people participated in the wholesale market assuming that that market operated under the normal norms of western civilization is not particularly their fault, but an entirely reasonable thing for them to have done. The solution to this problem is not to not let people participate in markets, but to make markets actually follow the normal norms of civilization and not engage in unethical price gouging during emergencies.

[1] https://www.texasattorneygeneral.gov/consumer-protection/dis...
Interesting! Are you interested in going back into the build process to try and thin the app directly? Or just in helping developers identify the sources of app size?
My assumption was that once Yodlee proved they weren't going away, they could strike privileged deals with banks that obviated the need for screen-scraping, to the mutual security benefit of everyone.
Even in the US, "git" means "idiot." It was my understanding Linus called Git for the same reason Mercurial is called Mercurial: as an unflattering reference to Larry McVoy, who was involved in the Linux/Bitkeeper mess. While typing this though, I discovered that Linux apparently denies this and says it's self-reference. ("I'm an egotistical bastard, and I name all my projects after myself. First 'Linux', now 'Git'".)

Nimrod is actually a little interesting. Until the 1980s, Nimrod was just a Biblical figure, a powerful king/great hunter figure. Possibly because it was used in an ironic sense for bad hunters (perhaps beginning with Elmer Fudd), it came to mean the opposite of its original sense and generalized to "idiot."

http://www.etymonline.com/index.php?term=Nimrod

EDIT: Sorry about that...I accidentally said Perforce instead of BitKeeper. Perforce on the brain. :) Thanks nocman.
Ah. Seems dumb of them. There are millions of Chinese people all around the world that will be trying to email their family back home. Why block just one email provider? Why try to segregate yourself from the world's email network? It isn't even going to work because what every Chinese person will do is get a tunnel to sign up for the non-Chinese email service (maybe even Gmail!) and it will just further push people to use encryption.

If the Chinese government were shrewd, they would do what the American government does: make using American servers as easy as possible then spy on the contents.
Perhaps we are an edge case, but this has a potentially significant impact to certain businesses, namingly those that are Google Apps customers and rely on gmail to get work done. They'll be routing all web traffic over their own network via HK or Singapore, but...

That doesn't help employees who need Mobile email access. As of now, companies can't count on remote access to corporate gmail by Chinese employees. We have about 2500 Chinese employees with sanctioned BYOD phones - it's a huge problem!
> I don't think China will be able to compete internationally in the software industry.

That is a very self-centered point of view, in recent european TED talks there were speakers like Mikko Hypponen from F-Secure, that there should be "european" versions of Google, Facebook, so we can avoid all the dragnet datamining etc. unethical web development solutions and NSA spying that somehow pass in the US.
Amazing first step. I made my original CV in Indesign so updating became very easy, but changing layout was hard. Would love to see "widgets" you could move around the CV. Like a new education box to drag over or move around the page. Being able to control the layout is the hard part and you have the opportunity to make it really easy here!
"You do not start with axioms - you start with proofs. Only when you have found a bunch of related proofs, can you come up with axioms. You end with axioms."

Um, what? You have no FACTS to do proofs with without axioms; they are the fundamental statements one assumes to be true to define a logical system.

Somebody who insists that they need "multisorted algebras" while misunderstanding a fundamental definition in mathematical logic is exceptionally confused...
Year-round warmth is a modern luxury for people outside the tropics. Plenty of people live in year-round warmth and are lucky to ever feel cool, let alone cold.
I have not, I mostly glanced at http://benchmarksgame.alioth.debian.org/ where Rust generally matches C performance whithin a few %. But Nim is not part of this benchmark apparently.

I haven't looked at your link in details but the fact that one C++ implementation manages to outperform all the others (including other C and C++ implementations and of course Rust and Nim) by more than one order of magnitude leaves me perplex. It means there must be a huge room for improvement in a lot of those tests. Also the timing code is implemented in the tests themselves using each language's primitives which seems a bit risky to me when comparing language performances.

Also the unsafe rust version has exactly the same performance as the safe one which is weird. After looking at the unsafe version it appears that all the unsafe blocks are just here to remove the bound checks on the vector indexing and that's it. That seems like a weird choice for optimization, I'd have tried to make the recursive function iterative first, for instance. At least it goes to show that that particular check is not too expensive and it's better to stick to safe code when possible.
The demoscene guys can do a lot of stuff in 64K. It is not doubtful at all after you've seen one of the demos.
There's a bunch of walkability scores for cities in the US online. Austin ranks pretty low for what most people think.
How is that not analogous to a wall safe with my journal in it?
We've been looking at Azure and other services like Amazon's Elastic Beanstalk and truly the one thing that would make it all easier to explore is a solid guide for common software.

Great, I've got an instance running! How do I handle DB setup? What about app/media storage? How do we add SSL?

You can generally work your way through adding the necessary systems to the stack and gluing things together but an official guide or two would be invaluable and give me the feeling that I'm doing things The Right Way.
Doom Eternal's load times were so good I didn't even bother moving it to my SSD (I junction to a larger HDD by default).
I don't know. In GTA Online you encounter loading every 15min.
> What is that goal that you figured out through knowing his last name?

Hell if I know. But that's not really the standard, is it? It was a true fact. It's relevant to discussion about the guy. A "rationalist" would, objectively, be expected to celebrate this sort of thing. Let's get all the facts on the table and stop hiding stuff, then we'll figure it all out. Deliberate anonymity like this certainly can be used to hide an agenda. You agree with that much, right?

Also: don't fall into the rhetorical trap of claiming the guy was "cancelled" (which you seem to be dancing around without saying). He wasn't. His patients didn't leave, his clinic didn't fire him. He just quit, taking the opportunity to strike out on substack.
Truly!
If everyone truly understands their thin and tall slice, please keep those people they are worth their weight in gold. If anything, it sounds like you have an SRE organization right now, and could use some extra developers and operators. :)
Maybe the load times inadvertently work like the intentional spelling mistakes in a Nigerian scammer's email.

It's bait for the non-discerning customer who is more likely to empty their wallet for microtransactions because they have less experience with games so don't know what is normal :)
Ha ha, yeah, that's the one. What was I thinking.
Can you summarize it in a few sentences? It sounds like you've got interesting tech under the hood.
Glad to see this news, Fredrick. Keep pushing!
Quartz really went down the drain quickly.
I'm OK with it so long as it's something on GitHub, useful, and you can drop in replace it.
Dalia, I suggest you get MBA (part time) which would boost your career in future https://personalmba.com/