skysight-inc/HackerNews huggingface dataset:
Weird. Why would anybody expect Earth to collapse at all, or to wait billions of years to collapse, or to collapse, but Jupiter not collapse first? Or not wonder why their own head doesn't?
I've been awake while asleep too, that's what sleep paralysis is. Sounds like it was a bit different for you, in that you didn't wake up to it, but it sounds like the same experience otherwise.
It thinks therefore I am
It sounds like not only you want recognition but you genuinely want to "enlighten" those around you.

Maybe you could start a blog, a newsletter, or multiple of those, about your skills, giving out tips etc.

Instead of you going after people to change them, make like-minded people come to you.

If by "appreciated" you also mean "compensated", you could grow into selling courses.
How do you tell "climate change" heat waves from "non-climate change" heat waves? I mean "heat waves" are not some recent phenomenon.

I mean, any farmer can tell you some growing seasons are really warm, others cold, some very dry and others very wet. No two seasons are the same.
This happens all the time on a lot of platforms. Even Protonmail would sometimes flag my work MFA emails as spam.
Family lives there, I go visit couple times a year now :)
Well they can't use Bluetooth 5 since your MBP only has 4.

Bluetooth 5 isn't the savior though. My Bose Quietcomfort Earbuds have tremendous lag even attached to Bluetooth 5+ devices like my phone or desktop.
Prolog is brilliantly useful for text processing and reasoning about strings, mostly due to its built-in grammar formalism called Definite Clause Grammars (DCGs).

In fact, Prolog originates from Q-systems which were specifically designed to process language via grammar rules:

https://en.wikipedia.org/wiki/Q-systems

The "Q" stands for Québec, where Alain Colmerauer developed this formalism which eventually led to Prolog. A recently released documentary talks a bit about these developments:

https://youtu.be/74Ig_QKndvE

It is interesting that the very first Prolog systems, Prolog 0 and Marseille Prolog, represented strings as lists of characters, then the Edinburgh tradition used lists of codes (in the implementation defined encoding), and all Prolog systems that have become available in the last 5 years (Scryer Prolog, Tau Prolog, Trealla Prolog and ichiban/prolog) are again using lists of characters to make string processing as convenient and readable as originally intended.

For example, we can use definite clause grammars in Scryer Prolog to find occurrences of the same character twice in immediate succession in a string:

?- phrase((...,[C,C],...), "Hello, world!").
C = l
; false.

In this string, the character 'l' is the only such letter.
The swedish/scandinavian word for human "människa" has three syllables (norwegian "menneske" sounds more like two syllables) as opposed to german "mensch". It sounds suspiciously similar to the sanskrit word "manusha" which apparently also means human.
It has pros and cons, but I think civilization is a massive pro that outweighs all the cons.
"The support page explains how Secure Network is a free service, but data use is limited to 1GB per month"

So actually it's not free at all and probably a way to sell more subscriptions.
Ask HN: Who is using Haskell in production?
I work for a big corporate. We are consodering Haskell for a specific use case. The leadership wants to know where is it used in production already. There are a few lists but they seem slightly outdated mostly.

What is your industry? How are you using it? What is the team size? What is the overall experience with it?
I like Uncle Bob's lecture on what it means to be a professional. We have to make time to mold code and recaftor it without buy in - make that time built in to the estimates you give.

Another thought... At some point there's going to be a software caused disaster with very large human cost of life such that the governments of the world will demand and force regulation and certification. Software "Engineer" will have the same hoops and red tape every other engineering profession has to deal with and over the long run we may all be better off if it's not to late. If the transhumanists give birth to free willed laser-beams-for-eyes robot hybrids... probably too late. As dark as this sounds I hope a software disaster comes sooner than later.
I’m in the optimization space and have never heard of this. Thanks. I recognize many of the names behind it.

I think part of the reason it’s not more popular is because QPs aren’t the most popular problem type. They’re used in MPC problems and any number of L2-loss function problems like ML problems, but these already have custom methods for solving the QP. Doesn’t meant they can’t adopt a standard high performance solver — I think this is very promising.

Also I’m not sure if there’s any political issues that limits them from listing this on COIN OR. That’s usually most folks go to site for discovering new solvers.
The article itself is good but the title is clickbait. The process of training is minimization (in other words, optimization) of generalization error.
The security implication is that the government can use it to sign certificates for any website of their choice. This means that they can snoop and/or replace the content.

Mitigating this, there are mechanisms to keep track of which certificates are used for which websites, so this could catch them in the act.

However, note that "Root CAs manually added to the trust store override and suppress Expect-CT reports/enforcement."

Since this is the Spanish government, it seems likely they will target Catalonia somehow.
We need to make public transportation so alluring people want/need to use it.

