skysight-inc/HackerNews huggingface dataset:
> So monads are from functional programming, right?

kinda.

they are needed where pure functional and lazy evaluation converge

in a pure, lazy language, you compute things based on dataflow

but what is the dataflow of a keystroke from the keyboard? you need an abstraction to get stuff like this into a pure, lazy programming environment

that's all monads are...abstractions to solve a problem
It sounds like you're making a case for "a necessary or acceptable risk" which I don't really agree with but I think is a valid position. But that's very different from the "no real danger" claimed above, which again I don't think anyone has the knowledge to honestly and confidently assert right now.
I'm not an expert, but this was the best resource I've found to break it down for me:

https://adit.io/posts/2013-04-17-functors,_applicatives,_and...
Major Rogers (AS812) BGP Outage 2022/07/08
Closest I ever got was working at Apple, and even then it was due to the fact I was on a very specific type of team, so I don't know if it was common case or not.

I hear Google is largely like this, but who knows anymore. I hear mixed things all the time. It feels like you have to find a specialized company that may be immune to certain pressures and likely top of their field or the only company really in their given market sector. Maybe Oxide Computer?

I think Supabase might be like this, given their marketing and hiring materials, but its hard to say. They're in a "long game" (according to their founder) so they think more long term. That tends to be a good indicator of this, I think, is seeing long term horizons over quarterly ones.
Considering they're trying to sell pods that go with this device rather than selling some general purpose device, I don't think you're correct.
Statements vs. Expressions
> value pursuit of knowledge over money

Or status over money, similar to upper-class careers in journalism.
I should also add, it's a common rhetological fallacy to advocate for withholding judgement when the evidence weighs against you
Yes, the standard membership covers two people for the base price. Makes circumventing the membership requirement all the more scummy and petty.
Scientists estimate that 50-80% of the oxygen production on Earth comes from the ocean. So yes, phytoplancton is an MVP. Good thing we won't kill life in the ocean any time soon due to climate change, rather only some of it.
I think the terms day 0/1/2 have caught on because they are constant across projects regardless how lacking or overboard the phase planning was. I.e. the project may or may not have much more detailed actual phases and those phases may or may not be obvious to someone without a background in the project but anyone can understand where the project is at without first ingesting the entire project plan.
I love that Iosevka is narrow (fitting more code panes on my screen) yet still makes all the glyphs clearly distinct.
The self-hosted dilemma – Home server or the cloud?
I don't think it makes sense to spend $300 on a tiny tub given how easy it is to do this stuff with jars or Ikea tubs. You'll probably want a lot of tubs anyway.
At certain karma thresholds, different things unlock. There's a list somewhere but I'm not sure if it's up-to-date.[0] It looks like top bar color can be changed once you hit 250 karma.

[0] https://news.ycombinator.com/item?id=853964
Question is: Do they put no effort in the desktop experience because nobody uses it, or does nobody use it because they put no effort in the desktop experience?
The problem with this is, dependency updates, security fixes. Software needs to be maintained.
Releasing source code or a good protocol documentation ensures this happens.
So this is a security hole, but isn’t the real reason for all these problems the fact that financial institutions don’t check identities properly?

There would be no identity to steal if thieves knew that any bank will properly verify they are who they claim to be instead of just handing them money after they recite a SSN…
HA!

Those ubi points exist to give people the discounts we aren't allowed to directly give because of Steam licensing terms. :D

The fact they even exist is a symptom of what I'm talking about.

(also: I never worked on uPlay, I worked in the same building)
> why do y'all keep browsing it now if you know you'll be getting rid of it as soon as the old ui stops working?

1) I still gain value from it now. Why do you buy an expensive car if you know eventually it will cost more to fix than it is worth and destined for the scrapheap?

2) The more people credibly saying that they will leave reddit when old.reddit disappears, the less likely it is to. Appearing in engagement numbers on old.reddit is clearly telling reddit there's a possibility I'm in that group.

