skysight-inc/HackerNews huggingface dataset:
You have a lot fewer candidates to pull from too, which is often a more limiting factor for a business.

Business don't need everyone to be a rockstar who's also a FP whiz. But FP languages need that.
> How can you "Make illegal states unrepresentable" with mutable state and sequences of mutations that cannot be enforced with the type system?

I think you're confusing "make illegal states unrepresentable" with "parse, don't verify"? If your type cannot represent any invalid states, there's no way you can reach them through mutation.
Where I am (France) there is no such button in the mini map.

The workaround I found, after at first assuming that the maps integration was broken, is to click the directions button underneath the map. This opens Maps and draws a route from my current location to the address you searched. Which you then have to dismiss and zoom to what you were looking for. So a few clicks + navigation.

It's the principle though. It's making my user experience worse and I think it's fair for Google to point that out.
Makes sense. That way it reinforces those accumulated companies so they remain best in class.
You could also build something like this with in val.town with their email handler[0]!

[0] https://docs.val.town/types/email/
There are organisations like the Software Freedom Conservancy who, even if they themselves can't help, can probably help you try and find somebody who can.

I'm not suggesting any particular maintainer *should* decide to fight, or even consider whether they want to try - that's very much up to them - but assuming that fighting is untenable in advance without exploring options is something I'd consider an unnecessarily unfortunate outcome.
Ha, the experiment will run in Germany, Belgium and Estonia. Estonia seems to be added for not making it too obvious they are targeting the decision centers of the EU.
> Random perturbations are a parsimonious explanation, but a deeply unsatisfying one.

Why? I've always found it satisfying - it matches with how a lot of other things in biology has happened.
The problem is "I have an onion that is spherical with even layers. How do I cut it into pieces with equal volume?"

It's more of a geometry thought experiment than a practical epicurean "problem".
> Both of those things have very little to do with server environments

My experience of bigcorp is that they need lots of servers (http is the modern bailer twine) and want developers to act as far as possible as indistinguishable resource. They will have rotating, high churn, globally distributed teams of vendors, contractors, consultants, internal staff and the teams will encompass a vast range of skill levels and abilities.

Some languages amplify skill level disparity, some attenuate it.
I very much appreciate your advice. How would I recognize the different forms of B6 in the bottle? Would you say that a multivitamin from a well-respected company, like Centrum, would be a good choice? I'm trying to lower barriers here, for myself and my family.

Again, thank you.
There's one book that discusses a few related questions from a very mainstream perspective: Functional and Reactive Domain Modeling (https://www.manning.com/books/functional-and-reactive-domain...). The emphasis here is on practical while most similar resources tend to go too hard in the Haskell-on-the-JVM direction.
DEA passenger searches halted after watchdog finds signs of rights violations
Pretty amazing... the market overall for consumer digital cameras has crashed over the last decade due of course to smartphones making a dedicated camera kind of redundant for the majority of consumers. But Leica shows that even in a crashing market there is room for some to succeed! Btw., it was Leica that popularized the 35mm format for photographic film.
> Is immutability exclusive to functional programming?

No, but immutable defaults are powerful.

E.g. in JavaScript / Python, the built-in lists and dictionarys (which are blessed with special syntax) are mutable.

> Is the ability to use data/values exclusive to functional programming?

No, but expression-orientation makes this less painful

> Are monads exclusive to functional programming?

You can hack them in by abusing co-routines or perhaps async/await in various languages, but it will never be as good as something built for this purpose.

Type-inferences, type-classes and do-notation make monads workable in practice.
thank you so much <3
Yeah, good question! The reason we went open-source is really about transparency and flexibility. We want people to trust what they’re using and have the option to self-host if that’s what makes the most sense for them. Open-sourcing the browser API also lets us build a better product with input and contributions from the community—it’s a win-win.

As for the infra, it’s not totally free—our managed service is there for anyone who doesn’t want the hassle of hosting and scaling everything themselves (although it does have a generous free plan). Going open-source just gives people the choice: run it yourself if you want full control, or use our managed option for convenience and scale. It’s all about making browser automation more accessible without forcing people into one path.
The Dodo bird could probably be considered a dinosaur, not entirely wrong...
> By either marking your data as const, or encapsulating mutations with private fields and public methods

That would seem to be making illegal states unreachable rather than unrepresentable, closer in spirit to "parse, don't verify".
> If you write comprehensive unit tests...
Sure, but I think that's a form of arguing about semantics.

Let's say I argue that our universe is fine-tuned because the constants of the universe were decided by dice roll and that there are a trillion other universes with no chance of life.

What about the "substrate" within which these trillion universes formed? Wasn't it fine-tuned enough to give rise to at least one universe (ours) with life, just as our universe was fine-tuned enough to give rise to our planet?

