skysight-inc/HackerNews huggingface dataset:
In OCaml, 1.0 + 1.0 isn't even well-typed. You don't need to mix operand types to run into walls with OCaml. The lack of operator overloading may not hurt much in practice, but doesn't scream "elegant solution" to me.

Haskell doesn't overload its operators either (in the sense of there being multiple definitions with different type signatures); instead, it has a working type hierarchy that allows the same arithmetic operators to be used for all numeric types (through Num->Integral, Num->Real, Num->Rational and even Num->RealFloat->Complex). (1::Int) + 1.0 isn't well-typed in Haskell either, but at least (a + b) is a valid operation for all numeric data types. And, most importantly, as a developer you can define your own types that also implement these same operators.

OCaml does have polymorphic literals too: "%s" can be both type string and type formatter. It's just very limited and requires built-in compiler support, so it's not something you as developer can take advantage of in your own code. Although in practice I use OCaml more than Haskell, there's many times in OCaml where I wish it had more of Haskell's expressive type system.
I've always found that wikis are too far from the code.

To have any chance of being up to date, knowledge of the code and functionality should be as close from the code as possible.
Surely you can agree that typical office politics is not at all the same as ideological warfare.
May I ask, what you find toxic about them?

I thought them to be refreshing honest and clear (but have not yet read all slides).

I mean, it is also not attractive for me, because I would not put what is good for Netflix, over what is good for me - but otherwise I do not think a professional, internal competing sports team as a goal, is necessarily toxic.
It's a documentary... Perhaps you can learn something from it.
Slightly related: if a drive runs with a properly journaled, fully checksummed filesystem, for example zfs or btrfs - does the write-through mode guarantee that you can only lose new data and not corrupt the old?
Wow, very interesting - thanks for sharing. There are so many moments like these and they get lost in history...
A company that forced me to anything is a company I would leave immediately.

There are better methods than “forcing”.
I did not once but multiple times. This has become one of the points in my mentorship advice as well.
> I think what we really need is a new language that picks all the good parts from Haskell, but has a very small syntactical core. Something like Go,

This doesn't quite make sense to me because Haskell and Go are kind of polar opposites. Also many would say you are describing Haskell98 I think.
Safari did.
Lisp Alien 3D Model
Interesting, I had the opposite reaction. Great that they are upfront and honest.
> Modern Haskell has diverged to such a degree that it seems to be (almost) impossible to define a common standard. Even if they would, as long as there a over 100 language extension (increasing over time) there will be developers using them. Take a look at C++20, I think it's obvious that C++ is beyond repair at this point in time, even if you wouldn't add any more language features.

I disagree. C++20 is a standard, even if it is ugly and terribly complex it is being implemented by three separate compilers. And look at Javascript. The attention given to it is starting to show, making the language neater than in the past. The task is not straightforward but the point of the article is that there is absolutely no manpower ready to do it. I think that a few dedicated people could do the work well.
I’d love to have a job with multiple roles. I’d guess there are many people like me.

The reason it is hard to hire such people is low pay. Why would I want to wear multiple hats (and take on extra stress, even if I love the job) when I can walk across the street and get higher salary for a bit more boring role?

Of course I don’t know how much you’re paying, I am just pointing out the general case here.
>If anything, now that the reason for the performance difference has been identified

That's not the reason for the M1 performance differences (as a CPU).

