skysight-inc/HackerNews huggingface dataset:
The analysis discussed in this study and its previous version is based on a well-known NP-complete problem which is called the "satisfiability problem" or "SAT". From SAT a new NP-complete problem, called "core function", derives; this problem is described by a Boolean function of the number of the clauses of SAT. In this study, a new proof is presented according to which the number of gates of the minimal implementation of core function increases with n exponentially. Since the synthesis of the core function is an NP-complete problem, this result can be considered as the proof of the theorem which states that the class P of all the decision problems which can be solved in polynomial time does not coincide with the class NP of the problems for which an answer can be verified in polynomial time.
What's a commercial RISC-V SoC that enables an OS to run with zero dependencies on binary blobs?
You’ve got two good options:

First one is obviously to throw it out.

The other is to grind through with it, paying careful attention to the “right way” of doing things, and never deviating from it. The painful period might not be that much longer, or it might be.

Up to you, to be totally honest.
More efficient engines fitting the A380 requirements do not exist.
I really like this concept and kind of think that it would be the ideal state of the web if a lot of people would be doing this, however the tech part of it is pretty bad, being reliant on external APIs sucks.
Well, yeah. I just stuck my blog on there to reduce infrastructure costs for myself. The cluster runs much bigger things beside my blog :)
No, it's a big plane so they needed a bigger desert.
Nobody said you had to burn the trees you grow. If you want to remove CO2 from the air, just grow the trees.

There's no difference between burning the tree you grew and burning the tree you dug up in the coal bed.
Yeah it needs a proper takedown. Haidt is respectful but his arguments are pseudo-scientific.
>> They are expressions of the form a + b * ε, where a and b are real numbers, and ε is a symbol taken to satisfy ε^2 = 0 with ε ≠ 0.

> You can sort-of pretend that ε is an infinitesimal, but with a sound theoretical footing.

You can just work directly with infinitesimal values on a sound theoretical footing. This goes under the name "nonstandard analysis". https://en.wikipedia.org/wiki/Nonstandard_analysis

If that's your only goal, the dual numbers aren't accomplishing anything.
Good. I wish they would be fined into bankruptcy
> Some people want to study psychology (or other classes) for pure intellectual reasons. They’re curious about the world.

OK, so what proportion of college students choose their classes for those reasons?

Thinking back to my time at college, there wasn't a whole lot of purely intellectual motivation (or genuine curiosity) going around.

The overwhelming majority were there a) to have a good time, and/or b) because they saw it as a route to a well-paying job once it was completed.
I always found it interesting that my favorite local philly cheese-steak shop in Durham NC is run by a gentleman from Afghanistan. I always wondered if that was completely random or if there was some special connection at work, but never got around to asking.
Your equation overlooks simply growing trees. Build houses with the lumber instead of burning them.
That's true.

Then again the 737s with rudder issues were not brand spanking new planes.

Without Boeing's negligence and corner cutting this never would have happened.
> but you'd think anyone who believed in the bible would follow outright restrictions like that.

Many churches and certainly the big catholic one interpret the word of god for their believers (this is called magisterium), so if you are catholic, you don't believe in the bible but in the particular interpretation. And the differences are huge.
A m1 mac mini for home server replaced the apu for me.
Block off the oxygen supply (like how coal became coal) and they won't decay into CO2.
> Something will need to change to spur competition in the engine space,

Isn't SpaceX going to use Starship for international travel. That might motivate these engine makers.
I don't understand why you're downvoted, I appreciate your response to my question
No, there isn't. Read my other replies.
CERN is all about breaking stuff into smallest bits and find out what makes it up, before it returns to the foam. Its basically a particle car crash factory, who tries to learn how a car works by watching millions of crash tests for outliers. And in a way it works..

The problem is to deduct second order laws and rules behind the observed bits and screws flying. Car factories, assembly lines and cnc machines..

By use of horrible metaphors, we summone the oh might particle physicists into the cycle of cyclotron..