Now I could argue that actually there are a trillion such "universe substrates" and ours is the one that's fine-tuned. However, it's clear that eventually, everything must converge to a single base layer of existence that just so happens to be "fine-tuned" enough for everything above it to produce at least one instance of life. But this is trivial.
Warp terminal – no more login required
Django-Distill I found to be pretty good for this. Use Django and the admin interface while being able to generate a static site.
For my Factorio friends out there, this sounds like grounds for a mod that let's you "mine" nutrients in space
I'll speak it. The law in question is reasonable.
That's almost guaranteed. Valkey is going to have to fork and maintain their own client libraries.
Excellent find! That text actually begins here, much more poorly OCRed:

https://trove.nla.gov.au/newspaper/rendition/nla.news-articl...

https://trove.nla.gov.au/newspaper/rendition/nla.news-articl...

so that the GUI version is probably easier to read ( https://trove.nla.gov.au/newspaper/article/60178733 , https://trove.nla.gov.au/newspaper/article/60177234 ).

Also, TFA itself links to a transcription of the (according to TFA, "chopped ... excising most of its political arguments") Leisure Hour reprint:

https://docsouth.unc.edu/neh/jjacobs/jjacobs.html

It might be interesting to compare the two. In fact, I would hope that such a comparison appears in Schroeder's new edition. A university press is exactly where I'd expect to find a "critical edition" or recension of a 150-year-old narrative that exists in multiple versions. If university-press publication is appropriate for a critical edition of Shakespeare or Pulci, it seems equally appropriate for a critical edition of John S. Jacobs. You're not paying for the transcription, you're paying for the scholarship.

The only weird things about this story, to me, are:

(1) The book-jacket design screams modern pop, where I personally would have gone with a more "serious"-looking design, like you'd find on a Penguin Classic, or even on an Erik Larson novel.

(2) It's not clear what they mean "rediscovered"; I scanned the article looking for the traditional discovery narrative, like "he inherited a manuscript" or "a yellowed newspaper clipping" or whatever. Here it looks like the "rediscovery" was basically that it came up in a Google search and he said "oh that's neat, someone should republish that in real print, on paper." Which is fine and great; we should republish more out-of-print work. It's just not the traditional media narrative of a "rediscovered" or "resurfaced" lost work; it's more like a tracing of the familiar narrative beats from which the actual plot (the physical discovery of a lost work) has been surgically removed.
ah great tip, this works for me too (chrome on iOS)
Avoiding manufactured food is absurd to a level I didn't think needed explanation.

Even from a logistics POV we're 8 billion on this planet, concentrated in cities. Everyone following that philosophy would bring a food chain collapse.
Off topic, but the incorrect capitalization of the article misleads one to believe this is related to “The Onion” rather than “an onion.”
But there already are many search engines?

I recently got a couple of new windows laptops and Edge defaulted to Bing, but after changing away from Bing it is relentlessly trying to make me set Bing as the default search engine every few days.

Note that I am using Edge here, not Chrome. Last time I installed Chrome I think it forced me to pick a default search engine, and didn't endlessly harass me to pick Google as its default (I use duck duck go)

I don't see how they could break up Google without forcing MS and Apple to also be broken up too since they're doing the same things with forcing Edge/Bing and Safari on everyone.
I recently learned that my neighbor works for Partners in Health (pih.org). They have built an open-source EMR, which they use in far-flung regions like Haiti. I suggested that they can maybe sell their software under commercial terms in the US, to subsidize their international work. Her comment was that EMR systems like Epic are actually a billing system, less a medical record system. The whole system has been built to be opaque.
I love how deeply nerd-sniped you have been by this topic. It's wonderful to be able to observe your delight in solving this. Thank you for sharing.
If Rimworld (the game) is to be believed, people that eat too much nutrisludge will eventually snap and eat the people around them.
That origin doesn't tell me why it was popular.

Also, the ads were common in the UK where I was growing up, and the Superbowl was not as I recall broadcast on normal TV (we didn't have sky or cable, though that existed, so possibly that?), to the extent that I had to google the event to find out which sport the superbowl even was — I'd incorrectly guessed the other famous US sport of baseball, which is also not a big thing in the UK.

I don't think I've ever even noticed American Football being on UK TV at any point.
> Make illegal states unrepresentable

This is a nice ideal to shoot for, but strict adherence as advocated in the article is a short path to algorithmic explosions and unusable interfaces on real life systems.

For example, if you have two options that are mutually incompatible, this principle says you don't make them booleans, but instead a strict enum type populated with only legal combinations of the options. A great idea until you have 20 options to account for and your enum is now 2^16 entries long. Then your company opens a branch in a different country with a different regulatory framework and the options list grows to 50 and you code no longer fits on a hard drive.
For someone who suffers from anxiety like myself, and therefore empathizes well with the perspective in the article (i.e. an emotionally-charged event can have an impact on my productivity):

I think a better approach is to focus on becoming emotionally resilient so that things don't overwhelm so easily, or so it's possible to reset even given an emotional challenge. At least, that has been critical in my life to avoid spirals of self-recrimination or agonizing over things I can't affect or control.
`?` and `let ... else` both partially address this, yeah.
You don't know that the child wouldn't have grown up Hitler.

The argument seems similar - not exactly, but similar - to the question "if global warming is real, why is it snowing here". A function describing the maximum global integration over happiness could very well contain many local minima.
> 640k should be enough for everyone
Related - @ cafe in new york city (1995-1996): https://news.ycombinator.com/item?id=12579969 > https://www.vox.com/2016/8/24/12593214/internet-cafe-history (2016)
The first two questions are so different than the rest and oddly specific.
For people wondering how this is possible:

> In the Caribbean, Dutch Guiana, and Brazil, the enslaved death rate was so high and the birth rate so low that they could not sustain their population without importations from Africa. Rates of natural decrease ran as high as 5 percent a year. While the death rate of the US enslaved population was about the same as that of Jamaican enslaved persons, the birth rate was more than 80 percent higher in the United States.

> In the United States enslaved persons were more generations removed from Africa than those in the Caribbean. In the nineteenth century, the majority of enslaved in the British Caribbean and Brazil were born in Africa. In contrast, by 1850, most US enslaved persons were third-, fourth-, or fifth-generation Americans.

> Slavery in the US was distinctive in the near balance of the sexes and the ability of the enslaved population to increase its numbers by natural reproduction. Unlike any other enslaved society, the US had a high and sustained natural increase in the enslaved population for a more than a century and a half.
She makes some good points, but my take is that we in the 21st century are more bound to the success of our weakest links. Our world has become so complicated, one small mistake can have dire consequences. So, it's the state's priority to spend its limited resources helping those struggling to tread water. Gifted children will get the stimulus they need at home via independent study or from their family. I know since I gave myself an almost complete college education in computer science before I graduated from high school. Splitting gifted kids apart can warp them socially for life too.
> others, like breakfast cereals, bread and yogurt, were instead linked to lower risks for cardiovascular disease.

This surprises me. A lot of breakfast cereals and sweetened yogurts are basically candy, and I would have assumed are heavy contributors to poor health.
MS has all the same issues as Google, this is why they can release inferior product and have it survive in the market. I also use DuckDuckGo as would many other people if you severed Google Search's monopolistic lifelines.
I don't disagree at all, but is there anything ambiguous about the health benefits of avoiding UPFs as defined by the Nova classification system? It seems the criticism I was responding to was more about the classification system being too strict, rather than lacking clear evidence of health benefits.
Let's go Dex, congrats on the launch!
yes, atomization is certainly one strategy, though often people enjoy onions that are not a slurry.
It's not because of BLM. It's because of Prop 13.
If that is what was needed to be compliant with DMA, then it makes a mockery of the whole thing.

All the wailing and gnashing of teeth, and it just takes another click to be compliant and everyone is happy? What a waste of everyone's time if it were really that simple and what all the fuss was about.
Also "Multi-project runner" is supported, Vitest has workspaces feature.
Thanks. Also, while Hercules can do Salesforce, we've also checked it for complicated scenarios on the web (and there's an eval folder too). We'd love to know about your feedback and thoughts.
He also wrote a fascinating biology textbook (“The Science of Life”, with two co-authors) and a book about the economy entitled “The Work, Wealth, and Happiness of Mankind”. His nonfiction work deserves as much attention as his fiction, it is excellent.
“But they’re not just fine. Gifted children, more than others, tend to shine in certain ways and struggle in others, a phenomenon known as asynchronous development. A third-grader’s reading skills might be at 11th-grade level while her social skills are more like a kindergartner’s. They often find it hard to connect with other children. They also are in danger of being turned off by school because the lessons move slowly.”

Huh. I was a gifted kid. I was also an ass. But now that I think about it, I was mostly in ass in reading-based classes. I always read ahead of the curve and have a short-term near-photographic memory, and so excelled at recall-based examination, which is most of the liberal arts and social studies in school. Meanwhile, I never acted out in my math classes, particularly once school went multi track, and I didn’t consider that it was because I was engaged. (My math, economics and engineering teachers consequently liked me more. Go figure.)
Other parties should succeed because it's good for me, the consumer. If I need to take a trip, it's not in my interest at all for Google to be in the value chain and for me to pay the monopoly penalty as a consumer.
Are there really no public school gifted options in the bay area?
The findings in the article basically came down to - people eat more calories when it tastes good. Even the article itself admits there are a multitude of other factors that could account for the results other than UPF.
Edge, Bing, and Safari do not have majority market share. It would still please me to see these companies broken up. They have their own obnoxious and/or harmful practices that are the result or of attempts to be monopolistic.
Some part of it must be how small all the parts get when processed so you take in everything really quickly.
> Yes, this is the practical reality of the law. What the law says on paper that isn’t enforced isn’t relevant to one’s day to day experience of it.

You can say that about any law. It is a negative argument. The law not being enforced has no relevance to my earlier statement; you incorrectly arguing employees have far fewer rights over consumers.

> The point is as a consumer various public bodies will do this for you. As an employee (or investor) you have to do it for yourself.

Once again, not true. Investor protection is literally the job of the SEC. OSHA protects employees from hazard workplaces. Every state has an agency that investigates wage theft. Many states governments make most of their money from personal incomes-they have an incentive to prevent wage theft.

Honestly, I would argue consumer protection is the weakest in the US of the three.
> how pelicans will raise two chicks and then kick the weakest

there is a youtube video ( pls don’t watch ) that gave me nightmares for days on end. i had completely forgotten about those pelicans and now you had to bring it up again in the comments. the little pelican had a broken leg. It was limping, so mom and brother together pushed it out of the nest. Very cruel.
I’ve been wanting to play with Kotlin or Ruby.

Kotlin/Closure are more attractive because of their multi-platform support, but Ruby has RoR, but the code looks cleaner which is nice.
What is the goal for gifted students?

Skip a grade and teach them stuff ahead of time (No, their social skills cant handle it apparently)

Teach them extended topics... aka waste their time on stuff they can already do.

I was able to skip 1 grade in college due to my insistence on taking college classes in high school. Everyone from parents to teachers were against it. Had a random adult I met working tell me about it and I got it in my head.

I don't really understand pacing of US K12. In Retrospect, its basically teaching people math and reading skills. If we are just looking for daycare, sure the status quo is fine. Otherwise it seems school should be built around those fields rather than arbitrary ages.
Employers then would have incentives to lower the cost of urban housing. I prove public transportation and I prove urban life. That seems good to me.
Interesting. Is that something they do with geofencing or by TLD? If I go to google.eu, I get redirected to google.co.uk. After Brexit, is this by design on theGoog's part to not have to abide by EU laws? Do I need a VPN so my IP appears to actually be from within the EU?

I'm really curious to see differences in how theGoog behaves.
An interesting claim to make. Do you have evidence to support that position?

I could just as easily offer a valid counter analysis to explain the data. They’re “hard” just because there’s so many easier avenues so attackers just often don’t bother not because they’re intrinsically unlikely. Let’s say you’re successful in eliminating temporal & spatial classes of failures completely (even Rust proponents do not claim this). They’ll focus on data races and type confusion next.

> Both are considered safe languages

Go is considered a memory safe language today because C and C++ are the anchor that we compare against and we have overwhelming evidence against it (but it’s also where a huge amount of value is in terms of the systems they underpin). In 50 years time, it’s not inconceivable that a lot of the languages may lose their memory safety designation if their runtimes continue to be written to C/C++ (Java) and/or data races remain unaddressed at the language level (Go) and we have overwhelming evidence that exploits just moved on to architectural defects in those languages.

It may raise costs of exploits but cybercrime is estimated to be a 10T dollar market next year so there’s clearly a lot of money to put towards exploits.

> from a practical point of view I don't know how realistic is to retrofit memory safety to a language that lacks it

I think letting people evolve into a more memory safe situation is good. I think doing it partially instead of tackling memory safety in all its forms is just asking for trouble - your attackers will be able to develop exploits more quickly than you are able to update all existing code to more secure language features.
Great work!

I'm looking at a PostgreSQL integration here: https://github.com/modelcontextprotocol/servers/tree/main/sr...

I have a case in mind where I would like to connect to multiple databases. Does the integration endpoint specification in claude_desktop_config.json allow us to pass some description so as to differentiate different databases? How?
Lisa Simpson: "Look (the boar) is licking the slime off that rock! That's what he's been eating: slime!"
I saw the headline and assumed it was going to be about the Beef Dimension: https://theonion.com/kenji-lopez-alt-returns-from-beef-dimen...
> A lot of breakfast cereals and sweetened yogurts are basically candy

Apparently "basically candy" is not the same thing as candy. That is a great find, lets us eat basically candy without the health consequences.
And? As the article says, they've funded thousands of companies. Of course there's overlap. It would be weirder, much weirder, if they kept a conflict list like a law firm and avoided funding things that intersected their portfolio.

It's hard to emphasize enough how little YC knows about the companies they fund, and how little influence they have over the companies once they've funded them. Often, there's barely a company at all, just a small team that YC takes a shine to. Even if YC wanted to keep a conflict list, they couldn't: companies joint the program with one idea and launch with another.

To have a problem with that is to have a problem with the entire concept of YC; this is the process they invented, that they're notorious for.
Police departments across U.S. are starting to use AI to write crime reports