skysight-inc/HackerNews huggingface dataset:
The main reason to learn category theory for Haskell is to learn how much of the Haskell meme complex is wrong. Otherwise, it won't help the typical newcomer. I think it's important to explain that Hask isn't a category, that Haskell's type system is unsound, that Haskell doesn't have sum types, etc.

There are powerful applications of category theory to other parts of computer science. If one keeps in mind that Haskell is Just Another Programming Language, then one can apply category theory more generally and fully.
Debt collectors may not be able to put you in jail, but 'thugs with guns' can be a pretty apt description otherwise.
Part of the dominance of fiat is the effect of lending and investment markets on business cash flows. Reported earnings are a tax liability for an individual, but they are an asset to a business, which increases the value of their equity and increase their debt ceiling. In an inflationary monetary system, the most important thing is asset leverage, so privacy is a bad thing. It's a funny thing actually. The SEC deals mainly with corporate over-reporting and IRS with individual under-reporting.

There is a "Gresham's Law" kind of question here, whether 'better' is actually better.
Unicode indeed has an emoticon block (referring to emojis with facial expression) but the term actually predates the very UTF-8 itself going back to early 80s. Emoji also predates its Unicode introduction originating from Japan in late 90s.
The moon phase example is illustrative in another way.

It's not technically possible to precisely calculate the moon's phase based on time alone. It's an optical effect that is influenced by parallax, so you have to pay attention to location as well. This is, for example, why Eid al-Adha falls on different days in different parts of the world. So the function signature itself is potentially wrong, depending on my needs. I might find that out if I had to do some Googling to finish the function, but (assuming I didn't already know) I'm not sure if that possibility would ever have occurred to me if I were using Copilot.

Copilot can spit out code that's influenced by what others have written. But can it clue you into design considerations like this? Or should we be worried that it is helping us to write code that does the wrong thing with a higher degree of confidence?
Nothing to show for it? I mean if I get a cut I won’t die of a bacterial infection, so that’s pretty cool.
I was hoping for something more CS specific as that list seems to all be fairly generic pedagogy; it's been known for a long time e.g. that quizzes help memory formation and that more immediate feedback aids learning.

One thing they mention that I think is a problem with CS is:

> connect with student prior knowledge and beliefs

