skysight-inc/HackerNews huggingface dataset:
Ask HN: What resources do you recommend for learning Haskell?
What resources do you recommend for learning Haskell?

I am working my way through “Learn You a Haskell for the greater good”

I also have a side project to learn things by doing, but was wondering what the most recommended learning sources were which people found very useful.
:)(
Wow, there really are so many words for 4chan
So much this — I just end up looking at YouTube Shorts or something of that kind if I can’t browse HN. It’s the reason I’ve always removed the noprocrast option even after enabling it for some time.
What reason do we have to trust that it isn't a arbitrary decision concerning petty clashes of personality? We are talking about the organization that hired as its head a literal criminal scam artist.
Your comment is framed as a disagreement but is actually just an elaboration. Granted, I should have said "can be illegal" instead of "is illegal" to make it narrower. The main point I was trying to make is that abuses of the legal system to coerce behavior are not allowed.
The Connection: A Love Story Between a Gamer and an AI NPC, Written by Claude3.5
I don't understand why people keep posting this when it's clear that all the threads are getting nuked. Surely you don't think you were the first posting this? Go look at /new
In companies I worked for, there was no particular hate for jira. I never seen anyone complaining about it.
> When I receive a GPG encrypted email from a stranger, though, I immediately get the feeling that I don’t want to read it. Sometimes I actually contemplate creating a filter for them so that they bypass my inbox entirely, but for now I sigh, unlock my key, start reading, and – with a faint glimmer of hope – am typically disappointed.

That's such weak take and a lame intro to an article. I immediately have now idea where the authors wants to take me from here. So if anyone knows, don't bother telling me as I already moved on from boredom.
TL;DR: if your Node.js project's test suite fails in confusing ways when using v22.x, force your build matrix to use v22.5.1 instead.

(This post was as much a PSA as it was a schadenfreude sharing exercise!)
You'll get atrocious CRI/sick skin tones that way. There's much more fleshed out spectrum in nowadays LEDs, especially warm white variants.
A country is a service organization that is collecting my taxes and spending that money to build roads.

If my service organization does a poor job of building roads I can choose to pay taxes to a different organization on a different territory.

Now this service org also wants to take a year of my life in my prime years. And it seems I cannot choose to not participate. I'm not sure how that is compatible with freedom.

The paradox being that freedom needs defending and only totalitarian russia can afford to purchase soldiers, while free countries are now back of forcing its people to participate in the war mandatory.

The irony.
> It's taking untrusted data and injecting it into a string that will later be parsed into code without treating the data as untrusted and adapting accordingly.

Which is precisely why parsing should've been used here instead. The correct way to do this is to work at the level after parsing, not before it. "SELECT * FROM foo WHERE bar LIKE ${untrusted input}" is dumb. Parsing the query with a placeholder in it, replacing it as an abstract node in the parsed form with data, and then serializing to string if needed to be sent elsewhere, is the correct way to do it, and is immune to injection attacks.
>>Air conditioning does not dispose of CO2 in the air

> Anything which circulates the air will remove [CO2]

Circulation does not remove CO2, only displace it from one place to another. To remove it, you need a scrubber [0].

0. https://en.wikipedia.org/wiki/Carbon_dioxide_scrubber
By that definition virtually nobody uses Windows. Shipping gnome with extensions doesn't make it not Gnome. It is in fact the only Gnome that the majority of users have used given the relative popularity of Ubuntu vs Fedora.
Well, good for you. ;)
https://tailscale.com/blog/tls-certs

Go implementation at the end of article.
Unexpected Benefits of Self-Modeling in Neural Systems
while I dislike tipping culture on everything, working for annual bonuses, RSUs, options, sales commissions, and other conditional or discretionary comp is the middle class version of it. ironically, the justice in tipping is that the person doing the work is getting equity in the transaction and direct consideration for their work.
this is like the stasi publishing a think piece on the importance of privacy
Because elections here aren't "announced". They're on a fixed 4-year schedule. Everyone knows they're coming, and if they start just a little sooner than the other guy this time, that may give them an advantage. Over time, it creeps earlier and earlier. Like retail stores putting out Christmas stuff in mid-october.