3) If they do remove old.reddit, and then enough of us drop reddit, they may reverse course.
amount of times i was researching a product and seen amazon reviews 1/5 stars because the "delivery was late". super annoying.
> This isn't quite true - these comparisons don't evaluate to false, they evaluate to NULL.

Which large parts of SQL treat as equivalent to false.

WITH vars AS (
SELECT CAST(null AS INT) as X
)
SELECT 'yes this is a tautology' as "is this is a tautology"
FROM vars
WHERE X = X

The above query returns nothing, not an error because the value of X is unknowable. In a sane language, X=X and so it would yield "yes this is a tautology". SQL standard wants it both ways - it wants to say "boolean null isn't false" except when for its own convenience it decides that yes, null is false.

The truth, imho, is that SQL has an archaic type system. In this day and age it should be offering algebraic types where we can implement our own "empty" values and the like that may not use three-value logic as appropriate, so that I can say that for example End Date is blank instead of either unknown or Date.MaxValue.
This is pretty dated (2008). I am not a hard core functionalist. I get to work with the crap show of “multi-paradigm” languages, enjoying the the occasional list comprehension. I’ve never experienced a monad.

I am curious how much of some of the side comments made in the paper are still relevant? The quips about slowness, etc. Are these things that have dramatically shifted in 14 years, or only incrementally improved?
Back then I wrote a program to manage the inspection of Fire Equipment at Generating Systems, by myself, in Turbo Pascal. The inspections were recorded on Hand-Held computers (oooohhhh!) made by the Norand company in Cedar Rapids, Iowa. I wonder how well that code would hold up to modern scrutiny.

Here's a clone of TECO[1], which I fell in love with at Rose-Hulman, in Turbo Pascal, as a sample of how I wrote things back then.... roast away

[1] - https://github.com/mikewarot/teco
[matrix] Conduit Beta at Ungleich
Yep. It has really cool hiking maps. Especially in Europe.

Plus it is nice to use a non-Google product these days. In the Czech Republic and Slovakia we are lucky to have a company (Seznam.cz) that is able to come up with competitive products and sustain ~50% market share against Google.
It's carbon neutral if you don't consider time. But take wood which took 10-50 years or more to store up carbon, and then release it all at once... and now, while we're already releasing too much.

We can't grow it (absorb carbon) as fast as we can burn it (release it), so it's effectively NOT carbon neutral in our time.
On the contrary most programming history stories I read talk about how one had to come up with a clever solution or shortcut to hit a deadline…
Why?

If you destroy my property, you should pay to replace it. If it is no longer available then the lowest valid amount I can think of would be the purchase price.

Unless you want to argue that an official working copy on this game (now unique) would be worth less than the original steam price.

Also if you went to the cinema and watched 90% of a film before the management turfed every one out. Do you think a 10% refund would make it right?
I switched to Iosevka after I started learning Japanese, because the exact 1:2 aspect ratio of Latin characters means that square-shaped CJK characters align perfectly with the monospace grid.
Huge disagree on this. Old code tend to be much more terrible because the tools were terrible. They gave little incentive and absolutely no help to write even passable code. We end up with a mess of poorly documented, sparingly commented spaghetti code that sometimes work, often by accident.

Nowadays, we have linters to point out common classes of mistakes, programming languages with actual type systems to enforce invariants, integrated testing tools, etc...

Note that, yes, we do still have new, terrible codebases. But at least the tooling nowadays raised the bar to have a minimum floor of quality that, while very low, is still oh so much higher than it used to be.
Great work~

In this space there's also Univention (based on OpenLDAP+Samba), which bootstraps the whole configuration from e.g. domain setup to joins to other server instances. Manageable through a web interface as well. UCS aims to be compatible with Active Directory™ - so it still comes with all the legacy complexity of OpenLDAP and more.

