skysight-inc/HackerNews huggingface dataset:
>If you give GPT3 code with a bug in it, and ask it to find the bug, it can't really do that.

The hell are you talking about? I've been doing this literally any time I need something fixed and it does just fine.
The cost reductions alone would be staggering. Iron and nitrogen are incredibly cheap
I'm a fan of liquid democarcy on a conceptual level so this result is surprising to me. Started a side project to test it out in a game environment, basically an online Nomic[1] although I have abandoned it for now. Reading through some of the paper makes me realize I didn't think it through as deep as the authors and I'm probably not smart enough.

I understand they used a perceptual test to figure out who the experts are.

And 'over delegation' results in losing benefits of delegates who have information that might be useful?

This is not clear to me:
"...it (over delegation) reduces the variety of independent information sources"

In a perceptual task where one is found to be better than the other participants, why wouldn't it be the case that voting for the best participent (the expert) gives you the best result? I think I'm missing something

[1] https://en.wikipedia.org/wiki/Nomic
Hi there! I work on the TypeScript team and I respect your feedback. Of course I do think TypeScript is worth it, and I'll try to address some of the points you've raised with my thoughts.

i. Dependency management is indeed frustrating. TypeScript doesn't create a new major version for every more-advanced check. In cases where inference might improve or new analyses are added, we run the risk of affecting existing builds. My best advice on this front is to lock to a specific minor version of TS.

ii. My anecdotal experience is that library documentation could indeed be better; however, that's been the case with JavaScript libraries regardless of types.

iii. Our error messages need to get better - I'm in full agreement with you. Often a concrete repro is a good way to get us thinking. Our error reporting system can often take shortcuts to provide a good error message when we recognize a pattern.