Obviously, in great Britain's recent election, nobody knew there was going to be an election until it was announced, so there was no way to jump the gun.
Really? I would have guessed that canvas provides pretty much exactly the same accessibility as a UI rendered entirely out of box shadows.
The VP's confirmation would be beneficial, solidifying their position for re-election. However, if the confirmation fails, it could reflect negatively on those responsible, particularly if the candidate wins the general election, as it would highlight their inability to secure a key appointment. Regardless, the process would attract extensive media attention, offering free publicity, which is a win.
Which scholar?
Your anecdotes are far less valuable than the actual reporting in the article.
I think that is massive strawman.

The push for complete rewrite from developers is super rare. Usually they want much smaller changes. When people talk about technical debt, it is usually in codebase with massive number of bugs and teams that are constantly under pressure.
Kamala can access the funds now.

The challenge is transferring to someone not named Kamala. [0] You need some campaign finance oversight with accounts, etc., and refunding and transferring to a "new" candidate would take time and jeopardize tying up ~$100 million in funds.

[0] https://www.wcnc.com/article/news/nation-world/biden-harris-...
Out of all my professional experiences where project management was a shitshow, Jira wasn't the cause. Poor project management was.
Yeah; Jira lets you pick whatever workflow works for your company. I'd love to find a replacement that can do that.

Most of the major issues I've seen with Jira come down to a disconnect between engineering and product, sales, etc, etc.

Of course, there's a bunch of other stuff they should just fix. For instance, Atlassian should pick one markdown dialect, and then default all their tools to it at setup time. Also, bugs stored in their cloud offering often go unavailable for a few minutes, even with tiny bug databases. (When I say a bug goes unavailable, I mean I can't access issue XX-1234, but other pages load, often including other bugs.)

Anyway, it's the least bad bug tracking tool I've encountered.
Totally agree. Not only would a coverage guided fuzzer catch this they should also be adding every single file they send out to the corpus of that automated fuzz testing so they can get somewhat increased coverage on their parser.

There may not be out of the box fuzzers that test device drivers so you hoist all the parser code, build it into a stand-alone application, and fuzz that.

Likely this is a form of technical debt since I can understand not doing all of this day #1 when you have 5 customers but at some point as you scale up you need to change the way you look at risk.
I don't think I have ever worked on a company that used Jira where it was not widely hated.
I used to work for Alcoa, a very large aluminum manufacturer. Their policies were right in line with everything you described, and it was a really good working environment. Every single first aid event was investigated so we could figure out how to do better in the future. The Swiss Cheese model was used to explain why "I've done it 1,000 times this way and never had an issue" isn't acceptable, and you must work according to the prescribed method.

It all started with their new CEO in the 80's who didn't want to talk about profits at Investor Day, and instead circled back to safety and the employees who weren't able to go home the same way they went to work.

https://davidburkus.com/2020/04/how-paul-oneill-fought-for-s...

Even now safety gets mentioned in their earnings calls. https://investors.alcoa.com/financials/quarterly-earnings/de...
#1 could be slit into two parts I think. Microsoft kernel side and CloudStrike module side.
Safety system redundancy case study.
Wiese provides a good but indirect definition of what he operationally means by “consciousness” in the footnote on the first page.

And his interest is with evaluating if there are or can be rigorous criteria for stating a computation system—embodied or not—is capable of “consciousness” (I’m adding the scare quotes).

It is only philosophy mumbo-jumbo if almost all philosophy (including Dennett, Churchland and many others) strikes you as mumbo-jumbo.

I find this a worthwhile contribution worthy of an attaboy, not knee-jerk derision.
https://archive.vn/c7v3Y
I think the fourth reason that has been discussed here and in Jeff's post also sounds plausible:

