skysight-inc/HackerNews huggingface dataset:
Fixity and associativity control at least at the haskell level.
Notation comparable to Coq level.
Generics without jvm limitations.
Subtyping or subsets of inductive types.
Rich signature overloading.
No need for general recursion, loops etc.
Pretty printing out of the box.
Static literals (from the binary directly to memory).
I don't think it has much to do with social media, other than if you were in the same physical space as many online influencers and trying to have a mundane conversation with them, there would be so many behavioral red flags that you would never follow them anywhere.

Instead, it's the same effect as "nobody gets fired for buying IBM." If you follow the crowd, you won't get punished even if what you're doing turns out to have horrific consequences. At best, one could argue that echo chambers fool mob participants into overestimating the size of the crowd, but people on twitter are fully aware that there are people who hate them, and that they hate, and the most unhinged of them spend all day following those enemies around lobbing insults at them, and trying to get them fired or hurt.

There's a significant and illustrative overlap between public opinion-havers and tv/press pundits: pundits got fired for being right about Iraq, CIA black sites, etc. Everybody who was wrong about those things is still being trotted around as if they were an expert on something. Because this is a game of playing it safe, not a game of truth. If something is dangerous, like deviating from the crowd or the boss, do the other thing.

If you see a crowd of wolves surrounding a sheep, be a wolf, not a sheep.
https://zchee.github.io/golang-wiki/Go2/

https://www.youtube.com/watch?v=RIvL2ONhFBI
Tell HN: Reddit Appears to Be Down
https://www.reddit.com/
https://downdetector.co.uk/status/reddit/
Not just that -- people like the luxury shopping experience. Even if you could buy an LV bag or a Rolex on Amazon, people would still do it in person if they could.
Yes, data would be good.

To answer your anecdata: There are kids in public school who are clearly behind, too. In fact, I wonder (also without data!) if the same kids from the same families would be behind in public school. And then I wonder whether they'd be more behind or less behind.

As I said, no data. But it takes heroic amazingness from the school to make up for a badly-screwed-up home environment.

And that's really depressing, because I don't know of any policy that can fix badly-screwed-up home environments. You could take the kids, and we do if it's bad enough, but the bar for that is very high, and rightly so.
The Temple Bar (Dublin) actually makes this publicly available. They also have a feed of the inside of the bar so that you can virtually experience Ireland.

https://thetemplebarpub.com/
> My personal experience

That's why high N studies, or (like this study) meta studies are so important.

What is aging anyway? Those who follow a plant-based diet live certainly longer...
I don't understand the difference between telling photoshop to sharpen an image or remove red-eye and using AI to generate based on a prompt. Both of them are software modifying your canvas.
Skills and experience aren't the same thing. The second amplifies the first. If you aren't good at/don't like leadership then finding less senior people who are better at it is not going to be hard. Fortunately leadership is only one skill among many that are valuable in engineering.
I was looking for this reply. Imagine if you needed to hire an artist but 9/10 listings are from alibaba express, full of fake reviews (other nonartist techies commenting on ai art)

Or maybe because this is where artists place their portfolios and theres no reason to make ot that much harder to find.
Article was interesting, my comment pertains to the "electric schoolbus" paragraph lower on the page :)

When I commuted between the South End and Cambridge MA for work right after college my roommates and I would make bets as to who would end up being late to work because the Cambridge Public High School electric schoolbus would break down, blocking a major road. For those who don't know, there's no great way with public transit to go from one end of Mass Ave to the other on any given day during rush hour. Train is about 1.1 hours, bus is 40 min best case scenario.

I kid you not - this was in 2019.

Ironically, also around the time Bird attempted to launch in Cambridge. This commute problem was later solved after we asked a Cambridge Police officer if we could buy impounded Bird Scooters in bulk. We each picked up 15 scooters at $8 per pop (basically brand new - sans new controller) and kept the rest in our basement. Ergo, "free" transportation for the next two years. Granted, NEVER buy a Ninebot product, the scooters on average would last around 105 miles prior to having a major mechanical or electrical failure. For those who are still reading, scooter cut the 40min bus commute to around 14 minutes.
James Webb Telescope reveals Orion Nebula in 'amazing detail'
https://asciiflow.com/
Yea, and I guess I agree we can't enforce it, we can just do things to make it easier to become open minded. One way to do that is to force people to interact in close proximity to cultures and individuals who are different than what they have experienced to date. Mostly, today, that involves putting people of different skin colors and sexes together. Tomorrow, perhaps we'll have to make sure humans and intelligent cows work closely together, I don't know (I'm serious! perhaps if humans and cows spent more time together we'd eat less of them?).
In healthcare I think the EDI would be considered HL7 if I am reading this correctly. I worked with HL7 for a number of years and it is absolutely horrendous. It does work just well enough and is just fast enough though. So much of the issues of creating larger scale health exchanges in the USA I attribute to monopolies in the industry (Cerner/Epic) and things like HL7.
Once a message arrives on my phone, other people shouldn't be able to delete it.
Because WFH untethers companies from time zones and, if embraced, this makes core hours a quaint and unworkable concept.