Just for the disk writing (which isn't the fastest around to begin with anyway).
The point in the article that values should lead to decision making criteria is crucial, but not actually what they are used for in practice. I think it practice they are meant as a framework for doing performance assessments. At least this was how it was in my previous companies. I always thought that was horribly cultish, because tthe interpretation of such pithy sentences is really subjective. A sentence like "Move fast and break things" could be interpreted as "try a lot and don't worry if things fail once in a while" but it could also mean "keep up and leave anyone who can't lying in the dust". Those interpretations represent two different companies. The former I would be willing to work at, the latter, not so much.
Microsoft wasn’t the clear market leader in the 70s and 80s. Look for example at the spreadsheet.
Multiplan was loosing against Lotus 123. (123 being the VisiCalc killer itself)
Microsoft first launched Multiplan as its spreadsheet software on Macintosh (1984), it was something like the 22th or 23rd port of Multiplan! Then in 1985 very first version of Excel (Macintosh only)
It was an incredible step up from text-screen spreadsheet softwares, but only on Macintosh so Lotus didn’t cared.
Then Excel 2.0 got released (1 year before windows, using the windows window manager underneath!) and as people who saw it at the time remember thinking: "lotus was toast"

I studied the spreadsheet applications design history to Create my class History of Tech Design [0] and got a totally new perspective on how good the excel team was at getting things right.

[0] https://workflowy.com/s/strate-history-of-te/a4ID6kKtznLwQC7...
They responded by saying you make yourself look stupid by complaining about their 10 themes. That and the fact it takes months to write a little wiki sums up the use of that site.
The same thing happens in POSIX, most unices, including Linux itself until recently.

So there's that.

It's rather Apple's slow drive firmware checks though, that is problematic.
This seems like one of those ‘the future is now’ moments.

Kid in museum in 2100: “look mom! It’s the first AI that wrestled a star on earth and won!”
Why wouldn't royalities be based in "net sales"? I didn't finish reading the linked article to the end, because it is so long without much substance. Does it actually describe any of the alleged manipulation of the "net sales" numbers?

In the first half or so, all they mention is that "returned" or "exchanged" books don't count, which seems reasonable.
I think he meant to do it offline via brute force, then entering it
It's not possible because the demand for this is very low and implementation cost is extremely high. No one will pay for that.
The average craftsman home listed for sale in CA - 80+ years old - seems substantially better than the average newly built D.R. Horton home.

Maybe this is highly biased toward craftsman homes that have been well maintained due to how expensive CA housing is. But why wouldn't D.R. Horton homes also be maintained? They're theoretically equally expensive.
Ocaml does also not have a bad error message:

$ ocaml
OCaml version 4.13.1

# 1 + [2; 3];;
Error: This expression has type 'a list
but an expression was expected of type int

Though it is also more constrained than Haskell here
Old style - an "intranet" wiki that is linked to from the main internal company page. No orphaned articles - each needs to fit in the hierarchy somehow that is obviously quite flexible. Searching is easy and gives instant results. As opposed to the current version of Google, you can use search operators and they work as expected. Because managers embraced it and encourage their reports to (actively) use it, it works - most of the time.

The biggest challenge is outdated information: since the responsibility is shared, sometimes I come across articles that haven't been updated since 2011 - for example, because somebody left, and I see some bits aren't up to date anymore. But I feel uneasy about deleting the article or just doing anything about it unless it's one of "my own" or directly related to my department. But in spite of that, I think it's working quite well overall. I used Confluence in another company and it felt too invasive and in the end nobody used it.
Do you have any audible alternatives to suggest?
I have thought about doing some sort of auto generated documentation based on comments, I know some other languages do this. I shall look into this further.
Those are just differences in timing and system efficiency. In one view, RHEL is a pre-packaged product. In another view, it’s a bunch of users outsourcing a portion of FOSS management to an expert company because they don’t want to do it.
Any tradesman job that's existed that long? We could keep it related even - bricklayer, basically exactly the same job (..on a large site cement might be made elsewhere and delivered for you, or on site the mixer might be electric).
I guess that my question is also why source pixels would be "RGB", when "Bayer" is closer to the human visual system.

Because it's easier for people that don't know much about the human visual system to work with a (more) flawed model ?

However, while abstractions have a benefit, it's kind of weird that even the "closest to the metal" model seems to often take "Bayer/420/422" as more of an approximation, rather than "RGB" being one ?

Do you see how weird it is that the above-mentioned TV panels are NOT (?) Bayer panels physically ?
I think claiming that "we are a family" is actually the toxic one. It's incredibly dishonest to claim that. No one gets fired from a family because the family is "right-sizing".
Eiffel for embedded systems at Hewlett-Packard (1998)
E-Cyclist Dies After Being Doored on Deadly West Side Strip
Drive caches also used to not exist in the past. At that point, behavior was the same as it is on Linux today. It then regressed when drive caches became a thing.

Maybe it not being added to OSes when drive caches came into the picture was arguably a bug, and Linux has been the first OS to fix it properly. macOS instead introduced new, non-buggy behavior, and left the buggy one behind :-)
Unix/ Linux man pages are really hard to understand because of this
I think you have a pretty good idea on how SEO works. I try to do multiple things, and hope some of them bear fruit.