- somebody wants to push his app with fake reviews, however that would be easy to detect / trace back. Thus that person buys additional positive fake reviews for other apps (that are not in competition with his apps). This makes it really hard to tell which of the apps "purchased" the fake reviews.
> libpq normally connects to a unix socket by being given 'localhost' as the hostname or no hostname at all.

'localhost' for a unix socket doesn't sound right. 'localhost' is a specific network address and has a default configuration in pg_hba.conf (127.0.0.1) for itself. It's different to the 'local' entry in pg_hba.conf that's specifically for unix sockets.

And yeah, the field validation in the IDE required some kind of value in the hostname field, and wouldn't take a path (ie /var/...etc), so no kind of fallback behaviour seemed workable. :(
How well established is that? I'm a few weeks out of date, last time I looked Intel hadn't really said anything either way
Yeah, my iPhone 13 hasn't worked reliably with the Bluetooth in my 2009 Prius for a year or longer. The Prius software is just too old, I think, and I'm not sure there's a way to upgrade.
Its absurd this is still going on 6 months after the story first broke and we are really none the wiser. With estimates of 10-25% of CPUs impacted from the desktop side it seems likely all the CPUs are going to fail (including mine). They can't even recall and replace products yet as the problem isn't known. I sure hope Intel isn't just hiding the cause when its known all along because that is going to turn into big lawsuits across the world.
It’s poison, and doesn’t even taste nice. I’ll never understand why people drink club mate.
Some could call this foreshadowing...
Strictly, I think your first sentence is correct: pseudoscience sometimes does make falsifiable claims. Homeopathy advocates believe that their preparations actually help heal.

But for your second sentence, do you have in mind a hypothesis which you think is not testable but is still part of scientific inquiry?
Free speech is a universal human value but realistically America is in a league of its own with what speech it allows.
These days CCC is probably more in line with the culture you’re looking for. Of course, you’d have to be able to actually visit CCC first...
Oxford Ionics breaks global quantum performance records
The data that powers AI is disappearing fast
The first image on this site looks literally like a key visual for an Apple products: a swarm of rounded square icons with relatively flat colors and a centered heading in an I-can't-believe-it's-not-Helvetica font. This is the weakest image out of the entire bunch in terms of brand recognizability, so I find it weird that you're leading with it. I hope that this should be relatively easy to fix, since it just needs a font that does not scream "Apple Corp".

Also, I'm confused by your assertions about the logo: You're saying that the intention of the new logo is "simplify the design to increase versatility, improve readability of the initials, refine the colors [and] give a more modern look".

The last two ones are obviously subjective: I'm not a Mint user, so I don't really have a stake in their existing design, but looking at their existing website side-by-side with your proposal artwork, I don't think any of these strongly reads as "more modern" than the other.

Regarding the other two more objective goals, it would be nice to see examples of situations where the old logo is less versatile or less readable.
Meh... Not really true. In aggregate, perhaps, but things go back and forth.
> If my service organization does a poor job of building roads I can choose to pay taxes to a different organization on a different territory.

I can't choose to pay taxes in another country without emigrating. What are you trying to say?
Ahhh cool, good thinking. I've already moved on, but might take another look at a future point. :)
I liked James Carville's idea of picking maybe eight contenders and having town hall type events to choose the most popular. Game show element to take publicity from Trump and also kind of democratic rather than anointing a connected insider, which of course Trump would then go on about endlessly.
This is a nice regularization method, and I'm curious how it compares to model distillation as a simplification method. Does it do better? Is it synergetic or redundant with a distillation approach? Does it simplify in a way that also makes it more human-intelligible?
It's not easy to trust them imo. Browser (rightfully) make it scary sounding, and offhand i don't expect most people know how to install them without the scary warnings (i don't, despite running some locally).
You forgot the "AI Assistant help" part.

I was actually interested in the tool, but closed the page as soon as I saw this.

I don't need any AI from a tool that "gives me HTTPS on localhost". If I need AI Assistant, I know where to go. Thanks.
I actually do think it's a jira issue. The death knell of your software engineering team's culture and Real productivity is when the company hires an outsider "engineering manager" whose sole job is to pretend to care about identifying all the different tools all the different engineers need......... and figuring out how to shoehorn in jira. Then an she hires an engineering-side "IT" guy, who spends all day talking to the real IT guy who doesn't know all the ins out and schemas and schema schemas of jira/confluence/fisheye... and ignoring engineer's tickets because that's not his REAL job (he's got "engineering" in his title after all)... and figuring out how to effectively lock down jira so only his boss, the engineering manager, who came from lays potato chips IT intern program, can make changes, wasting 3 entire years of productivity all to make sure the software engineers are relegated to 'software developers' whose sole job is now to optimize their jira ticket churn. What? Jira's slow? That's a feature. Don't add up all the 3-second load times across 1000 clicks per engineer per day. No.
Every piece of software should come with a song [video]
You are not wrong