PS: Material science wouldnt know what it would get away with outside of try and error - without particle physics..
Do you have any examples on how to train a model that can write code but in a specific domain? Eg I only want to train it on a specific set of code. Eg let’s say functional React components in TypeScript.
After using split for 2 years I think that split matters, but less than ortho layout and angled sides.

I was user of MS Ergo keyboards ages ago, and such keyboard with qmk and ortho keys would be also great.

Anecdote: I bought preonic keyboard (small 5x12 rectangle) and struggle to use it, because I'm used to angled position of my split and it feels much.more natural for me now.
Even given the fact that I don't have any issues with typical Thinkpad keyboard

Fromy experience it took about 2 months to adjust from Ms sculpt to zsa moonlander, and I didn't even changed layouts but stayed on qwerty. And yes, I had 2 keyboards attached for the adjustment period and was picking up old one if I needed to chat or type code/she'll commands
"No person has the "right" to not be photographed in public."
Maybe in your country, not mine.
I think we live in an increasingly neo-victorian age. It's not just sex. It has become toxic to express a wide range of opinions. For example, the systematic deplatforming of conservatives. (I am a liberal, and my need to state that to be taken seriously is further evidence of all this.)
I like it in theory but if only some of my friends are doing it, or they're not all posting to the same silo, how can I consume their posts without seeing duplicates?
It's an idea that straddles science fiction and reality, but is simple enough for normal people to understand and have an opinion about.
So beautiful! I’m a huge fan of that kind of surrealism and never ran into this story. Thank you.
Artists are people not machines ingesting data. Cant compare software capable of downloading millions of books and then reselling them with a few changes here and there. Even if a human could that would be theft. If i as a human would suddenly download windows 11’s code, rewrite it and then sell it i’d be in trouble.
Nice work!
I had actually considered this idea before, but had trouble figuring out how to keep the character designs consistent.
Lol conda feedstocks
I think of infinity the same way I think of the color pink; as a convenient completion our brains fill in to make sense of the world, but not something that 'exists' in the physical sense. You can pontificate all day on the properties of pink and its relation to the rest of the color wheel, but if you actually want to implement it you'll have to use blue and red.
I'd love to install we apps & make navigating there much faster. Giving them more permissions make sense.

But I absolutely positively do not want an "app" like experience. I want it to open in the browser chromez where I have tabs, where I have forward & back, where I have an address bar. Native apps are awfulz, useless limited half-shells, and I want everything to be web. The fucked up conflict is that PWAs attempt to appeal to native app enthusiasts, give developers power to make it looks like a native app, but God damn native apps are shit & the web is 300x more reasonable fair & useful.

I'd love to install some up jumped bookmarks. But wow native apps are just so limited, such a worse model to emulate, with so much less power. PWAs need a realignment where they can respect the web more. As is, they're more like retrogressive quasi-native apps. Yulou have a strictly downgraded experience for clicking the install, loose tons of thr basic web capabilities. Native sucks.
It would seem it's actively in their interests to have the most of their customers forget.
First, these companies do serve very derivative content, that wouldn't be remotely interesting when compared to their inspirations.
The comparison in many case is so unfair that it shed lights on the incompetence of the team.
For some example, there was the 'definitive edition' of the PS2 era GTA games, if you go on Steam you can't find the originals. You can buy the definitive edition that stands at a mighty 0.6 user score on Metacritic though.
For movies I'm not sure what would illustrate best but when the Ghostbusters reboot movie came out, it seems they made an effort not to acknowledge the originals. And when the big toys line-up came up after the reboot's disaster of a reception, they did as if it didn't exist and went all for the nostalgia.
And for some reason half of the world have port and starboard channel markers as red and green, and the other are green and red. I don't know who's fault that is!
> Frequently there is no conversation.