If compatibility with external integrations or preexisting AD domains is a must-have, it's an alternative.
The main note here is more this is an informational RFC, which happens to still be draft, unlike e.g. RFC 1697 which is standards track. For non-standards track the review process can be extremely light in comparison since you're not making any claim there is consensus or official recommendation. For informational you pretty much submit it and as long as the editor agrees it's submitted to the correct category, somewhat reasonable, and formatted appropriately then it will be published. See section 4.2.3 of the aforementioned RFC 2026 (which itself is Best Current Practices, an entirely different group of documents!) for the specific details.

As an example of an equivilant informational draft I was involved in https://www.ietf.org/archive/id/draft-lapuh-spb-deployment-0... I can say it reached this stage with basically no review.

If you wanted to have an equivalently published document on centralisation stating the exact opposite of everything this one does you could have it up by the end of the month without worrying about review.
Homeownership is well below 50% of the voting eligible population in many major cities. But it’s the majority of the voters.

There are many studies on homeownership and voting. I recommend the book “The Homevoter Hypothesis” if you’d like to start informing yourself about these issues!
This is a self-inflicted First World Problem. Delete your Facebook account and it won't matter how shitty the site is.
Ya it’s true now there are some chances to do some tiny tiny steps forward to that by studying the light in the picture that is bouncing. I remember finding a video where they will beam lights against a wall and be able to generate a (very dirty) picture a hidden playing card by seeing how the light bounce (colors, angles, etc…). Maybe in a future where camera with a 100 times better image quality will be standard. If I find it will post it.

It’s like reverse engineering the light.
Many stocks don't have dividends - what about those ones? Are they Ponzi schemes? There are a ton of companies with stock values much higher than you'd expect based on their business performance - are those stocks Ponzi schemes?

No they're not. Neither is Crypto, and that's the only point that's being made here. If that seems controversial or incorrect to you, then I think you have some emotional hangup about crypto
In 1980 as a math grad student, I took out my bank's first student loan for a computer, $3000 ($9000 now) for an Apple II. My annual stipend was not much more. My branch of math at that time was a foot race with no rule against bicycles (they hardly knew what one was) and I saw computerizing my field as an alternative to dropping out. The Apple II didn't really help here; later we managed to bit-squeeze a viable computer algebra system [1] onto the first 128K Macintosh, leading to colleague adoption. Other friends got their start in computing, learning how to program the Apple II in my apartment.

One could learn the Apple II inside-out. I've never had that experience again. My first week I took a soldering iron to it to provide lower case support; I've been the surgeon for friends' computers ever since. There was a book (it must be somewhere on this archive) that explained the purpose of every byte in low memory.

For perspective, I was avidly learning Go as I started grad school, till I read on the back cover of one of James Davies' books that he had dropped out of math grad school to pursue Go. Ouch! The Apple II was a completely different, more approachable scale. I could master it and stay in grad school.

[1] https://www.math.columbia.edu/~bayer/Macaulay/
This is a good suggestion! and actually I already have tried it. It's a great game, but for my tastes a touch repetitive for someone who likes story arcs...
"All Australian states and territories now have a Reff greater than 1, meaning that even with the current levels of immunity, we are seeing an exponential growth in case numbers."

https://www1.racgp.org.au/newsgp/clinical/what-to-expect-fro...

Published July 6th.
Its a bubble / bust mentality though. I remember a lot of people pivoting from finance (the previous "winner" of high salary, high growth opportunities pre mortgage crash especially) to tech, that also corresponded with the rise of this culture, IMO. Still was happening until maybe very very recently, MBA's were flooding the tech sector looking for opportunities, founding companies etc.

Unsurprisingly, this is when "hustle culture" and the explosion of management roles started to take off in earnest.