For starters, I think public transportation should be free for the poor, and low middle class.

All air travel that uses fossil fuel would would be taxed if you are above middle class. Outlaw the private jets. (It just bothers me to see the Elon, or Saturday Night Fever types jetting off to Ibesa. (Too disenfranchised to check the spelling of the party port.)

Give companies federal income tax credits if they can keep their employees at home, and not commuting.

Encourage solar with incentives. Yes--we have been doing that, but in my state (CA) PG&E seems to balk at paying customers for the energy produced.

And more Nuclear power plants, but not on faults.

Bring companies back home if their product is in a county that dosen't care about Carbon. More than just a tariff.

(In the end I'm afraid Global Warming measures will be paid for by the poor, and middleclass. Their will be more taxes on gas. Their will be more effort to keep older cars off the roads. (poor can't afford electric vechicles right now. Those two year smog checks are really getting stringent, and don't make sense. I put 500 miles on my vechicle a year. Why am I paying every two years for a smog check. DMV has our mileage. Same gripe goes for mandatory insurance.)
Your point of view makes sense but removing the documentation how to build and deploy the parts of the code they open sourced before shows an intent that they don't want people using it. They could just announce they are no longer open source and put the docs on Readme and move on. But putting the docs down silently is breaking the promise that was the tagline of their product.
Yeah global shm state is a bitch you have kinda a ownerless resource that must be managed somehow cooperatively. This adds global mutexes to the equation and quirky concepts on initialization and abandonment of the shared state.

Usually none of these issues are dealt with in the shared memory sdk you’ll be using, so you gotta model it with mental experiments just like you would a lock free implementation in a threaded process.

Simple no, doable yea, error prone you betcha.
It's a fairly recent development[0], a few years before that the principle was demonstrated as a special surface coating on smooth surfaces rather than paint. And it's about the IR window[1], which is smaller than the whole IR spectrum. And sunlight delivers most of its energy in visible light and near IR, so there isn't a problem with reflecting the incoming light while radiating away into cold space in the IR window[2].

[0] https://ceramics.org/ceramic-tech-today/materials-innovation...
[1] https://en.wikipedia.org/wiki/Infrared_window
[2] https://www.researchgate.net/figure/Illustration-showing-des...
>even the current interior point implementation in HiGHS can be unacceptably slow relative to Gurobi (60-100 times slower). Considering that even Gurobi requires a couple of days to solve huge practical problems illustrates that the use of current open source solvers is totally impractical. The aim of this proposal is to identify key solver enhancements in the short, medium and long term that will help to bridge the significant gap in performance between HiGHS and the major commercial solvers.

It's a great need in the scientific community. Gurobi is the leading commercial solution with a strict license and a high price tag. As the proposed open-source project is only focused on linear programming (as opposed to a general nonlinear optimization), the goal may as well be achievable. Best wishes for the authors.
What if I don't like my initials?

I share them with a political party that I disagree with, and it always irks when I am called by them.

Maybe I should create an account and check if there's a setting before I whine about it... but this is still the internet!
I liked the game although I am a fan of color games so I'm a big biased. I think it's a great balance of color theory and information theory. I personally like the choice of using quirky colors for the keyboard, as it forces you to pay close attention to the hue and saturation of each "key". Adds a layer of difficulty.

Though perhaps the author can add an easy mode with simpler colors, because as you pointed out, the original wordle game is much easier since the player knows the alphabet. I don't think I've lost a game of wordle yet. But I lost my first game of colorfle (though losing on normal helped me get the hang of it and win on hard!)
Taking control of your professional growth: a personal experience
Prioritization as a Superpower
Playing the guitar! Numerous failed attempts over the last 15 years. My current approach is to just pick up a guitar and "play" without tabs or notes, basically just making sounds I like.
Using interfaces here seems unnecessarily complex. If the default zero value were an issue in practice, I would just define

type NonZeroInt *int

OR

type NonZeroInt struct { v *int } // (if you want it to be fully opaque)

so that the program would panic on an attempt to do arithmetic on the nil value. That achieves the same effect as your code, but without the unnecessary interface definition and the resulting naming issues. (Though note that Go does make it possible to export an interface from a package that no-one outside the package can implement. All you need to do is add a dummy private method to the interface.)

It's true of course that the pointer adds runtime overhead, but two points:

(1) Go is not really advertised as a zero cost abstraction language (in contrast to e.g. C++, Rust). So yes, building nice abstractions in Go will sometimes have a runtime cost. If that is unacceptable in a given application, then Go is not the right tool for the job. I'm not a Go zealot. If you need to do this kind of thing all over the place in your code base, then sure, don't use Go.

(2) If you are dealing with large arrays of non-zero ints (such that the overhead of boxing would be significant) then you could always define NonZeroIntArray.
locks and loads clathrate gun
Even if all humans on the planet went to zero emissions tomorrow it is too late. We are now inside a feedback loop that will push temperature rise to +20c and sea levels up 200m or more within 200 years. Photosynthesis drops off to zero long before then. Geoengineering is the only way we don’t go extinct along with most animals.
I just checked my old bus route when I used to work in Kansas City.

Driving from Corporate Woods, Overland Park to Westbottoms Missouri is 19 minutes. The bus takes over an hour including a sixteen minute walk. In other words, nothing has changed in ten years. It takes about three times the time to take a bus as opposed to driving.
Honeybees can tell the difference between odd and even numbers
A Gaeltacht (Gale-tuct) is a region of Ireland that is designated by the government as Irish speaking. There are a few of these areas, mainly along the coast, where the majority of people will conduct their daily affairs through Irish (although they're mostly happy to speak English to you if they notice you have no idea what they're saying!).

Back in the 00's an Irish heritage group in Canada bought a chunk of land in Ontario and managed to get it designated
as a Gaeltacht.

So officially, as of today, Irish is the common vernacular in several small-ish regions of Ireland and a .25km^2 chunk of Canada.

Bit more info here:
https://en.m.wikipedia.org/wiki/Permanent_North_American_Gae...
I see what you mean. It probably wouldn't matter if a user is compiling from source and not downloading the binaries. It is also unfortunate the terms couldn't be simpler.

It seems most internet companies in the west ( dominated by US ) are not going to use VVC, while India, China and Japan are all ready to jump on the VVC tech. Broadcasting has shown interest in VVC as well.
For more information about virtual threads see https://openjdk.java.net/jeps/425 (planned to preview in JDK 19, out this September).

What's remarkable about this experiment is that it uses simple 26-year-old (Java 1.0) networking APIs.
Never knew Himalayan range is so effective. India should build artificial mountain range to stop heat weave entering the region.
Improvising three dimensional or at least memorable characters as a GM in tabletop role playing games.

Giving characters over-the-top traits is a good start, but so much to learn about making them stand out in the players’ memories / making them more than tools of acquiring things to do for the players.
The problem is not solution per se, but scalable solution.
A tutorial is much required.
Apart from that nice execution.
Oh hey, yea this is mine. Stopped for a while initially because of serious epilepsy. Don't know when I'll pick it back up but in my free time I've been trying to think of what direction I want to take with it, because another goal not listed there (I think) is a Smalltalk-like development environment, but I almost wonder if I should just make that in vanilla Clojure. I do have a branch locally starting the implementation built upon some Rust graphics lib (iced or druid maybe)
I would assume it's mostly the thicker walls, at least it was this case in Berlin with older buildings staying cool for a long time because it took months to heat the walls. Then those walls were warm in winter and it took months to cool them down (though it didn't work very well in the last very hot summers that were hot early on)
I have a memory of some chat site, maybe discord, sending attachments to a different server, thus exchanging the bandwidth problem with extra system complexity
https://en.wikipedia.org/wiki/The_Beginning_of_Infinity

A book that's really changing how I'm thinking. It starts by explaining how science makes progress. Defining a good theory as one that has explanatory power. A good theory explains stuff well.

Then proceeds to apply explanations. How to understand Physics from this frame of mind. How other approaches to epistemology (what we can know) works. What problems they face. What kind of errors other ways of thinking can lead to.

This is the best book I've read about what we can know, and it applies so generally to things I'm interested in. How can I know what I know. What about my team at work, what do we know. How should we communicate. About the products we're developing. How are they valuable? How can we know that it's valuable?

It's especially impressive how Deutsch navigates up and down the ladder of abstraction. Really general concept - then a really crisp example of how it applies exactly to an example.

I've been reading and re-reading this on and off for half a year. It's hard, but I'm learning a lot. Currently half way through the book.
This is wrong. SRE is an engineering org, NOT an ops or support org.

While it's common practice for SRE teams to share some of the operational burden, it's for the purpose to find risks and vulnerabilities and then engineer solutions to those. I have never seen SRE do support.

SREs should know how to build and run reliable and maintainable systems. Architecture and design are the best tools for that.
Or developing a sense of humour. Going by your comment apparently there are still some roadblocks on that journey.
Still it's easier to lay blame on the richest country in Europe for picking the cheaper and dirtier option while they could do better, than Poland for trying to pull itself out of poverty. Not to mention a large chunk of Germany's gas is used by the chemical industry, which is kind of like saying "we're gonna keep buying Russian gas to not hurt our profit margins".

What we should really be doing is following France's shining example of complete nuclear power independence, but the time for that was 15 years ago and we're basically all fucked right now.
I laughed thinking about British empire teaching english to indians who they inherited most the language from.

etymonline.com is a nice way to rabbithole time away with fun
> Why would human intelligence be the absolute limit of what is possible?

I'm willing to accept that intelligence exists insofar as it's the difference between a human and a gorilla. But is that something you can have "more" of?

That concept implies humans are smarter just because their brains have more IQ, but maybe it's a single fixed function - so the gorilla has 0 intelligences and the human has 1 - then something with 2 isn't a superintelligence, it's more like a conjoined twin and would just find it wants to do two things at once and can't.

But maybe superintelligence means someone who can think more quickly than you. So maybe that's about as scary as Magnus Carlsen or Terry Tao, but outside chess we already have calculators, and people who do math by hand don't seem to fear calculator users as superintelligences despite their superior results. In the real physical world, thinking faster doesn't necessarily get you better results because you still have to be correct, which means guessing and checking, so maybe it's the super-patient person we should be afraid of.

Admittedly neither of those are proofs it's an impossible concept, just some plausible alternatives.

> Or maybe you mean something else by superintelligence, like, "more intelligent than humans in a self-improving way, and then FOOM and then it is necessarily more powerful than everything else"

Yes, I believe this scenario they're worried about is impossible because something will always appear that prevents it, and they've left all possible somethings out of their scenarios because they are only imagining them and not actually testing them.

Such things would be entropy, energy consumption, communications delays, self-interest, "self-improving" turning out impossible due to Goodhart's law, etc. Examples of it not happening are large corporations (which always eventually stop growing, need constantly increasing inputs, and are actually composed of lots of smaller intelligences that don't all have the same goals), and the Mind AIs in Culture books (which have to be held back to even want to think about reality, and if they get too smart immediately stop caring about reality and just think about math forever).
I am in Shenzhen, and have been told by friends that it is impossible to get a license for gas powered cars. There is a strong push for all cars to be electric, electric bikes are everywhere, and all buses are electric. And China is making a push towards renewables and to reduce their dependence on coal, if only to combat air pollution.