1. This very blog post is part of the SEO effort. A temporary influx in traffic, a couple of backlinks, and a larger following on Twitter (+80 followers from this post alone).

> The way I always imagined to accomplish this was to write or hire someone to write this content and present it in a blog format.

2. I've got an ex-Microsoft employee that writes content on a freelance basis. We do around one knowledge base article or blog post per month.

3. Original content that's genuinely useful and bring something new to the table (like [1]) take a lot of time, but pay off in terms of backlinks. The image by the way is release under creative commons with attribution, so I occasionally look if websites use it and ask for a backlink.

[1] https://www.nslookup.io/learning/dns-record-types/
Tech co-founder for XR simulation project. I am looking for someone with 3D graphics/Virtual Reality/games experience on Android platform who will be comfortable with NDK and Godot engine.
It's funny how people have different reactions to it. I find it quite compelling and well thought out. "We're a pro sports team" is a much better and less toxic mindset than "we're a family".
That's really interesting. Thanks for sharing. It does not absolve Scott for organising and leading the expedition badly though imo. The bad decisions are numerous, and having a trustworthy second-in-command is at the end of the day the leaders responsibility.
When I learned Haskell long ago I remember being handheld to adding the correct extensions by the compiler.

Very rarely do I remember being misled with valid code just missing extensions.
You're assuming that (i) I'm highly educated, (ii) I was well paid, (iii) I accepted the treatment and (iv) not accepting the treatment was an option.

No, I would hate to treat anyone else that way.

For reasons that I don't want to get into right now, it's not easy for me to find work that pays well. But I did start looking once I realized how toxic the workplace was, and moved to the next when I could.
Usually in B2C prices are quoted and agreed upon as gross price (including tax). If the tax rate is lowered, this then raises the base price.
It does it like that now, which is what I'd expect if I'm writing software.
> #define _POSIX_SYNCHRONIZED_IO (-1) /* [SIO] */
The same applies. You can't "pin" part of the hash when attempting a brute-force - that's part of what it means to be a cryptographic hash function.
It's a factory job though, their employer 'competes' for them with the other nearby factories, not the nearby independent bakeries.
This looks great as a password generator, username generator, etc. Thank you!
> needless category theory and algebra jargon

Examples? Sometimes there is a need for precising definitions.
I've long ago realized that going to sleep with a prepared mind (occupied by the problem) would often result in a working solution when waking up in the morning.

Once read an article that research showed that studying before sleep would increase retention 30% compared to studying in the morning. So at night your brain is actively working and you can take advantage of that.
Your point states that all C-level employees are sociopaths. Logically, if I can provide you with a single example of a non-sociopath C-level employee, your point would be invalid. Of course I don't believe that you are literally saying that every single C-level employee in the entire world is a sociopath, but merely that the majority or a significant portion are.

> My point would not land with more people regardless of whether or not I wrote that paragraph.

It would, if you could provide me with some data that supports your generalization. If it was true, surely there would be some research backing it up.
I think I have never seen a floppy symbol while using my android phones. Also not available in many interface icon collections, like Google Material Icons etc. when I recently wanted to have buttons with icons in an ImGui project.