Craftsmanship isn't a bubble / bust mentality. Good work should stand the test of time, as it were.
I'm Catholic myself. It is not anti-Catholic to point out that the fairly overt point of the sole major offered, and the institution itself, is indoctrination and political mobilization of a particular approach to inserting religion into government, nor is it anti-Catholic to point out that this would be prohibited in a public institution the way that the First and Fourteenth Amendments have been applied since late in the first half of the 20th Century.

> Would you say this about an institution affiliated with any other religion?

Yes, if it overtly sought the same thing but for a different religion.
> spate

TIL, thank you.
Apptentive | Senior Ruby on Rails Engineer | Seattle or Remote (US BASED ONLY) | attrs: Unlimited PTO, Salary + Equity - https://www.apptentive.com/

Apptentive is a small (67 of us!) company with a People First mindset and a vision of 'A Voice to Every Customer'. We help some of the largest brands in the world listen to and connect with their customers to create better relationships.

As a Senior Ruby on Rails Engineer, you will be part of a collaborative team and responsible for taking our current high load rails system and updating it to the newest versions. We service over 1.5 million API requests per minute and our SDK is installed on over 1.3 billion devices around the world. We are a small team ~15 engineers and our technology stack is built with Ruby on Rails, Scala, and React, running on Cassandra, MongoDB, ElasticSearch, and Kafka.

If interested, reach out to nikki.daisy@apptentive.com with your resume or apply directly using this link: https://grnh.se/b1a6a0f53us
Yep they certainly do. I'm sure there are also some ethically sound blockchain implementations out there somewhere.
> What I’ve come to realise since then is it’s not a joke. That’s the intention. Make it too prohibitive, risky, or impossible for public discourse to flow on smaller platforms and services; require the larger ones to become speech police and societal monitors

This is, I believe, also the intention behind the calls to repeal Section 230. It takes politics back to the simpler age where there were just a few entities deciding what the public were talking about, and they could be reached with either a bribe or an arrest warrant.

