skysight-inc/HackerNews huggingface dataset:
I disagree on almost every count: it's a badly written essay, but it makes a valid point.

> I've interviewed a lot of functional candidates in a decade-long stint of functional programming professionally. My interview approach is always the same. All practical exercises, no leetcode here.

Does this mean that you're measuring, like, how fast someone can deploy a CRUD webapp in the given language? I can imagine F# would do poorly on that kind of metric; it's optimized for maintainability and doesn't take unprincipled shortcuts, whereas something like Ruby lets you type one line and it will blat out a bunch of defaults via unmaintainable magic.

> Implies that if someone just saw some code in F# and realized what people can do in it, they would be super impressed. I have not found that to be the case. If that's a general problem and not just a quirk of my personal experience, that has to be fixed first.

I don't think it's a general problem; almost everyone who spends any significant time working in F# returns to C# reluctantly if at all. It's already a "better" language in the sense of how nice it is to program in and how productive a programmer feels when doing so. But those aren't the metrics that matter.
Cover up sexual harassment or a hostile work environment.
what do you mean async/await "replaced callbacks"? Async/await "replaced" Promises, specifically then/catch chaining. Turns out Promises can be syntactically-sugared to imperative try/catch blocks.
Watch what people do in game lobbies like Fortnite, which are a bit of an open world: mindlessly destroy things, troll other people, show off superficial things like dance moves. A metaverse needs a bit more purpose, and constraints - a theme, or something that people strive for, or competition.
Redux has never seemed like a great solution for the programs I've written.

Though FWIW, MobX is far more magical than hooks.
Can someone explain to me why AI (which is boosting Nvidias stock) is picking up so much? Why didn't Alexa/Siri and googles original AI cause the same thing? I doubt that openai is buying all these GPUs, who is?
> secret powers executed in secret

They’re noticed of their liability. And there is no gag order on those subpoenaed. The IRS isn’t getting a FISA court.
The average HN user is much less sophisticated than you think. There's plenty of anti-COVID vaccine discussion as one example.

There's reasons to be skeptical of things, but come on.
Chrome will still find a way to eat all that up and lag.
...the data [delivered] was on the order of 20,000 to 30,000 pounds light.

I don't think this bug is something that would have been resolved by weighing passengers or not.
I really scratched my head at this one, at first. "Why your F# evangelism isn't working" — uhh, maybe because it's a decade late?
You mean millions of Doom?
Sure, and 40 year olds have the same capabilities as 4 year olds, because "same architecture" or "fundamentally the same". And putting random weights inside the GPT-4 model architecture should behave "fundamentally the same" as the trained GPT-4 weights, because it's "same architecture". Forget this "training" stuff.
Thanks. This analysis really show me how I didn't understand the movie despite enjoying it on a superficial level. It's even better than my first impressions.
> party in question already did something wrong and it was proven so

To be clear, there was no conviction. (There is court oversight.)
So even a high profile technical CEO is still using the embarrassingly insecure SMS verification and waits until it is too late to realize to see how insecure it is. As long as you don't use something else, it can happen to you as well.

All your data has been breached including your phone number(s) and yet you still continue to use SMS 2FA as if it is safe. This option gives a false sense of security and I expected techies, like Garry to already know better. I guess that old habits die hard and for 'seniors', 'top execs', and CEOs, old habits die harder.

So just stop SMS 2FA right now. There are no more excuses after many data breaches later [0] especially for techies.

[0] https://news.ycombinator.com/item?id=32401284
Title of the article is quite misleading given that it’s entirely voluntary for the purposes of a survey, feels like that detail was omitted for clickbait purposes.
Some companies have strict policies on adding new dependencies to an existing project (no matter how small), so packages like this provides tens of hooks with the effort of a single arguing session about one dependency. It's very useful for those cases.
Hmm. I'm a bit surprised to hear you say that writing reducers "by hand" is simpler than with RTK.