Many kids growing up with computers today have probably never seen a floppy disk as an icon, web interfaces usually use 'Save Changes' as text. Even desktop tools like Blender don't use it these days. Krita still does, as an example.
URL: Reddit can

Title: Reddit can't
Maybe I should have stuck with it for longer, or just made the site better. The idea was that the official Gazelle site listed their dealers behind a postal code search form, that couldn't be indexed by search engines. So I scraped it and presented each one on a separate page, with overview pages per city. Didn't manage to get a lot of traffic, but I was also super new to SEO back then.
What's not used for fingerprinting nowadays?
They were prompted to mention it by another user, though. Maybe the comments that don't add any value are "might as well disable JS."

Specially since, I think, many of us would do it if it weren't so inconvenient. I wish websites could only run JS if they're "installed" PWA style.
please don't! I hate it and most of my colleagues hate these too as these are things that are forced onto us. Putting up a happy smiling face on camera isn't fun either.

you are also likely doing this outside work hours since you are not allowed to spend money.

give them that hour free and they will be much happier.
Technically correct. Google always get the information about what site a certain IP is looking at. You can download the fonts though and supply them from a "local" server.
It sure sounds like the woman who narrates the 'How It's Made' videos. Is there information on where the training data came from?
Found it kind of answered in the side thread: https://mobile.twitter.com/marcan42/status/14942278033275985...

In short - no, you'll still see corruption.
I understand that feeling. The social aspect of the Wordle - sharing grids — creates an expectation of some social agreement on scores.

But I doubt HN could agree on what is good sporting wordling. Some of us like to guess with no sources save our minds; some of us wrote code to generate optimal strategies. And like, it’s super easy to just delete lines from the share button output, if you feel embarrassed. We all had fun with it differently, at different skill levels, which made it a special phenomenon.

If you compare with friends, tell em what tools you use. They can say you cheat, or you’re cheating yourself, but if you’re having fun and being honest, you’re playing it right.

> yet I get mildly irritated/frustrated (is there a word for combination of these two?)

VEXED
> Now, PHP doesn't share memory between requests so there's no way to re-use the same connection across requests.

That depends on the execution model/PHP SAPI. mod_php and php-fpm use long-lived PHP processes and so can support persistent database connections depending on the configuration.
Maybe https://www.roc-lang.org/ ? It's not production ready, I just saw nice talk by Richard Feldman [1] about it and it's inspired by Elm.

[1] https://www.youtube.com/watch?v=vzfy4EKwG_Y
BSD and MIT don't grant patent rights; this might be one reason Facebook uses them, though they did try to get predatory in the only way Facebook can: https://news.ycombinator.com/item?id=14779881

ianal, but imo, Apache License v2, Mozilla Public License v2, and xGPLs v3 are better at protecting the rights of the consumers (including contributors).
Digital Technologies Are Part of the Climate Change Problem
That Elecom is reasonably priced. Thank you for bringing this to my attention.
I see this more as "do not assume until there's evidence of malice". Not that you should not look for evidence - basically, innocent until proven guilty. There's a tendency to judge every ignorant act as malice when, a lot of times, it's just that - ignorance/incompetence.

Not talking specifically about this case, although it may apply, we just read a twitter thread.
> The GUI ecosystem on Linux is mostly dead.

Qt says hi.
You are once again glorifying the human species as if special whilst completely losing touch with reality.

Again, the only reason you're able to reason about reproduction in the first place is because your parents produced you. They were hardwired to do so and it's the only reason humanity exists at all. Every single species on the planet is hardwired to reproduce otherwise it would fail to be a species.

Your genitals are there for a reason, as are the various chemicals luring you into using them for their purpose. Even your mind largely works subconsciously, outside your control, to steer you in that direction.