For a lot of politicians, who don't understand social media and mostly receive criticism on it, I can imagine them not caring if the costs of pre-screening all content ended up making social media accounts require annual payments. That would have the immediate effect of removing anonymity from users, and limiting online comments to people with disposable income (who could be profitably sued for insulting politicians).
> So, when checking, if customers have the same street we need to check the value. So, comparision is only valid if street has value defined. Adding null check in addition to equality check to ensure that the actual values are equal feels most natural to me (as this is how it's done in most languages).

Is it tho?

Languages with ubiquitous nullability will accept both being null or both being non-null and the same value. Languages with option types do the same (as long as the value is equatable obviously), this includes OCaml: https://v2.ocaml.org/api/Option.html#preds.

The only languages I can think of which seriously diverge would be C and C++ where this is UB.

Maybe if you way stretch it Java because it doesn't have operator overloading, but even there there's Object.equals which is null-safe... and returns `true` if both parameters are `null`.
There are people serving life in prison for growing and trafficking cannabis, the way the terms are defined have zero correlation with reality and therefore don't convey any useful information
Oh, so like everything else, just be rich. Got it bro.
>> so I would like to knock this classic out, but I am not sure how.

First of all, this sounds like wanting to "having had read" a book to check a box rather than the desire for the intellectual growth that comes from reading it.

> If other minds that I find interesting tend to mention a particular book a lot, I want in. I want to get it, to understand it, to have what they're having.

That isn't a book chosen for intellectual growth, that's a book chosen out of mimetic desire.

> The notion that people should only read things they already 'enjoy' is modern anti-intellectual bullshit.
Perhaps enjoy was not the best word for me to use.

My point being, there are more classic books and books which other intellectuals reccomend than there is time in the world to read. Rather than keep banging ones head against the wall because this particular book does work out, they may be better served by trying a different book (one of the other 1,000s).
Once you've accepted that X=X doesn't return TRUE when X=NULL, NULLS DISTINCT is consistent with that. ANSI NULL three value boolean algebra is insane, but it's insane in a pretty consistent way.
I don't know any Filipino people currently in the Philippines, no.
Yeah in rural areas it's hard to justify building public transport. Villages can still have grocery stores though. But we were talking about cities here
>> I thought it was weird nobody considered donating to a Trump campaign or PAC in exchange for a desired outcome, in 2020 convicts and senators did that to mitigate consequences

This pardon could not have been without some back-story:

https://www.cnbc.com/2021/01/20/anthony-levandowski-pardoned...
Perhaps we should be burning manure here... there's a LOT of it to share.
Vicious cycle is just dynamic systems jargon. It means something is going to naturally shrink if it gets small.
You're technically right: a doesn't necessarily run before b, but that's pretty irrelevant. The only case in which it matters which one runs first are if one of the two results in an exception, which is rare especially in idiomatic Haskell code.

The effect described by (a x) certainly runs before the effect described by (b x).
Calibre 6 adds full text search, though not sure if that works from the web interface.

https://calibre-ebook.com/new-in/fifteen
In general — not necessarily this specific issue — I’d take the lone person pointing out a flaw. Things designed by committee are always compromises at best. Sometimes that’s good, and even necessary! But it doesn’t tend to lead to clean, elegant design.

This could be both the right thing for RISC-V and a wart on the design for high-performance implementations.
I may not have been harsh enough.

The ST monad (enclosing mutable state to use it in a linear, non-branching fashion) is indeed a good example of a monad.

Calling that the essence of monads is as accurate and helpful as calling it a burrito [1].

Future downvoters may want to try to reconcile any of the other common monads (Maybe, Either, List, State, Parser, Reader, Writer) against this enclosed/mutable/linear/non-branching definition and see if the essence fits.

[1] https://kjaer.io/a-monad-is-not-a-burrito/
You're straw-manning and shifting the goal post.

I have no problem with greedy corporations. What I don't like is people changing stuff on me when I didn't opt in to that change. Imagine if someone broke into your house and rearranged all your furniture. That's what it feels like. I don't like not owning my software and not being in control of things I pay for. I don't like not getting to decide if/when I upgrade and what I upgrade to. No one had to upgrade to Windows ME. That's my one and only point.

I don't know why you keep trying to shift the conversation back to video games. Video games are a very different type of software from most and I don't play them or have any interest in them. They're completely irrelevant to the conversation as far as I'm concerned.
Ask HN: Our personal domain name will expire when we die, how should we do?
If our domain name is no longer valid, then all the links included on Google will also be invalid? Shouldn't we use github.io from a long-term perspective, so that the probability of not expiring in the long run is a bit higher?
> Wait... so you need a USA visa just to fly a route that goes via the USA, even if you never leave the airport?

Yes. There are some details at the following article: https://en.wikivoyage.org/wiki/Avoiding_travel_through_the_U...
Interestingly, that doesn’t happen in most places - there’s a fairly stable proportion of people who want to own, so you get condo construction.
Once I'd worked it out - which was after the problems were public and therefore the price had utterly cratered - they were by far the cheapest storage per Gb available at the time (think "by a factor of two").

I would not have let a normal business user near one, but the developers I was supporting were most pleased about their larger than expected scratch disks for test databases and intermediate compilation artifacts.

Everything breaks. Things that at least break predictably make me happier than the alternative.
Visualizing Delaunay Triangulation
I have a feeling that to do it right, it'd have to be a collaboration with an enthusiastic private partner, if for no other reason than available expertise. One city, Hamilton, Ontario, years ago tried out free public wifi. Great idea, but this was way back before smartphones were as big, so basically everyone used computers to access the internet. Not a huge deal, but the city rolled it out so poorly that the end result was signal strength that was only usable outside. Since few, again because of the time in which this happened, use an internet connection outside, few people were able to use the service, and it eventually just went away. A week of testing would have found this issue, but nobody in the city thought of doing so, likely because nobody technical enough with enough time was involved in the entire project -- it was simply a great idea, but nothing to back it up.