Maybe they don't talk about climate change as the reason perse, but it is wrong to say they are doing nothing, and in fact I would argue they have done much more than I see in my native country (the U.S.).
We know what to do, but no single developer is in a position to do it -- POSIX file locking requires global coordination between all developers of code running inside a single process.
This is fundamentally incompatible with the use of libraries.

Observe that there is no way SQLite could fix this bug, the SQLite developers instead have to shove off the responsibility to everyone one using the SQLite library. Add a few more layers of libraries where this requirement isn't documented as clearly, and this is basically guaranteed to go wrong somewhere.
It doesn’t matter. We are now in a feedback loop that will take us to +20c regardless . Geoengineering is our only hope.
And how is that any different from Kotlin coroutines if you still need to call Thread.startVirtualThread?
Night is when you let capillary action carry away the concentrated brine, preparatory to next day's further desalination. Pure water from day may be banked, meantime.
> tackle sentiment analysis

VADER (Valence Aware Dictionary and sEntiment Reasoner) is a large lookup table mapping words to a sentiment score, calculated by surveying people. It is simple to use and involves no ML.
that's pharmacokinetics right ?
It doesn’t matter. We are now in a feedback loop that will take us to +20c regardless of human emissions. Geoengineering is our only hope.
1. My point was inside any group, there is a certain distribution of attractiveness relative to the attractiveness "standard" of that group. And that somehow, a certain level of (culturally defined) attractiveness is somehow not enough to constitute a group (or used to be not enough at least)
Or maybe is that because attractiveness is relative enough at the individual level so that it is hard for an individual to be systematically identified by others ? Or is it because to self-identify as unattractive/attractive tends to have a negative social costs in social relationships ? I must admit I don't know. I am just throwing hypotheses now.

Of course, now there is a form of more or less globalized standard of attractiveness that is more influenced by group that have the more power but that also has to open itself, the more globalized it becomes. But that globalized standard also challenges locally defined attractiveness. I take this is what you mean when you say that "attractiveness is not evenly distributes among races".

(Instagram seems to be the symbol of that struggle for cultural dominance in the realm of attractiveness standards as it is massively used as a tool to capitalize on one's own attractiveness.)

2.Which is why I wrote "a little less" because I did not want to digress too much.
maybe i'm squinting too hard,

but I see this as related to a more general attitude of imposing our will while disregarding what is already there.

"why would we want to position the building according to where it is? specially when there's an alternative of putting it however we like, and then involving a sophisticated air system which will isolate the building from it's environment (which is going to shit anyways) and also, think of all the jobs, the infrastructure, electricity, generators, coal-mining, ac technicians, etc that come with an AC based building! if the building, just by virtue of where it is, can do without all this then the economy will shrink, we cannot have that."