I have coworkers on every continent and in most time zones, so I have no core hours to abide by. If I did, then some of our best developers would never see the sun.

When I did work in an office, many years ago, I was less productive because I was forced to work when I was tired, hungry, outer otherwise not mentally optimal for it.
Hum, some parts are obviously reasonable: there are a certain amount of reactionary people in all modern society (like probably in any society) and for relevant cohorts they mostly concentrate in management.

BUT some parts are obviously crazy IMVHO: hybrid work is a no go:

- for a company it means still having office costs, BUT for an up-front unknown number of workers witch inevitably means less used but fully paid offices, plus extra costs for extra gears because not everything can be moved back&forth;

- for a worker means being tied to a geographical location, typically a city, where typically density do not allow amazing gardens and individual homes, plus the need to move gears back&forth

- for both means creating issues between cohorts of workers who do not "meet" much each others, a "pro-office cohort" who tend to work as a team ignoring those from remote and a remote one who tend to be quicker and chatty ignoring the in-office one.

What I do not read, nor I do not found in wide public debates are other and IMO much more important and uncomfortable issues that NEED to be discussed carefully:

- WFH must not means "smart working" in the sense "get this craptop and craphone and work the f* you like" but rent a room to your company/from the worker with proper services and safety (for instance locked door to avoid judge-cat or couples having sex during a work meeting, to cite famous recent episodes), so it must be a SERIOUS choice for BOTH party involved: the worker MUST provide a home office, the company must pay it's use;

- WFH have bug "market" issues: skilled workers normally haven't much of them, but the total fraction of eligible remote workers in majority have them; if you live in a cheap country you can earn less and still having a good life. Witch means on one side a legal/fiscal nightmare with companies trying to hire people from third world countries, some workers from the west migrating "just a bit south" and an overall fall in quality of anything we already seen here and there, for workers a salary war with all the premise to be a modern slavery war;

- for society WFH for all eligible ON SCALE means a little big revolution that depopulate cities, pushing non-eligible workers like downtown bar/restaurants, cleaning services etc, no one know where. Witch means BEFORE starting a stampede like covid-era flee with so many facing "unexpected" (obvious) issues like "holy crap my mountain home ADSL is reeeeealy slow!!!!" and beyond a plan to figure out how things will change need at least a public debate and analysis;