Per the docs examples (like https://redux.js.org/usage/migrating-to-modern-redux#reducer... ), hand-written reducers normally involved `switch` statements and lots of immutable updates with object spreads. Those were normally accompanied with a bunch of separate action type string constants and action creator functions.

With RTK and `createSlice`, the reducers themselves are much simpler: simple functions with "mutating" update syntax (which uses Immer to turn those into immutable updates), and the action creators get generated for free:

import { createSlice } from '@reduxjs/toolkit'

const todosSlice = createSlice({
name: 'todos',
initialState: [],
reducers: {
todoAdded(state, action) {
const { id, text } = action.payload
state.push({ id, text, completed: false })
},
todoToggled(state, action) {
const matchingTodo = state.todos.find(t => t.id === action.payload)
if (matchingTodo) {
matchingTodo.completed = !matchingTodo.completed
}
}
}
})

export const { todoAdded, todoToggled } = todosSlice.actions
export default todosSlice.reducer

That's a lot less code to write, much simpler and shorter to read, _and_ it eliminates accidental mutations.

You're still writing a "slice reducer" at a time, so it's the exact same amount of state to consider (ie, a "posts reducer" that manages `rootState.posts`.

Also note that we do have a "Fundamentals" docs tutorial that teaches the underlying concepts _without_ any abstractions, but then shows how RTK simplifies those patterns:

- https://redux.js.org/tutorials/fundamentals/part-1-overview

Ultimately it's your codebase, but we really do _strongly_ want everyone working with Redux to write that code with RTK.
From OpenAI's RLHF paper[1]: "By default, when we train a PPO model on our API distribution, it suffers from an “alignment tax”, as its performance on several public NLP datasets decreases." On the HELM[2] site, you can see accuracy benchmarks for InstructGPT <OpenAI model> vs baseline models. The InstructGPT models perform worse on a lot of benchmarks.

1 - https://arxiv.org/pdf/2203.02155.pdf

2 - https://crfm.stanford.edu/helm/v0.1.0/?group=question_answer...
Looks great. I'll be keeping an eye on it.
Damn lol that was a lot of assumptions
> Is Jira that bad?

As the saying goes, Jira is fine, the only problem is that it is Turing-complete.
Maybe all the contracts I saw there were unenforceable, even before the California Supreme Court case everyone talks about, but they were certainly common (I lived and worked in California in the late 1990s and early 2000s).
The one and only! I'm there most Wednesdays and Saturdays too! If you're in the swing & things Discord group, I'm "jado"!
How far are we from fully modeling the human brain? I mean besides an easy way to identify all the neuronal connections...

This makes me feel like we're close to that one terrifying short-story.
Fracking is heavily decreased efficiency in extracting fossil fuels. To the point where it's economic viability is under question... (How can a whole industry be in the red for more than a decade ? Is this a giant scam caused by post-2008 easy money ?) There's a reason why in the industry they call it "scraping the bottom of the barrel". So it (along with Canada's bituminous sands) should never have been extracted. You would think that we would have threatened to turn North America into a pariah if they proceed with extracting them, but nope, nobody seems to have cared enough... but of course that's just in the same vein as Bush declaring USian mode of life as "non-negotiable". (Indeed, natural laws do NOT negotiate.)

P.S.: You hurt your credibility by using a straw man of Malthus.
Ah but if I said "async/await replaced Promises", a pedantic HN poster would correct me :/ "No it didn't replace them"
Swing It Seattle has dances with live bands in Cap Hill at least once a week, and they also have multiple classes going on at any given time. Really pleasant environment, great people, can't recommend it enough!
I guess that depends on your definition of b-list celebrities. For me, b-list would include people like Bill Maher or Andy Samberg. Both of which I have seen out in public and no one bothered them beyond the occasional "hi". Both certainly have more money than they could ever spend. But even if you consider them A listers, even definitely B list celebrities like real housewives have usually amassed millions in assets.
It's a hard sale, restaurant owners are fickle and cheap, not the easiest to sell to
For me, the most mind-blowing part of Okasaki's book was the chapter on "numerical representations". Never looked at it like that before I read that chapter. While the other chapters certainly introduced material that was new to me at the time, this one took some things I knew and added a whole new dimension to them.
Start a company and work on something you care about. Or just do something random.

It doesn’t need to be VC funded where you have to pretend you’re some baller.

Just do something fun.

It’s even easier when you have a fat bank account. Open it and breathe a sigh of relief that if things go south you’re still set for a long ass time / life.
"Alternative to JIRA" makes me cringe. Why would you put the most hated brand of all issue trackers in your pitch line?
The scams were dressed as massively inflated IPOs for companies that absolutely never stood a chance.

They needed Goldman or somebody like it in on the deal. Everybody had to put on a suit. It was industrial.

Now it’s a cottage industry of petty grifters exiled from multi level marketing, plus a few big Silicon Valley institutions that turned to the dark side: A16Z springs to mind.

Not much has changed, only the direct to consumer nature of the scams without needing an investment bank in the mix.

Same old game.
In the past, I have found community - and many lifelong friendships - in a ballroom & latin dance community. Currently, I find community in hiking groups.
I lost $250,000 of Beanie Babies in 1998 by sending them from the UK to the USA in 800 separate packages to try to avoid grey import laws. It was illegal to send the Beanies because the same products were on sale in the USA.

This used to affect people trying to import Levi's jeans from the USA to EU too.
Yeah there’s a Seinfeld for that

https://en.m.wikipedia.org/wiki/The_Kiss_Hello
It's also the most widely used of all issue trackers.
If you don’t want to understand there’s no point trying to justify it.

Move on.
> When the work in masonry is good, it lets guys really, really shine. When it's weak, it's hard to watch, but seeing what any mason can do and how well he chooses to do it gives you a lot of perspective on where you are.

I'm having trouble interpreting what you meant with this excerpt but it sounds interesting. Care to elaborate?
> The potential for self-ownage by vandalizing a high-voltage EV charger also seems quite large, so perhaps it's the sort of thing a vandal only ever does once.

This severely underestimates the rate of open carry in Texas
It looks like we’re entering the world of that SF book « the windup girl » where plagues and crop failure are the default mode.
To me it's a bit like someone making the claim "humans are flawed, and we should think critically about the things they say", and someone responding with "well which human are you talking about? Because Einstein is orders of magnitude above the Walmart checkout guy".
just as true today as 2015 when the article was written, except C# got even better.

While I like the F# language, I don't like the (understandably) abandonware of the small community. I've ported most of my F# stuff to C#, and it's not that much different in that you can program in a functional style in C#. Probably the nicest thing in F# that C# doesn't have is computation expressions.
I can't find how much it will cost or how much power it will use. I mean it will be a lot and maybe only Google and Microsoft and Facebook can afford it but I still want to know.
I assume "fun" should read "pun"—but this new version is funny too :-P
As always, the best way to protect your house is with the law, not a better lock.

Regulation is constructive, deregulation is destructive.
good brushing is technique independent of time

if you brush for 2 minutes but don't get enough passes over each square mm of surface area, you have done a bad job of brushing

instead of watching the clock, imagine each of those surface areas and make sure you hit them

plus gums, tongue, roof of mouth, etc.
This might be the first time it's announced. I haven't flown in a while (even before the pandemic) but a long time ago, I distinctly remember the surface I was standing on along with my luggage, as I was standing for checking in at the service desk, seemed rather like a weigh scale --- the type that's embedded into the floor under a flexible mat. I just thought to myself "makes sense".

It also reminds me of what I once heard from someone in the aviation industry: "The laws of physics don't care about your feelings. If they say the plane is too heavy to fly, it's not going to fly no matter how much you cry."
Few C level types do the job of raising their children because that would interfere with work. Nannies, au pair, etc.
I've seen Elixir, Python, Javascript, Java, Scala, Clojure, C#, Go, and more; not sure who is at the top, but F# is 100% at the bottom (just in my personal experience.) I wouldn't chalk it up to being too approachable.
Fair enough, hope I didn't come off to nitpicky or pedantic! I've always viewed blockchain cryptocurrency projects as git if you had to pay for changes, guess that crept back in here and I looked right past your point.
I omitted the '/s'.

In all seriousness, I could see the value of that in some idyllic context of a family farm but the days of having children for the sake of cheap labor are over (in the US at least).
Debate on National Endowment for Democracy CIA Ties
For those unfamiliar with the benchmarks, it would be good to know if a higher or lower score was better. E.g. are they measuring accuracy or error rate, etc.

You can infer it by reading the text, and checking the table carefully, but it would be nice if the answer is easier to find.
How does that not violate attorney client privilege?
I'd love to know what dynamic programming exercises you're asking interviewees to complete in the timespan of an interview that wouldn't show up on LeetCode.
Generate Tailwind classnames in your codebase with natural language using GPT-3
Hence five eyes
I took my first job in California, at a company in Silicon Valley (in the actual silicon industry), in 1985. Everybody knew noncompetes were unenforceable then, and in fact nobody asked for them.

The 1990s Web kids had a certain ideology that led them to believe that no law could possibly say what California law has said since 1872. But it has always said that.
Webb Maps Surprisingly Large Plume Jetting from Saturn’s Moon Enceladus
Yeah I share your worry. It's pretty terrifying for anyone at all to have the power that could come from the next waves of AI.
To Improve Your Work Performance, Get Some Exercise
And no one is listening to Chomsky, once again smh
I have, albeit not terribly extensively. I will readily agree that there are cogent arguments for replacement that pass the Chesterton's Fence test. But I also see quite a lot of "That's too complicated to bother understanding, I'll just do my own thing"
Parsing realistic (messy) JSON, usually. I would have expected F# to shine at that due to type providers, so it was doubly surprising to me. The F# candidates I've seen spend most of the interview manipulating the data.
There’s literally nothing informative in this article, it’s like they know some secret but refuse to say it (but in reality is just fluff). I have young kids and wanted to know more!
I’m fine with plastic where paper can’t be used so long as we recycle it or return it to the ground where it came from.

Glass seems great - until you learn that sand extraction might be the only thing worse in terms of habitat destruction than oil itself.
Isn't it nearly half the money they squirreled away? I saw $5B mentioned in other comments.

But yes, if you have good enough lawyers, you can get a better settlement than if you don't.
On the CAP theorem specifically, I refer you to:

https://medium.com/humanizing-the-singularity/why-global-tra...

I think you will find that if you think carefully the blockchain presents an opinionated solution to building useful globally distributed databases.

This breaks it down more explicitly. https://ancapalex.medium.com/a-cursory-introduction-to-byzan...

You actually have to think about this to understand it. From first principles.
There's so much more to explore, but not here.

It blows my mind that there are so many rabid supporters here on HN. There's no point in dialog there because there's no interest in that.

That said, we should be exploring how to hack society to "improve efficiency at scale", and that requires discussing policy and that is what politics is ostensibly all about. C'est la guerre.
Twitter is currently conducting trials on a new function called Community Notes designed to enhance the identification of potentially misleading media, as AI-generated images and videos become more prevalent on the platform. This feature utilizes crowd-sourced fact checks from the community to provide additional context to specific photos and video clips.
> In the event that they don’t match perfectly: “the startup process halts and the user is prompted to reinstall macOS”.

This feels weird. So they have a very low number of possible systems to support. The OS is immutable. Why would they go with a reinstall at that point instead of "we know which part failed, so we'll re-download that one block from Apple service"?

(I guess that one ties in with: so you've got a low number of systems and an immutable OS - why does it take 15min to apply an update)
It can’t be far off that they ship a BLE or Wifi enabled Sonicare that reports your best brushing habits to the app that then posts it on Facebook for philipPoints you compete with your friends on… oh shit… what have I done!?

Anyhow, blocking unofficial heads is just an OTA firmware update away.
Yeah, I love it. Learn about the entire process and keep going rather than cutting short after a perceived failure.
While I don't have a rosy view of swappable batteries in general, I must pick a nit. Drivers are mandated rests, but the trucks are not. A delivery company could operate swappable EVs at near 100% uptime.
I like the use of the term "dyad".
Like giving nuclear weapons to everyone. What could go wrong?
I don't think so, you can find quotes where George W. Bush showed a reasonably good understanding of Influenza pandemics, and Mitt Romney called Russia "without question, our No. 1 geopolitical foe".
I think they meant it in the literal sense; "programming requirements that are dynamic", not dynamic programming algorithms you'd use for the knapsack problem :)
You're playing a semantics game. How is a mandatory check of your residence status not a search?
Synagogue.
It involves a lot of preparation on my part. The ask for the candidate is usually a small service that does some trivial thing in our business domain. The interview problem is usually making a script to manipulate the data, or serve an API endpoint that calls my API and transform the data to match a certain output shape.
I won't say you're wrong.

But be very careful about dictating the allowable requirements for having progeny.

Historically speaking, it's a tricky area.
What magnificent achievement in a ten year span has Fidelity performed like Microsoft's founding CEO sets attention focus on the valuing of Fidelity's estimate over Elon M's best guess? Prices go up and down. The more than by a half Twitter headcount bloat downsizing not many CEOs have the ability to pull off and not create insider industry enemies. Twitter could be worth $1T looking at the rate of change and improvement driven by customer feedback compared to a conventional IBM or Linux Redhat customer having Twitter's previous bloatsize and no well informed technical oversight at the highest layer in the organization capable of rocket engineering equivalent.
There were exemptions to the ban, right? Maybe all these noncompetes were done under the auspices of the trade secret exemption? I believe you, and I'm glad you called me out, but I also trust my own memory of this. There's a string of HN stories about it, as well.
Can't squeeze blood from a stone. Not having the money today frequently means you have to make sub-optimal future decisions as well.
It seems, over an extended period of development, any enterprise software tends to become equally hated:)
Experimental decoy protects 100% of study mice infected with Covid
>because “it’s too complicated”

I personally "hate" Jira because it's so dumb.

I open an epic, to see the stories that still need my attention, it shows all the stories, so I hit the "Hide done". Then I thoughtlessly click on one of the stories, I edit it, go back to the epic, and now it shows all the stories again. Rinse and repeat.

I open a screen, it loads slowly, when I think it's ready I click on whatever I wanted to click. Apparently, it wasn't quite ready, so by the time my mouse-click lands, I click the wrong thing, which brings me to a new screen, so I have to go back to where I came from. Rinse and repeat.

I open an epic, click the button to "Add a child issue", it prompts a "task", I want a "story", so I have to change the selection in the dropdown. Next time, it prompts again a "task". How many times did I mistakenly make a "task" where I had meant to make a "story"?!

There's this sort of silly (to me) things all over the place, which has often made me wonder: do these people use this software themselves, and if so, do they take any pride in it?
> I'd love to see it if there's some way to do that.

Email info@animats.com

> Is there Linux support?

Yes.
People often get confused about negative feedback without specific details. I understand that people just want to share things, but do that with friends. IT's like commenting with a list of Google search results.
Deep learning-guided discovery of antibiotic targeting Acinetobacter baumannii
I'm part of a regional car community for a specific sports car model.

I've probably been involved for 6 years now. Originally the regional club had a board with people volunteering to have some responsibility for their subregion (parts of the Bay Area).

I first got involved just as a member going to meet ups.

Then I became a board member about four years ago. Helped host some meets and other events.

Then COVID happened and we stopped all social meets.

The last remaining board members gave up on it. So since about a year ago even though I had officially stepped down as a member before COVID, I decided to start hosting events again because people had been asking.

Some of my closest friends are part of this community and we don't only discuss cars. Some friends are also SWE's and some aren't. Makes for a good social mix.

I'd say the events I organize these days average 20-40 cars and about as many people or a bit more.

Just at the most recent one we had some visitors from a much further inconvenient region they said they'd really missed these events.

So it's really inspiring when people come up to me and thank me for setting these up. People get to make friends and talk about fun things.