Very true. How many times someone asks for recommendations and then does follows up with the recommendation. It is used, at least on twitter, as away to get engagement without any intention of connection.
Mystery white flash lights up skies over Kyiv
My new favourite channel lol
That's exactly the right excuse to buy yourself a second hand mini PC and install proxmox / tailscale on it ; )
The sad part is the cloud means web based UI, and web based UI is rarely fast and lightweight.
Depends on your definition of successful. Will these advice help make you next tech billionaire. Most probably no, that requires too many dices to land in your favour.

But all of these advice while not novel and may sound superficial, will make you more happier and more successful if followed.

e.g. a ~20%(adjust by country/age) CAGR in income will make most feel monetarily successful no matter what the start point is. Spending less time on TV and more with family/friends will for most give them more happiness. Working hard may not be enough but almost always a pre-requisite.
The car is probably made to security standards of the markets it's aiming for, and some places (like China) have weaker standards than US/Europe. If BYD planned to sell the model in US/Europe, then they would've engineered it to meet their security standards and just need to do "the paperwork" of submitting a few cars for (crash-)testing to satisfy the authorities.
Every reply to me makes the same mistake. The fix: Grow a tree. Burn a tree you dug up. Net zero carbon.
You could always retouch the images in photoshop. I believe that ruling was for fully generated AI, with no retouch afterwards.
This is an interesting comment. I am a bit disappointed it was so heavily downvoted. My main concern: "first class ticket" -- that is roughly 5% of the market. Way too expensive for most. If your comment (and reality) were "cattle class ticket", then yes, there is great potential for "half globe" flights. Even 2x to 4x faster would be a game changer.
I'm not from Philly, but my mom is, and every time I went back east I ate plenty of cheese steaks. To me, the essense of the bread is a chewyness, a toothiness. The crumb is substantial, the crust is minimal. If you bake bread in Vietnam than you must have a good understanding of a french-style baguette, right? That's a bread where the crust is shattering-crisp and the internal crumb is light and pillowy, yeah? The roll for a cheese steak is the opposite.

My grandmom's theory was that it was the water from the Schuylkill that made the rolls inimitable. I wish I had a recipe I could share with you, but instead I can only wish you luck.
Wonder if in the olden days, like flying private jets, the moral position on wearing fancy clothes were mostly held by those who cannot afford them.
I'm glad to see we're getting better and better at regulation. Here we have the most important development in computing in years, and we're immediately nipping it in the bud. There used to be some delay.
Yes, that's basically what I said and meant in the parent post. I was suggesting the article call it a "graphical" solution approach, not analytical.

And if I wasn't clear - it wasn't my intent to treat this any less "useful". If anything, it is more interesting (for me) to read about solutions that give an intuitive feel, than dry analysis.
To test this in practice, I just went ahead and uploaded an image of Michaelangelo's "David" which has been a topic of recent controversy.

https://imgur.com/a/aTiH5lk

Let's see if that violates these new "guidelines."
You should try. Tell ChatGPT to fix the following text that has OCR mistakes and it should work.
Ah man, despite baking a lot, I've never tried to make the bread myself.

You're going to want a hoagie roll [1][2]. They are shaped like a baguette and have the same ingredients, but way softer, chewy-er and denser. It's a process with multiple rises, then it's baked in steam to keep it soft.

This [3] seems to get the details right, but I haven't tried it. Conshohocken is a suburb outside of Philly known for microbreweries and baking so it's legit if that's the source.

[1] https://en.wikipedia.org/wiki/Hoagie_roll

[2] https://www.youtube.com/watch?v=rR8oA5ACqPg

[3] https://www.thefreshloaf.com/node/21448/real-italian-hoagie-...
How does the poor thing fly with only one wing ? /s
To me, a long-time sci-fi reader but hardly a hardcore space nut, your argument reads a little like "I don't understand why people are discussing horseless carriages, I mean what would the street sweepers do without all the manure to clean up?".