- property values change are also an important issue: people who own homes/flats in towns will suffer and some will be in trouble creating another potential societal issues with few sharks that try another estate bubble.
I've read and understood this response. I've re-read and tried to understand your original comment criticizing the article. I do not understand it, though (except that it highlights the article's tone—critically).

Who is the opposition to Huemer (the author of this article)? What does animate their opposition to his case?
Facebook Censors the Falling Man
What identities/affinities were invented in order to be able to benefit from the systems which reward them?
That’s true but it’s not what they actually mean when they say “diversity” so all of this should be left out of the essay.
>The people or organizations to which AI-churned art appeals to most desire commercial visual churn. They are the same people who would in any case have least cared about art in its more creative, communicative forms.

I specifically addressed this in my original post. You're exactly the kind of person who would possibly like this AI technology, and apparently not someone who would have an appreciation for art in its artistic, emotionally appealing form. Your disagreement is based on a misunderstanding of definitions.
Mostly private IP still but this is bound to come out at some point. There are some folks on Fiverr who've definitely technically figured out some kind of solution.
> Many laptops have modular barrel connector subcomponents that are easy to replace for anyone who is comfortable opening laptops.

That's one thing that makes me a bit uncomfortable about the current trend to use only USB-C for charging. At least on my current laptop (and I believe many other models from the same manufacturer), the "traditional" barrel connector is separate from the motherboard, connected to it by a short length of wire, while the USB-C connector is soldered directly to the motherboard and reinforced by a piece of metal. Any mechanical stress to the charging cable (for instance, from tripping on it) will go to the chassis for the barrel connector, but for the USB-C connector it will go directly to the motherboard.
Author did not even try to understand what a conscious is. Article seems like lots of somebody's ideas picked without any kind of backbone or maybe references.
Sure, although it's not a ton of heat either way and doesn't make a large impact on the net cost.
That fits, seems like Nvidia is heading in the same direction AMD did years ago, but is a long ways from nearing the functionality and performance of the binary driver.
This, incidentally, demonstrates why I love the ownership model (single ownership and aliasing-xor-mutability referencing) seen in Rust (and a few other languages are poking around with similar concepts). When working in Python or JavaScript as I sometimes do, it’s generally the feature I miss the most.

The problem here comes down to not knowing whether you’re allowed to modify a value in-place or not, because it’s not clear who owns it: it wasn’t written down anywhere, and in stable-diffusion alone it was fine to mutate it, but textual-inversion did something so it wasn’t (perhaps passing it something it expected to not be mutated). This is a moderately common type of bug that can be extraordinarily difficult to diagnose—it’s unusually easy to pinpoint here because it promptly raises a RuntimeError—and which is statically impossible in Rust, because the whole “am I allowed to mutate it” thing is resolved in the type system.
> It's a Ponzi scheme when it's not sustainable.

That's such a general and undeveloped affirmation that you probably don't even believe it yourself.

Here is the real definition from Wikipedia:

> is a form of fraud that lures investors and pays profits to earlier investors with funds from more recent investors.

Pension systems are not a fraud. If you believe so, we do not live in the same reality.

Taxpayers and pensioners are not investors. They are people who want to live a descent life.

Not everything should be viewed as a financial market. Reducing everything in life into a spreadsheet makes you believe in fairy tales. People end up believing they are going to become millionaires by investing their hard earn dollars into actual Ponzi schemes like bitcoins and the like.

Rich countries are producing many times more than what they need. There is plenty for everyone to go around, they just need to organize themselves a little better.
A good reference. I don't think it was really needed in the same way that e.g. a JSON or C++ spec was, since the language is so simple there's not much room for ambiguity. Definitely nice to have anyway.
Show HN: IPDetective – An API for IP bot detection
IPDetective collects data from about 60+ different sources such as official cloud provider endpoints and public VPN/Proxy/Tor/Bot net lists. Then aggregates this data into a fast and easy to use API that can be integrated into applications or scripts easily.

IPDetective started as a hobby project for my other hobby projects :) and I decided to wrap a simple website around and offer it as a service.

Let me know what your thoughts, if you find value in this service or if you have any feature requests.
> Either you're against discrimination or you're only against discrimination against <protected class X>, which makes you a discriminator.

"The Master's Tools Will Never Dismantle the Master's House"