AlphaZero-type systems were unable to significantly improve over near-optimal solvers such as z3.
Those magical tools being self-referential incantations written in the weird and decidedly non-human language of the crystals themselves, containing deep magic [0] derived from the secrets of life itself [1] exploited to solve problems of intractable complexity in creating the next set of incantations.

Disturbingly, using the magical tool twice on the same incantation never produces exactly the same result.

0: https://www.catb.org/jargon/html/D/deep-magic.html

1: https://en.wikipedia.org/wiki/Evolutionary_algorithm
It's frustrating when developers of ML projects don't state even the most basic requirements. Do I need an Nvidia 4090 or a cluster of H100s to run this?
These "channel files" sound like they could be used to execute arbitrary code... Would be a big embarrassment if it shows up in KDU as a provider...

(This is just an early guess from looking at some of the csagent in ida decompiler, haven't validated that all the sanity checks can be bypassed as these channel files appear to have some kind of signature attached to them.)
It sounds nice and correct, but what if it’s literally part of the job?
Redmine does it just fine. And is way faster. Anything you're thinking of that Jira can "do" while Redmine can't is not needed to make your widget. GUARANTEED.
I'm only in my mid-30s and I still remember when local papers had actual local staff that covered local topics. Now the local paper is owned by a conglomerate and they just reprint AP/Reuters articles and have a little bit about local sports. It's a joke of what it used to be--and it hasn't been replaced by anything comparable online. It's not about disruption, this is just concentration of media.
Trump assassination attempt -- equally interesting new phenomenon -- also got flagged.
Ok and what about all the people in that subreddit complaining about lack of jobs and healthcare? It's not just a housing crisis.
Yeah, C908 and X60 have a 256 cycle LMUL=8 vrgather for any SEW.

I've written what I expect sane implementations to do here: https://gitlab.com/riseproject/riscv-optimization-guide/-/is...

This didn't take into account higher SEW, but I could imagine an implementation that as a LMUL2 native implementation for e32/e64.

The number of connections for a specific SEW and VLEN should be (VLEN/SEW)(SEW/8), however the regularity and distance probably also impacts final implementation cost.
https://archive.is/Ct4mQ
For me, the biggest problem is its startup time (it takes at least 30-60s on my work laptop). It also randomly crashes for me when viewing any postgis related result sets.
Will burying biomass underground curb climate change?
Pypy doesn't do this in general. The same Z3 model that is used to find these missing optimizations is also used to verify some integer optimizations.

But the point is that as long as optimization rules are hand-written, a human has thought about them and convinced themselves (maybe incorrectly) that the rules are correct. If a machine generates them without a human in the loop, some other sort of correctness argument is needed. Hence the reasonable suggestion that they should be formally verified.
Do you live in Northern Colorado!?! Because that's the local papers here.
Having to specify the very niche OS that you had to install using your technical knowledge, an OS most people on the planet have never heard about or most likely will ever hear about, didn't make you question if this would be considered "normal"?

I'd guess that to 90% of the people on the planet, any linux desktop distro would not even be a "normal" computer ("operating system", if they even know what that means).
Illegal drug found in Diamond Shruumz candies linked to illnesses
Armada to Apophis–scientists recycle old ideas for rare asteroid encounter
>No one ever got fired for buying Jira

If I ever owned a company, I would make sure anyone who authorizes a single Atlassian license purchase would be fired.
That must be a pretty well-worn path by now.
https://www.youtube.com/watch?v=oVW0-efpR-A (“YouTube: LegalEagle: Logan Paul sued Coffeezilla and it's Crap (ft. Coffezilla's Lawyers”)
Well, this us true for only the simple analog circuits. A modern analog front-end of a 5G modem or so is absolutely impossible to understand visually. Even the sub-blocks like the phase-locked-loop (PLL) or the analog-to-digital converter (ADC) are often vay too complex to grasp alone. But with a good hierarchy of the schematic one can divide each of these into sub-blocks and understand each of the sub-blocks. The whole is still too complex to understand fully, even for its designer. This causes a lot of simpe mistakes to happen like forgetting to connrct two nodes and not realizing till the silicon failing after the production...
That was the first thing I thought about when I started analyzing this file.
"Leaders" have to stop pretending that they know better than the developers who are actually doing the work. Let the developers decide how their "Developer Experience" should look like instead of deciding it top down. Show some real humility.

A good example from the article is AI. Leaders think it is the greatest thing, but two out of three developers don't see the benefit. This needs to be solved bottom up. Devs love new shiny tools that make them more productive or that make work more fun. That's why we invent a new framework or language every three days. If the two out of three developers can't find a way to make AI work for them, then their non-technical leaders surely won't help.
> LLMs can show logical thinking and self-correction

The same way they "show" sadness or contrition or excitement?

We need to be careful with our phrasing here: LLMs can be prompted to provide you associated phrases that usually seem to fit with the rest of the word-soup, but whether the model is actually demonstrating "logical thinking" or "self-correction" is a Chinese Room problem [0]. (Or else a "No, it doesn't, I can tell because I checked the code.")

[0] https://en.wikipedia.org/wiki/Chinese_room
And making points for someone else that they didn't make is also not productive for "discussion work[ing] best."

Explaining that the HN Guidelines has off-topic railings (with exceptions) too isn't saying that a tweet about POTUS resigning isn't a valid exception.

I guess people are on tilt because of the announcement.
Yes that is correct, I had read a different article that had a more rust first focus. I just tried to google for a reference to the news release I was referencing, but yea it doesn't really support my comment :(
Forcing Atlassian products on your engineers IS poor project management.
Haha no--Northern California, but I actually kept it generic because that's literally all local papers I've seen. All of them seem to have been bought out and homogenized to where it's actually the same local paper just being re-printed with different name and sports section.
Biden has more problems than just speaking unclearly. The thoughts get muddled at times too.
Haha, he says he is European, talks about decions he's noticed from a "world stage" point-of-view, and you respond with your partisan vitrol.
I'm not sure you can claim moral lapses when you've cited propogandized and exaggerated far-right talking points. I think felonies, positively adjudicatied rape accusations, and paying for sex while your wife is pregnant are all the new standards for a POTUS that lacks moral fiber....
Arguably he saved the US from a major recession that all the experts were predicting post COVID. But avoiding a disaster is harder to campaign on.
if they invest in educationg tens of thousands of engineers, yes, maybe in 20 years.
I would say the companies compelling others to buy and install this shitty security software, e.g. cyber insurance, should also be punished.
Eight Billion Hogs, Screaming
There's also orders of magnitudes more machines today than 20 years ago -- so it should be easier to infect more machines now than before, and yet no one can sight a virus that was as quickly moving and damaging as what crowdstrike did through gross negligence.

Be better.
All these new encrypted chats have one common defect, someone else needed to create what gpg would call a private key.

I think gpg is the only method of providing guaranteed secrecy, at least until quantum computing becomes workable, which I still doubt.

Yes it is hard, but privacy is hard.