In other words, a functioning space elevator would be grand, epic and useful in ways that make the potential loss of some satellite orbits look like a very minor detail. At least that's my take. Too bad about the materials science not doing its part, huh. :)
I'm sure Mark Zuckerberg thinks through all his major decisions a lot too. If you think a lot and your result is dark patterns, does that matter so much?
Consider the alternative in conditions where you need various forms of scalability in a cloud agnostic way. Especially when you have a complicated system of many services.
If you know about it, and for as long as it exists. It's also not adapted for mobile.
Do you have a reference for this? To my knowledge there was an optional AoA disagree indication (which was on a multi-function display so it's hard to argue it was any kind of cost saving). It's unlikely this would have been a factor in preventing either accident. A small warning indication with no actionable steps would have been low on the priority list for a pilot wrestling for control of the aircraft.
It's a fact that early hip-hop is dominated by black people. If you made the same kind of comment in relation to that, would that not be deemed racist?

Not that I think it is racist, I would prefer equality of standards though. Unfortunately currently one is deemed acceptable and the other not so much.
The taste testers seem to really enjoy the Filipino Lumpia.
original melody, chords and lyrics never generated copyright infringement no matter what the composer listened to.

The problem with the music industry is the industry part : it's been generating standardized, and easily mass produced music for the past 20 years. You can't expect the process to not be fully automated eventually ( i've already felt like some pop or rap song could have been for a long time).

You can't expect it not to backfire at some point. And IMHO this is well deserved.
> Seeing the surface of extrasolar planets

Planet. Singular. Not plural. The nature of gravitational lensing is that you would need to build and place a new telescope for every different direction you want to look. The relevant quote from the linked wikipedia page is: “FOCAL would be able to observe only objects that are right behind the Sun from its point of view, which means that for every observed object a new telescope would have to be made.”

> Compared to settling Mars this seems infinitely more important unless you have some hyper skeptical view of human society.

My “hyper skeptical” view of human society is that it is fragile. There are many possible catastrophes which could wipe all of us out, then there are many other possible situations which would not kill all of us but would shunt humanity forever. Settling Mars would make us more resilient in two major ways: The settlement on Mars is a physical off-site backup to human society. And the necessary R&D to achieve a self-sustaining Mars setlement would force us to develop and test for reliability under real world circumstances tech which we could use here on Earth to better survive many of those calamities. It is literally a ticket to raise the probability of the continued existence of humankind.

On the other hand a picture of an exoplanet is a picture. An interesting one sure. If we would have it now it would be probably front page news. It would be a blurry pixelated disk with smears of colour. That would be all for 99% of humanity. For the select few they would study the image and analyse it and we would have follow on studies in a few years saying things like: “We are reasonably sure this area is a shallow sea, and we think this colour fluctuation is consistent with an algea bloom.” Iff(!) we got lucky and the exoplanet we aimed the telescope at is not a dead, dry rock.

So increasing the chance of our survival vs a blury picture which will pose more question than it answers. How are these two goals in any way comparable? Let alone the second being more important?
CATL launches condensed battery with an density of 500 Wh/kg, enables aircrafts
That X-Copy Screenshot was a blast from the past. A friend and I used to combine our pocket money, goto a local independent sport shop that had a tiny Amiga game corner and buy a game then X-Copy it. None of us remember how we learned about that. Was probably the guy in the sport shop itself. Amazing days.
I think the space-elevator concept is sort of silly, but this doesn't seem like the most pertinent criticism to me. Presumably in a hypothetical future in which a space elevator is under serious consideration, vastly greater resources are being devoted to space technology, launch costs are much less than now, and are about to get cheaper still due to the elevator in question. It seems like if we were on the cusp of being able to 100x the number of satellites or whatever, sacrificing the existing fleet for new ones in different orbits that avoided the elevator wouldn't be too big a sacrifice.
People said we were interested in a paid Twitter option but holy fucking shit this ain't it.
Ah, the legendary Norris compression technique. A classic.
I wouldn't say I like flying but if I have to fly then they are the best way to do it. Amazing machines!
Ian Hixie's retrospective about the WHATWG
Another +1 for mynoise.net from a happy subscriber. The neuromodulator with some binaural tones does a good job of calming down my tinnitus (and blocking out, e.g., people on public transport.)
>On the other hand, it may also make real human interaction far more valuable.

Not at Ticketmaster prices.
Groundside.
Hat tip for mentioning "gearing technology". The Pratt & Whitney PW1000G engine is just wild to me. It is a huge leap forward (no pun intended, as CFM's latest is called LEAP). Like all major redesigns, there will be years of bugs and minor failures to work through. Fortunately, they are starting much earlier than all the competition.

EDIT (wiki links)

https://en.wikipedia.org/wiki/Pratt_%26_Whitney_PW1000G

https://en.wikipedia.org/wiki/Geared_turbofan
Microsoft Drops Twitter from Its Ad Platform. Elon Musk Threatens to Sue
A New Kind of Startup Is Coming
But then it could just keep running forever which isn’t something you’d want
Of course, I should clarify, it is his recommendation if organisations who need a facebook presence, as many small businesses or event organizers struggle to not have a FB/instagram presence.
It's immune-privileged. There's plenty of access for immune-cells. Some infections like with Gondoplasma are quite survivable. By comparison, even a few bacterial cells in the wrong place during certain bone/joint replacement surgeries causes major issues.
That's an insane plan no matter how anyone looks at it.
>Last thing that I’ll add is that you seem to be quite active on this site - which is a marketing campaign for a VC firm

Oh, an ad hominem! Nice. I could also work at marketing and hate marketing, doesn't change the point. And of course, I like HN despite it being a "marketing tool", not because of it. The "marketing campaign for YC" part is one of the main things I dislike about it. And the question wasn't whether marketing could ever produce something cool, but If it was that, I could add that I like some funny TV ads too.

>You can keep moving the goalposts of what true marketing is though

Really? As if differentating because some FOSS team making a cool site and promoting their project on some forums, for example, and corporate marketing, with a budget, a marketing department, ads, astroturfing, and all that, is impossible, right? "It's all marketing"
I'm with the above commenter, I used the old reddit on mobile for a decade+ and always enjoyed it. Also, there used to be i.reddit.com which was great for mobile - but it looks like they've gotten rid of that.

I've stopped using Reddit now. I liked the freedom of speech and the curiosity of the users. Freedom of speech had been eliminated totally. Curuisity can presumably be found in some niche subreddits - but even the niche subreddits I used to frequent have fallen.
A related article I wrote a while ago for RSS->Mastodon syndication - but since it uses Platypush it works with any other supported social API: https://blog.platypush.tech/article/Create-a-Mastodon-bot-to...
Electrodes would usually be mounted on the surface of the brain, outside the blood-brain barrier of course. That's plenty close enough for most purposes.
In devenc, you shouldnt need a ton of secrets anyhow. Each dev should have many of their own unique "secret" bits.

Being able to roatate a secret in devenv & have things keep working is early intermediate maturity model, but I'd wager most orgs have nothing.

This isn't a dotenv problem, isn't a security problem. It's that no one has soaked time or your department stoggily refuses to try out the really good Ansible or whatnot env to set your various microservices up for local dev.
Waydev (YC W21) Is Hiring
> Although legitimate interest does not specifically require consent it DOES require that the subject is informed of the collection of the data.

Link? This was not my recollection of it at all.

Would also put Google and other search engines in violation so doesn’t seem right.
I agree, yet old.reddit is still 100x better to use than the main Reddit site, which really illustrates just how awful and user hostile their main website is (especially on mobile).
My point was that there is a better access for the immune system in the brain. Not that you'd want any infection regardless.
Floats can do it. Do your computation, and then check the inexact flag.
I read it as printed books mean something whereas online is just throwaway.

A few critiques of the online way of doing things (including of hyperlinks as authority, which I assume is what the title is about).

My irony detector may be too sensitive, but you complaining about the font seems like something that could have fit right in to this essay.