It doesn't matter if you overcome that instinct and don't reproduce or even end your own life. You'll simply not be in the future gene pool. If enough people do that, a species dies out. Which is a total non-event as almost every species that once existed, no longer does. Hence, reproduction is not a "nice to have".

We're not the only species to commit suicide, many have a strategy of sacrifice directly after reproduction. Many adult insects can't even feed, they live for just a few days with the only purpose to reproduce. Male spiders mate and typically get eaten by the female directly after. An octopus guards their nest whilst not feeding, until death.

The point of all these strategies is to reproduce, and to then die. Skip the reproduce step and your species has no future.

Seeking meaning and purpose is a human hobby, of no consequence to the underlying need for biological reproduction. Fail to reproduce and this hobby ends quite soon.

As for a higher purpose to life other than reproduction, it's basically humans making stuff up in the form of culture or religion. It is whatever we fabricate in our delusional minds. They are ways for insecure people to cope with there not being any purpose.
The Many Secrets of Georgian Honey
For me is not so much for news reading, but to store a deeper discussion or thread where new ideas or aspects I want to investigate further are stored.

It’s halfway between reading news and reading books. But It does require leisurely reading to take notes. Then I delete them.
This is a signal that they have phrased their values well. A good values statement should polarize. It should disgust people whose ability to work effectively would be poisoned by the culture that leadership strives to maintain.

A recruiting process which discriminates against people who do not share their values will create a more secure sense of belonging among people who do -- even among underprivileged groups who would otherwise worry they do not really fit in.
If it's literally dying at 30% with no warning, it's either the battery polling being too slow (keep in mind the UI will usually only refresh once a minute or so for these things; the power management system has faster stats), or the charge estimation being way off. There's very little reason for a battery to drop from true 30% SoC to completely dead, without first going into a power draw spiral of doom which you can revert if you stop consuming as much power.
Right now, it's just a glorified Dig wrapper. I'm slowly adding features that Dig is missing, like IP information (through ipinfo.io), favicons and logos.

> Congrats though, great looking site and it's super snappy.

Good to hear, thanks!
>Add a secondary UPS. What will be the next excuse?

You shouldn't have to add a secondary UPS at all, period, and still get that.

Databases are designed that way (for integrity under sudden power loss) - the OS just needs to provide a standard call for the sync that they can use.

Now, fsync not guaranteeing a write is one thing -- and it's common in other OSes, even Linux behaved like that.

The non-commital fullsync on the other hand (and the slow speed) are problematic, and that's not an excuse for the user having such a bizarro case as wanting to run a DB on their Mac Mini without 2 UPS, that's you excusing Apple.

Not to mention that 2 UPS wont solve the problem if you're not there to shut down the computer gracefully as they, themselves, are depleted (e.g. at night) when there's a powerloss.
Yes. I'm not against ads, but if uMatrix stops working to block JS, I'll have to install uBlock for blocking ads (already do on mobile).
> Abolish police and military, and suddenly you'll have plenty of funds for your UBI or whatever cool system you'd like to invest in.

Abolish police and then what? Who will enforce any kinds of laws? Or do we just revert to having nothing?

Abolish the military and leave every country at the mercy of any invader that comes along? I can certainly understand the idea of not spending as much money on the military, but how can anyone that has heard of any amount of history take seriously the idea that a country like the US can just abolish its military without it being in catastrophic danger?

> Also worth noting: money is just a meaningless abstraction designed by the rich to extract value from the poor

That's... a pretty bold statement.

But I'm curios. What do you mean? If the abstraction of money didn't exist, what would happen exactly? In some sense you are right that money is just an abstraction, it's just an abstraction for the fact that there are limited resources that everyone wants.
Sorry.

Principal Investigator
See https://en.m.wikipedia.org/wiki/Principal_investigator
Thanks Jason, I appreciate it :)
You are right. The tetrahedra are identical up to volume (not reflection).

Start with the cube, and notice that when you deform it into the general parallelepiped, the volumes of all the tetrahedra stay equal to eachother.