I do not know how do do this in a group larger than about 6-8 (I'd say 2 pizza rule, but you need more than 2 pizzas to feed 8 college students :)

In particular since much computer related learning prior to joining a college level CS class is some combination of: informal, self-taught, and/or poorly taught. This leads to a very wide variety of prior knowledge and beliefs, most of which are subtly wrong in important ways.

In a small group it's trivial to address these as they come up, but I can't imagine trying to anticipate them for a larger group.

I switched to CS from Physics and immediately noticed this difference. At first I just thought it was because physics classes were smaller, but I had no classes with less than 10 people. Then I realized that there just wasn't that much variety in the misbeliefs my physics peers held; partly because we had fairly similar backgrounds (most had taken AP Physics in High School, and had read a selecton from a fairly small pool of pop-science physics books).

I'd actually be interested in seeing a taxonomy of specific misbeliefs in CS (or really any field). Such a summary would probably aid teachers as well; most good teachers will have an intuition for the categories, but organizing and naming things can help one think in a more structured way about them.
Sure, it's purely optical. I don't know if this was the exact sensor since I salvaged it off of something else, but it was something like this one: https://www.amazon.com/dp/B075FPR2VX/

It's hooked up to the ADC of the ESP8266, and thankfully the output was between 0 and 3.3V since that's the range that the Wemos D1 boards can accept, as they have a built in voltage divider. It's measuring the distance between the lid and whatever reflects the IR back.
My Software Estimation Technique
If nothing changes, humanity, being human, is basically done for. To me being well fed by virtue of being harmless would be like throwing away the core of what makes my life meaningful, just to extend it a bit. I lived too long in an upright position to be remotely tempted by that. All of us will be dead for an eternity, the one real difference we can make for ourselves is what kind of person we were. Compared to that the difference between living 5 minutes and 500 years doesn't even register, at least not to me.

And hey, as faint as that hope may be: if things do change in a positive manner, people might scramble to fake proof they (or their parents) weren't just idle or even complicit. The same list of persecuted dissidents today might tomorrow serve as a whitelist for voting rights, among other things.
Is „one laptop per child“ really as bad as the other vaporware/fraudware in the list?
This is FUD:

> Hence the banking server or generally web application servers will most likely simply execute any action received and allow the attack to launch.

While these are useful headers, there are protections today via XSRF tokens to prevent these attacks that all major sites implement, so it isn’t likely your bank is vulnerable.
Awesome feedback, thank you so much.
>I will only vote for people with a fully environment first platform, even at the expense of "bad" fiscal/economic policy for the country.

For developed countries that have high productivity growth, falling demand as the population ages and low inflation you actually have to come up with random ideas to keep the population employed. It doesn't even matter what you do. You could let them dig holes and fill them. What's important is that the money goes to people who spend it.

You know. Instead of letting the government be the investor of last resort, why not just introduce a carbon tax and carbon tariff and just let the private sector do all the investments? It would revitalize the economy far more than a bunch of trump style tax cuts.

Green investments for climate change? Fuck that, let's save capitalism with green investments!
No-till agriculture, as an example, usually requires different capital equipment for the farm.

It's not a blocker, but financing the capital equipment takes some investment and risk. Farms are fairly dialed into their operations already, and getting people to change (especially when they need to pay money to do it) is a slow process.
You are of course entirely correct (well, outside of the mob, which is probably a realistic factor for quite a bit of business, but kind of out of scope for "rules").

However, the essence of the matter isn't just about putting you in a cage - it's about excessive and capricious penalties with no real recourse. And those exist aplenty in the private sector. Nor do all laws broken necessarily equate to imprisonment.

In practice, for perceived infractions against whatever rules the powerful organization has, private organizations are pretty ruthless up to but not quite reaching imprisonment. Pseudo-monopolists cutting service, or hefty financial penalties up to and including losing pretty much everything, holding your data hostage: that's all fair game.

These two things aren't the same; but I do think they're both bad and scary enough to warrant not just concern, but in an ideal world, rules. You know, for example, constraints for government, and licensing rules for business.
This is pretty chilling to consider. Also notable that many right wingers in colder climates think (or at least claim to believe) that climate change might be a net positive for them.

https://twitter.com/xongkuro/status/1412778979342356482?s=21
So is a billion a lot or a little? I mean, did they count krill?
You might find Tim Specter’s “The Diet Myth” interesting. He’s a geneticist specializing in twin studies who sort of stumbled into the role of the microbiome in obesity. It’s been a while since I’ve read it but IIRC he points to pasteurizing as one of the contributors to America’s obesity compared to Europe.
Very cool seeing someone else on HN take on restoring their backyard soil. I've been at it for two years in my quarter acre plot and the results are starting to show, so keep at it! Very interested in your bootcamp link so thanks for posting that.

Personal tangent: The property I have was a typical Roundup maintained monoculture lawn without any insect diversity, bees, etc. Now it's teeming with all types of insects and different native species that have re-established themselves and I've been able to use about half of the property for fruit and vegetable production. It's awesome to see the progress that's possible even in such a short time.
Are you seriously comparing a tectonic political shift in the capital with the wrong chessboard on the LITTLE MATCH ICON on the football shirts... ffs
I'd really like to know more about your farm--specifics about acreage, crops, location, etc. There's contact info linked from my profile, or if you don't mind dropping your email here, I'd love to pick your brain!
In Georgia, this year has been cooler than usual. I don't even think it's broke 90 (F) yet here where we live in North Georgia. And a late frost took out a good number of fruits (like figs) and killed a number of trees.
I'd feel bad having a $40 toy for a failed make-the-world-better $100 product. Wasn't there even a 2-for special where I buy one, and one gets sent abroad?
I didn't deal with that from the UK (which was at the time of my AliExpress orders in the EU).
When more of these kinds of news hit the public forums like HN, maybe it's time to sell...but just my humble opinion and I don't know how to quantify these things.
I think it’s unfair to generalize it to all areas of academia.
They don’t even necessarily have to be coordinated.

If you’re operating a business that profits from selling collector items, you benefit from headlines about high sale prices. Spending $1.5 million to juice the market and generate excitement could manufacture enough demand and trade volume through follow-on buying frenzies that you come out ahead in volume sales of cheaper items.

Then you’re still sitting on an asset “worth” $1.5m that you can use to play games with taxes (depreciation?) and also use as collateral to secure cheap loans.
Hmmm....

For me, the rise of preprints has blunted the impact of that exclusivity period: something approximating the full text is usually available, whether from the publishers, PMC, or bioarxiv. This might depend on a lot of discipline--neuro dove head-first into preprints and I think they're less common in other fields.

It's not obvious to me what the "right" fee is. The NPG fees seem bonkers. The PLoS journals and eLife aren't trying to turn a profit, are a bit lower but still in the few thousand dollar range, so there must be some non-obvious, non-trivial expenses.
If he doesnt play it anymore then its the right time to ask him for it - when people die the little things will indeed get lost, my grandfather promised the pistol he accidentally shot himself with to like ?6? people? (framed, with the newspaper article, the man was a fanatic about safety haha.)
You get a vote as a shareholder too.

I tend to agree that governments on the overall are held far less accountable for their actions than private companies, which will go bankrupt without patronage (without... ahem, government intervention). Government largesse extends beyond the policies of whatever administration is currently in office and therefore beyond your vote. We're talking about decades of built up cruft with no impetus for change. If you have a terrible time at the DMV, what do you do? Sell their shares? Stop shopping there? No, you just deal with it. Yes, it's one example, and I picked one that would intentionally elicit a response from almost anybody regardless of their political leanings, but that same example applies to many govt. organizations. They are inefficient and there is no correction mechanism.
what are you doing to your backyard soil?
Clickbait and very strange title from the Washington Post.

Should be:

People dumped their *pet goldfishes* into lakes. Now football-size goldfish are taking over.

For that, I will give you the direct Tweet instead of this garbage article: [0]

[0] https://twitter.com/BurnsvilleMN/status/1413480303667077121
Yes if you have problems with macros there are ways of debugging them. My point (in reply to reikonomusha) was simply that you do need to know about "the machinery of macros" and certainly their existence to do day-to-day programming in a Lisp.
You should try hitting one of the potentially non-profitable customer filters. Like buy 5 things with a gift card that all ship to a different address on the same day.

No message, no warning, no email, just your password no longer works and then an endless loop of resetting and verification emails.
Amazon has pretty good customer service. They are nothing like Google.
Growers in Kenya struggle with cold weather
You are talking about monopolies or quasi monopolies. Business in competitive environment are incentivized to not screw their customers. AMD vs nVidia, Walmart vs Costco, Coca-cola vs Pepsi,... Even monopolies don't like to do that as to not attract negative attention, they just fix their price high and come up with a narrative to do so.

Whenever I have an issue with a private company, it usually getd resolved a lot faster. One time I called my ISP mad that I wasn't notified of their new cheaper and better plans, and they upgraded me, paid the difference and gave me a free month. The whole ordeal from start to finish lasted 20 minutes (including wait time on the phone). And ISPs are known assholes.

The problem with governments is that they are a monopoly by default and they can't really go bankrupt (and when they do, they find a way to survive).
It is really a hard problem. Sadly I also don't have a good answer. If management is this dysfunctional, at least the team can maybe document how they do sane decisions and reasoning?
Doesn't seem to be that detrimental in China. Apple always manages to work something out over there.
A stroke from a bad diet can stop you from being the same at a younger age than some people expect
You could sit down and build quite complicated things without ever learning a lick about big-O, time complexity, etc..
Yes I had to teach myself these skills in my 20s since I was blissfully unaware of how far behind in my 10s. Basically I run explicit programs for body language and simulate other's mental states, etc. It takes a good chunk of processing power so I try to position myself higher in the hierarchy so I can just be myself and delegate the social processing to naturals.

I use language transactionally as a command and interrogation method, which rubs people the wrong way. If you're the boss that's ok. If you're dependent on people that's not going to work. It is what it is, I can be obsequious if needed but it's gonna make me stupid due to computational resource constraints. People would say I'm a sociopath but I'm really nice. My empathy is turned up to 1000% so I'm very sensitive to other's emotional states oddly, though I have the coarsest ability to make others feel better, and it usually backfires.

Anyway if I can figure it out it certainly can be done and there's probably a book about how to do it.
Police don't take orders from taxpayers, either. Maybe the victims of bureaucracy aren't its true customers.
Interesting article.

Because of branch prediction and deep instruction windows, the instruction prefetcher is significantly more effective than the data prefetcher.

There are of course second order effects of code bloat: L2 for example is typically shared with data and wasting more of it for code can have negative effects.
Then we'd have fewer chances to add names to this list: https://en.wikipedia.org/wiki/List_of_athletes_with_Olympic_...

Although to be fair, most of the multi-sport athletes complete in closely-related sports (which would likely be held in the same location) or are from the old days when tug-of-war was an Olympic sport.
> I feel like the author is implying that dropshipping is a scam, well if you are foolish enough to pay markup on items that you could order yourself directly from AliExpress that's your own problem

A lot of people hate on dropshippers because they markup prices and take months to ship a product from China. BAD dropshippers do this. A good dropshipper will find demand for a product and bring it to where the customer likes to go and make sure shipping is short by choosing US suppliers (for US customers).

In reality, when you go to Target, you are also buying things at a markup. Why buy something for $10 when you can find it online for $7? Because it's fucking insane to expect people to constantly do pricing and quality research to save a few bucks.

I feel like the next innovation in dropshipping will be when places like Oberlo and Spocket make it easier for dropshippers to do quality control. They already make it easy to find products with fast shipping times.
> An organization has bad customer service so you should throw the entire field out?

In this instance, "customer service" is the entire point of licensing. You pay a fee and get the license. Here, Rossman paid his fee but didn't get his license because the government is inept.

That's not just bad customer service, that's this government agency failing to do the thing it was created for.
Maybe Microsoft wants to finally make [current year] the "year of the Linux desktop".
Teachers please use testing suites, include basic tests that can show student that they are making progress in the assignment. Have your own tests for grading (if you want).

For intermediate classes force students to use some type of version control, as in they need to submit assignments to a branch, and the branch will be graded.
Unfortunately, that subset isn't closed or isn't powerful enough to escape primitive recursion; take your pick.

Suppose that I'm wrong and it's both closed and powerful enough. Then, fix an arbitrary Haskell type signature for some function `f`, and consider defining it as `f = undefined` or `f = f` respectively, and work out what still remains in the subset. Indeed, `undefined = undefined` is its typical definition.
It took me a loooong time to fully wrap my head around channels. They’re definitely not explicit and full of subtle yet devastating bugs when used inappropriately (which is all to easy to do too). Some of the boilerplate code around using them is just ugly too.

That said, there are occasions when channels have proven invaluable. I think the real issue is they were branded as a killer feature but in reality their usefulness is a little more niche than a mutex.
Food that cures cancer. And what is the scientific basis of that?
It takes about 3 years for the soil to come back to life and it does take more management. During the transition period yields are reduced. Regenerative Ag also takes more farmers as a singer farmer can't manage as much land.

It is crazy that everyone hasn't switched. It is more profitable but it is a leap of faith to switch and most ag extensions are still recommending high chem use. There are some hang ups with crop subsidies making it difficult to change also.

But, the tide has changed as evidenced by this article. General Mills is pushing for 1 million regenerative farmed acres by 2030. The transition is happening but as with any paradigm shift it takes time to convince everybody that there is a better way.

https://www.generalmills.com/en/Responsibility/Sustainabilit...
The USB-Serial chip still works when your software on the main CPU (that runs the USB stack) has crashed
The Bayesian Learning Rule
Yeah, I use windows and work in the microsoft ecosystem professionally but literally everything about w11 turns me off of it.
Ironic since the biggest threat to effective antibiotics is industrial agriculture practices.
I've experienced this, and I've learned to search for the grains of truth. At core, the people doing this are highly disagreeable, and so they form their own opinions and go deep.

I think going deep into crazy is natural, and the hard question is trying to balance that out with a deeper truth. At core, I think there is a deeper value in being the control group outside of the modern world.

So, can food cure cancer? I don't know, but it may be worth looking into. Amish, for instance, have 40% less cancer. Is it the food? the air? the bacteria? the hard work? No Idea!

Myself, I'm getting firmly on the fasting train. I eat every other day, and I feel great.
I think the feeling is that farmers tend to be right leaning and conservative politically and are thought to be of the mindset to deny that climate change is real.
Terrible that this guy has to go through this - there's a lot of terrible city agencies, and I've heard general horror stories about the DCA for years.

That being said, at this point throwing your hands up and saying "I don't know what to do, help me youtube" is the wrong way to handle this. I was going to make the suggestion about a lawyer, then I saw another poster had done so. The other route to go here is to reach out to your city council member. In NYC, there are enough city council members that they will respond to your request and someone will get back to you. They can make things happen, especially as it pertains to ridiculous bureaucracy.

In NYC, we also have a public advocate, whose job is literally to help smooth over disconnects between the public and nyc government agencies. They have a form right on their website where you can request help. Either of these approaches (or both!) would be more productive than complaining on youtube.
Interesting they used Arabic for this example - I grew up learning it at school but it’s only recently that smartphone keyboards are good enough to implement abjad. Most of the time you used to just switch to arabizi https://en.m.wikipedia.org/wiki/Arabic_chat_alphabet

Writing in Arabic is really fun as well, calligraphy is appreciated.
Having worked in public sector, its laughable you blame "the government," how big it is, how corrupt etc things are. The problem is your government is just your neighbors making 25% or less of your tech salary, who have very complex rules and processes they have to follow, and it takes a lot of effort to make those more efficient. No, because things are inefficient, it is absolutely not an invitation for every shthead to offer their two cents on how to fix it. That's literally what public employees spend most of their day doing, trying to get private employees they interact with to fck off and stop "explaining" how they'd fix things.

What do you do in situations like this? Well, seeing as public employees aren't paid to watch youtube videos, you surely won't get any response via youtube viral videos. You will get people hating on underpaid public employees more, yes. You could escalate and send certified mail, have an attorney make contact, etc.

You'd be surprised to know, there isn't someone sitting on the other end trying to make things worse for you. Its just your underpaid neighbor. If you're a psychotic libertarian who is just screaming at this reply, yes, please, move somewhere with less regulation to make some sort of point, we'd all love you to move.
So then is it reasonable to conclude government subsidies for regenerative agriculture could increase adoption?
Except these companies spend more on marketing than rnd.