Moreover, I strongly suspect this kind of "reverse discrimination" (and general conditioning to identify racially) is driving a lot of right-wing radicalization. Even if you don't think "reverse racism" qualifies as "racism", surely you should be concerned if it is indeed driving more ole-fashioned, anti-minority racism, right?
And? How is that relevant to whether or not some languages are harder to learn than others?
Get a different job or take risk an acquire new skills that generate more $$ per hour of your work.
Sure, I used to use it. I won't explain the strategy, but I have a crypto trading bot that sometimes profits at the expense of other bots. The owners of these bots got so annoyed at this that they would blacklist the address at which my bot was, and would then track any addresses that I sent funds to from there and blacklist those in advance. TC broke this ownership chain, so they could no longer preemptively blacklist the addresses my bot operated from.
1. I am 27 but I could be retired if I wanted (lucky break in crypto + living in a developing country + big enough portfolio. I don’t want to retire. I have been programming since I was 13 years old, it’s what I enjoy doing. I would probably need to make a conscious effort of not being paid, that would be a bit absurd.

2. I don’t need more work/balance, 1-2 days off à week is enough for me. I don’t need weeks of holidays. I am working remotely in a nomad fashion, I don’t need time off to travel.

3. I am using my excess cash for fun experiments, your cap would not allow me to do that.

4. Except for unique circumstances, people making half a million a year, are not in the rat race. That allows you to buy roughly 8-10 appartements every year in some countries. They keep working because it’s something they enjoy doing.

What would I do if stopped working?

I would basically keep coding but make 0 money doing it while there are people willing to pay me?

Does not make any sense
What makes an "influencer" less deserving of privacy in the dimensions they haven't shared? Furthermore, what makes someone an influencer, when this technique can be used on smaller accounts, too.
> How does a white middle class male answer?

Someone close to me hired a writer to pen a woke entrance essay for their son. This was after a guidance counselor warned that "people like him" are having a hard time getting into medical school right now. We can't say if it worked or not, but he did get in.
How long ago? Malls have spent the last two decades discouraging or even outright banning teenage loiterers.
It's only following people who posted their own photos voluntarily in this particular implementation, but consider the next incremental step for this same approach: a website where you upload a photo of anyone's face and get a map/trail of every public photo/video posted by someone else where that face appears in the background for the last month. Now you're not just finding the subject of a voluntarily portrait in security camera footage from a public place, but finding anywhere that any private person has gone in any populated area where anyone else is taking photos for social media.

How many involuntary social media photo and video backgrounds do you think someone living in NYC or SF is identifiable in every day? I would venture to guess, enough to track a lot of their life. The only thing I see stopping anyone from making this site today is the challenges in scraping large quantities of public data from social media sites. Once you have the data, the rest seems like a solved problem.
"I'm curious about how much of that is due to the charring that comes from grilling meat, or simply cooking meat to well-done, generating heterocyclic amines (HCAs) and polycyclic aromatic hydrocarbons (PAHs)."

I'll bet it's much more boring than any of that.

I'll bet it's all about fiber content and gut motility and nothing else.
Websites for free compute for data science student
Hi, I am beginning a data science bootcamp program and would like to know what HN's fav websites are for free compute that a student can use. I know Google Colab but curious if there are other established ones
I'm gonna be that person I guess. The "lazy loading" on this product page made me close the tab immediately.

Scroll to find features, wait while loading. Scroll to find platform compatibility, wait while loading. Scroll to find pricing, waiting some more.

This is especially aggravating considering most of the media is essentially the same screenshot of the iOS app.

Curiously, how will syncing on Android be accomplished?
> you need some war-level trauma to stop children curiosity

See inner city, ghetto living experiences
I didn't see a single line arguing how the content of this blog post was wrong also. If you think there are gross inaccuracies then please do write a better focused critique.
I don’t have an academic paper which, you’re right, this deserves.

As far as it goes, I was personally homeschooled 1-5th and had a really positive educational experience. I certainly know the kind of people you are talking about, though.
That's a remarkable comment, it almost entirely consists of curse words:

fabricating

flawed

yikes

stereotypical

myth

Yikes

gone off the rails

misses the point

face palm

painful to read

lol

doesn't understand

why this is even here

lol my god

Sigh

He really has no clue

sad

useless noise

out of touch
Sorry, no it doesn't. The point under discussion is affirmative action, that is, specifically targeting and aiding underrepresented groups, so you're just misunderstanding the premise in the first place - but also, to say 'a MAGA wearing redneck' and 'black university' specifically, you clearly get that it's a racist in a race-specific context.

The thing nearly everyone tries to gloss over when they pull this "Well why don't you let more conservatives in then" is that many front-and-center conservative platforms these days are explicitly intolerant. Why should you be surprised or upset when tolerant institutions seek to reject those? It's a feature of modern civil society, not a liberal conspiracy.
Really? Can you send me an email with the link? hello at manuelmoreale dot com

Thanks
> I don’t mean this to be rude, but it sounds like you jumped to a quick conclusion based on preexisting simple expectations about obesity?

I think this is unwarranted sarcasm, given that I could only comment on the information you provided in your post.
Emily Short, Zarf, Adam Cadre. All masters breaking the boundaries of the IF genre.

Adam Cadre's Photopia [1] made me choke some tears. His 9:05 [2] is darkly comical, and is fun to explore again once you know what it is about.

Zarf's Spider and Web [3] is both a thrilling spy tale and a subversion of text adventure mechanics. For those who are never going to play this game, a minor spoiler. The setting is a fictional Cold War-style spy setting, your "adventure" is you being interviewed by your captor, recounting your story so far; for much of the game, whenever you make a false move -- the kind which would result in your death in a traditional adventure -- your captor will just simply tell you "...except that's not what actually happened, is it?" and rewind the story to the last checkpoint, where something has changed.

Then there's Rematch [4]. It's essentially a one-move game. One move -- that is, one complex multi-clause sentence -- and you die, except if you figure it out. And the kinds of things you can do in that one move are very complex!

---

[1] Photopia: http://adamcadre.ac/if/photopia.html

[2] 9:05: http://adamcadre.ac/if/905.html

[3] Spider and Web: https://eblong.com/zarf/zweb/tangle/

[4] Rematch: https://ifdb.org/viewgame?id=22oqimzgf8snv002
Life isn't fair. Nor will it ever be.

Equal opportunity won't create fairness, as we're not all clones.

What equal opportunity can do is provide those who have been systematically discriminated against (as well as everyone else) a fair shake. What they then do with that 'fair shake' is up to them.

This is a complex topic that reaches into many areas of life, including (but not limited to) home environment, quality of schooling, societal advantages/disadvantages, economic advantages/disadvantages, stratification by class/ethnicity/melanin content and a raft of other issues.

I agree that just focusing on melanin content is a poor way to address the issues seen.

That said, claiming that failure to solve all of a society's problems via melanin content awareness in hiring decisions means that the concept of equal opportunity is a failure is supremely unconvincing IMHO.

Edit: Fixed typo (unconvicing --> unconvincing).