iv. Compilation can be a burden from tooling overhead. For the front-end, it is usually less of a pain since tools like esbuild and swc are making these so much faster and seamless (assuming you're bundling anyway - which is likely if you use npm). For a platform like Node.js, it is admittedly still a bit annoying. You can still use those tools, or you can even use TypeScript for type-checking `.js` files with JSDoc. Long-term, we've been investigating ways to bring type annotations to JavaScript itself and checked by TypeScript - but that might be years away.

I know that these points might not give you back the time you spent working on these issues - but maybe they'll help avoid the same frustrations in the future.

If you have any other thoughts or want to dig into specifics, feel free to reach out at Daniel <dot> MyLastName at Microsoft <dot-com>.
HBO Max Increases Monthly Price to $15.99 US Dollars
For document apps, the idea is that you are working on a document. You can then close that document and open another document without the app closing when you close the first document. It’s not really about having apps running in the background. It’s just a slightly different way to look at documents and apps.
I think this says less about cosmology and more about the incredibly effectiveness of the standard model in the regime we can test directly on earth.

If we compare ΛCDM to most other scientific theories it doesn't look so bad in terms of discrepancies. Certainly there are many unexplained effects in solid state physics, there isn't even an accepted explanation for why rubbing a balloon on your head makes it stick to a wall and that's an experiment you probably did as a child.
Is this something anybody ever thought out to look at things this way? Sounds like an intriguing Gedankenexperiment
I'm guessing that they've spent the last 13 years figuring out a production process, then raising money to make them rather than selling out to another company.
I can't give many specifics, my knowledge is YouTube mathematicians like 3blue1brown and Matt Parker taking about things like this.
> From a different angle, is this a problem with the language itself or is it a problem with the libraries?

It's a problem for me - the developer. From my viewpoint I don't really care where the responsibility of bad documentation lies, only that it makes me not want to use TypeScript.

> Are you arguing JS libraries at large are better documented? Sounds highly dubious.

You can't really decouple JS libraries from TS. Most JS libraries still maintained support TS these days. My point is that many of them are still documented using JS with JS examples, and don't fully document the types that go along with all their methods.
You have it right. My cosmology teacher at UVA a couple decades ago used the analogy of points marked on the surface of a balloon that's being inflated. (maybe more intuitive than other shortcuts to understanding?)
Sorry, it was part of his software training. Not seeing a public version out there. Maybe he'll jump in with a link I've missed.
>Why should it be a "subscription"?

I genuinely have no idea, but that’s how they’ve decided to price this. For $8 you don’t even get takedowns or search results according to the pricing page. As far as I can tell you give them $8 per month in exchange for a monthly email saying “We ran a search.”?

This is quite a bizarre company.
Yep, basically same here with a T14s G3 also with the 6850U PRO.
There are some streamers on twitch that often answer questions, but it can be very hit or miss
Lets see, in the last 2 centuries humans have:

Devoted years worth of total resource production to kill each other by the millions over a few square miles of resource poor land.

That was such a popular hit that we threw a sequel that was even more costly.

As a result of the sequel we had several major empires devote trillions of dollars to making sure that we could annihilate our own species just in case one of the others also tried to annihilate the species first. This caused the collapse of at least one empire. People regularly call for the use of these annihilation weapons and it's sheer dumb luck that it hasn't happened yet.

Speaking of annihilation - there have been several large scale attempts at exterminating all humans that fit xyz criteria in the last century. Mostly these are not based on anything other than "exists with DNA slightly different than our own". It seems likely that "exists with way different DNA" and even "exists with a different building block than DNA" could be used as criteria.

If you don't limit yourself to intelligent species, humans have carried out large scale attempts at exterminating several native species. Some I'm aware of in the last couple centuries:

Wolf eradication programs paying bounties per dead wolf.

Same for the american bison. (this one is special because it was also intentionally an attempt to genocide native folks by starvation).

The "smash sparrow" campaign in china - kill all the sparrows because of a misunderstanding of what food they eat.

I guess I could buy your premise that humans wouldn't participate in the dark forest for logical reasons is semi-believable IFF we ignore the things humans actually do.
Yeah, I agree, but Go is allowing traditional mutices that work the same way (except the rwlock discrepancy as pointed out by the paper). Channels aren’t forced, just encouraged. There are cases where locks are preferable.

My main criticism against the paper is that what tipped the scales for concurrency bugs is the “blocking category” which of course is going to be higher with message passing since it’s a blocking paradigm. Locks only block until unlocked, and isn’t used as a general purpose signaling mechanism.

The “non-blocking” bugs are over represented by locks, which are generally more serious (non-deterministic data races vs deterministic deadlocks).

That said, I have criticism against Go as well. The decision to not implement structured concurrency (fire-and-forget goroutines) makes these deadlocks largely go unnoticed. If goroutines had ownership or scope, runtime detection a la ‘-race’ would help detect a lot of these bugs.
Depends what you mean by the big bang theory. The theory that the universe expanded almost from a point will probably survive forever, but ΛCDM might not survive the decade.
But what was really the question?
well, you could. And it might not be a complete waste of time. I would not expect any directly useful answers(...). But producing a semi-random collation of sentences that spans the corpus of cosmological facts and models and asking scientists to review / draw "inspiration" from it might remove some of the biases of the average cosmologist (like having to follow the latest publish-or-perish fad). This would only be useful if the answer is sort of hidding in plain sight (within the published stuff) and you tweak the algorithm not to ignore weird observations or theories that are not cited a lot.

But the beauty of science (and the human mind driving it) that important progress happens with creative jumps that invent completely new things (e.g., new mathematics) and frequently bear little resemblance to the past
That’s how I read the article too. We wanted to move from ruby to node. They even admit that the most well know language is ruby in their org. Seems like a pretty serious waste of resources to me.
It feels like you're assuming that Apple is a student here that forgot to do his homework, as opposed to a miscreant who is trying to block progress on purpose.

Apple wants to handicap web apps to encourage people to build for iOS.
Cars are around 10% of total energy usage, this would have only minimal impact.

I agree about the research, but that's unrelated to the point I was making.
It's pretty clear that it's the same at the atomic level as well.

The spectra look exactly like they look here. They're red-shifted, but the gaps between the peaks are exactly the same. That comes from the atomic level, the way the electrons are arranged within the atom.

If something were different at the atomic level, it would surely change the characteristics of the light they give off. The only way to see what we see would be if there were two things different, that somehow counteracted each other in the things we can see but were nonetheless different in some other factor we can't observe.

That's not impossible, but it would be a bizarre coincidence.
Its not racist because it wasn't meant to be prejudicial or to treat different races discriminately. It has an unfortunate bias (without racist intent), that hopefully will reduce and go away with better models. Apple and Google have already started with their real skin tone processing in cameras.
It's not the admins that are flagging, it is other users, likely because your submissions are not fit for HN
I don't quite follow the question here but to clarify one thing: Kùzu is currently integrating Arrow not as a core storage structure but as a file format from which we can ingest data. We are writing Kùzu's entire storage, so it's our own design. It has three components: Vanilla columns for node properties, columnar compressed sparse row (https://tinyurl.com/2r2s4wpe) join indices and relationship properties, and a hash index for primary keys of node records. We don't use Arrow to store db files.

For serializability: yes, we support serializable transactions. So when you insert, delete or update node, rel records, you get all or nothing behavior (e.g., if you rollback none of your updates will be visible).

That said, supporting ACID transactions is a compeletely separate design decision in DBMSs, so our (or other systems') mechanisms to support transactions (for example whether it's based on write ahead logging or not) and storage designs are generally mutually exclusive decisions.
>The programs you suggested only help to (temporarily) inspect the Request/Response, as you say, but you would need to manually modify the responses every time they come through the proxy, which could easily translate to hundreds of requests per day while using a single app. Surely no one wants to have to sit there modifying every single HTTP request while using an app like Adobe Photoshop.

The tools I mentioned all support rules for automatically modifying requests/responses. Most of them support custom scripting as well.

>Wrong, you still need a custom proxy server for this to work.

Not sure why the rudeness here. I'm just sharing some useful tools that would be easier to use than writing an entire HTTP proxy from scratch.

You'll certainly have more power writing a custom proxy from scratch, but off-the-shelf HTTP proxying tools are a good start for someone exploring this space.
I don't think it is fair to characterize cosmology as not making progress no. Stuff is far away and occluded and hard to measure and see. Each improvement in observation causes a need to refine previous ideas, as expected. There are of course the two big mysteries that have lingered for a long time: Dark Matter and Dark Energy, but other areas of physics have lingering mysteries as well.
I think it's a bit more subtle than whether it can synthesize, because clearly it can produce seemingly new work.

But what it definitely cannot do is seek new abstractions. It can't be curious about an inconsistency and probe its own knowledge for possible resolutions, or design an experiment that might shed further light in an unknown area. It can't even play a board game after ingesting the rules to it, much less identify contradictions or problems in such a ruleset. And a board game is a tiny microcosm compared with the laws of physics.

It's conceivable that one or more scientists could work in conjunction with an AI to help augment their own abilities, co-pilot style, but I don't think we have a picture yet of what exactly that kind of thing would look like.
Does legality matter to the CIA?

What entity could bring meaningful complaints against them?
Ironic that the US is crying foul on China [allegedly] keeping tabs on its own citizens overseas --when the US has been treating the entire planet like it falls under their own legal jurisdiction.
Sour grapes from NASA, the organisation that has done absolutely nothing about men going to the Moon for fifty wasted years. The last of the Apollo missions was way back in 1972.
> Rust was developed by Mozilla specifically for use in writing a browser, so it’s very fitting that Chromium would finally begin to rely on this technology too. Thank you Mozilla for your huge contribution to the systems software industry. Rust has been an incredible proof that we should be able to expect a language to provide safety while also being performant.

Somewhere, the laid-off Mozilla Servo team just took a swig from their hip flask.
"- They're brilliant, I mean very smart people (in an almost academic way?)

- They have a big appetite for adding complexity to systems

- They also have a big appetite for adding work to their own plates

- Their code has no consistent style"

These statements contradict each other, or at the very least these people are not good engineers, even if they're smart in the sense of being able to deal with complex ideas. Good engineers do not code with an inconsistent style, nor do they add unnecessary complexity when it was avoidable, just to satisfy intellectual curiosity.

The real smarts are to be found in simple, clean, clear code with obvious lines of control. Great code can look almost 'dumb' to the 'fresh off a CS course' grad. This is the difference between cleverness and the wisdom and the good taste to know the right balance to strike in code.
I hear you. Batteries, magnets, and motors seem especially prone to this type of page where it constantly says "will enable", "will produce", and experts who "will help" this technology come to fruition.

At this point I consider it spam unless it says "has enabled", "have produced", or gives some already achieved numbers.
16:9 demands true full-screen for viewing 16:9 content. 16:10 leaves a little room for toolbars if you just want to maximize a window and look at something.
Gadolin was Finnish by the same logic Benjamin Franklin was American. Or would you consider him an Englishman? He was born in the British colony, after all.
Winter is coming. When all of the dead become part of the army of the white walkers, people will start accepting funeral pyres again. You wait and see!

Also, this reads like an ad
Looks like it’s been longer than I realized since I last paid attention to displays. That’s wonderful that alternatives to 16:9 are rising again.
Scott's Cheap Flights is now Going
Again: the smoking and sugar consumption rate have both been declining in your country.[1][2]

[1] https://www.statista.com/statistics/1038507/poland-share-of-...
[2] https://www.statista.com/statistics/1197501/poland-monthly-c...
We have a concept of the Particle Horizon, the max distance light could have traveled in the universe, and that is our boundary, our effective edge of the universe.

There's the concept of the light cone, which is the total volume of observable light which can ever reach an observer, or inversely, the total volume ever traveled by a given point source. The expansion of the universe means that there is a certain boundary, a horizon where the universe expands too much for light to ever travel the required distance.

https://en.m.wikipedia.org/wiki/Particle_horizon

https://en.wikipedia.org/wiki/Light_cone
Doing the lord's work, thank you.
She did not buy it at that price, but follows a Facebook Costco group that shared the information.
not sure what 'awhile' is for you, but you can freeze them if needed. just beat the eggs in a container, and stash away in the freezer.
This article has a bit more detail https://news.bloomberglaw.com/ip-law/apple-loses-first-round...
Sounds like a job for the Terraform Industries product from a few days ago

https://terraformindustries.wordpress.com/2023/01/09/terrafo...
> Be your own advocate and research the things your doctor tells you

I share your concern but I think there is no definitive advise about how to prevent these horrible outcomes (besides the usual "do regular exercise", "lower sugar consumption", "avoid stress", etc.) Did you find anything more concrete?
The number of possibilities are countably infinite. Makes sense that we will keep finding things we don't understand for a long time.
If it makes you feel any better, I don't know Cypher and SQL still feels like an outdated monster.
I guess we won't be seeing as many "Flexport is hiring" solicitations on HN.
I mean, the System76 discussed also isn't available at this exact moment either...
Getting sandwiches from the FOSDEM crew or snacks outside was never a problem for me during my visits back in the day. Just took like half an hour or so and could nicely be combined with a kriek. Has it gotten much more crowded or something?
Yes, of course. It must be life is present in other places because of the vast number of suns with planets. We are starting to see that planets are forming around stars in some ways similar to us, other ways different (it's hard to see earth like planets bc of limits of our technology). We already know rocks can get ejected from one planet in our own solar system, and thus have certainly the possibility to spread small bits of dna from earth to mars (and it could go the other way). We have seen the 4 dna bases (plus the one that is different is rna) in space. We have the extremely suggestive but not certain possibility that methane detected on mars is coming from biological processes. There is certainty on life in the universe elsewhere - at least microbial but I think it's certain that higher level life forms are there.

We don't know nearly as much about advanced life, like say animals, plants over bacteria, much less intelligent life. But the universe is so huge, I think it's likely there are other places with intelligent life.
The Revolutionaries Will Be Televised: Pleasr Launches Live Auction with Snowden
The community that purchased The Doge meme and Martin Shrkeli’s Wu-Tang Clan album moves to hosting its own sales, starting with an NFT by Edward Snowden, Daniel Ellsberg and the Freedom of the Press Foundation.
What’s even more hilarious is expert professionals being openly derisive and spreading stereotypes about others based on programming language preferences.

Do you hate JavaScript programmers?

Do you also agree with your friends how of people of different color are all the same?

Do you feel the need to call out other people’s sexual orientation, at least behind their back when only your friends are hearing?

Some of your friends might be JavaScript programmers, you know.
Null Call: Advice for the vestigial shamans among us (2021)
The problem is that "wake makers" have a tendency to invent problems and then "solve" them. They will want to switch to a new framework because something about the old one bothers them. Heck, they'll even end up writing their own framework, in a language they themselves invented.

They see literally everything as a problem which can be solved by throwing as much complex code at it as you'll let them. Great for academia, terrible for business.
This is one of the things (along with repair) that finally motivated me to learn electronics. You could probably build your own Everdrive 64 for less than $20! (Plus hundreds of dollars for an oscilloscope and other equipment but you can keep that for the next project)

Maybe worth it?
You can certainly have the discussion, but it would not have helped. We are still having discussion TODAY and it's doing nothing of any consequence.

The only thing that matters for actual deployment is how much the energy source costs. Nuclear power costs were dramatically increased due to unnecessary fear.

For example solar power needs inverters - but those didn't work well back then. It just so happens to right now technology has finally reached the point that alternate power actually is cheap enough to deploy.

So we are deploying it.

All the "climate talk" is doing nothing, what actually matters is the money.
My screen is 2560x1600 and I use Fractional Scaling (125%) on Fedora/Gnome with Wayland just fine.
The kitchen fan duct in a Nordic house or apartment is separate from the regular ventilation. I assume thats pretty universal for fire safety reasons. It’s a 125mm or 160mm pipe with 50mm fire insulation using a fan in the hood or on the roof that runs only when cooking. But there is also a vent in every kitchen (ideally at the opposite end) which draws the regular exhaust air continuously (much slower and quieter). Only that vent is connected to the heat exchanger or exhaust heat pump. They must be separate because the kitchen vent should manage a grease fire and you don’t want the grease into the ventilation.

Similarly in bathrooms there is a vent drawing a base flow of air to the hrv/heat pump but it’s also common to have an additional direct exhaust e.g on an outer wall which only runs when needed.

So the ventilation system with heat recovery is only for the continuous ventilation. Then short term ventilation like after a shower or when frying meatballs is in addition to that.
Even in the parts of the US that are unified grids, a kWh is not a kWh. Where you live determines how expensive your electricity is. Compare Cambridge, MA https://electricityrates.com/compare/electricity/02139/ with Philadelphia, PA https://electricityrates.com/compare/electricity/19101/. About twice as expensive in MA.
So who's left, basically Github?