skysight-inc/HackerNews huggingface dataset:
Well it depends whether you're going to import all of warp or just the functions you need. But you're right for the most part, if you're just going to do "import warp" then my math is off indeed.

Anyway, I also don't really care that much about character count -- but it's the only reason I could think of for why someone would want to rename "warp" to "wp". If anything, abbreviating libraries like this will add more cognitive load because you have to remember what all the abbreviations mean and how to import them.
No, it isn’t. Whether it is depends on what level the mathematician operates, and will differ on what they’re working on. That’s precisely the subject of this article: there’s an intuitive idea that, upon close scrutiny, turns out to before complex than it appears to be.

So, if you want to start from the basis in a proof assistant, you’ll have to discriminate between them and either give them different names or introduce context from which the computer can infer what you mean.

If, for example, you want to prove that two definitions of integers are equivalent, you need two different names.
Non-Newtonian fluid
It's not a conspiracy, it's just an observation that the two technologies play well together. Also, natural gas is very cheap in the US. This latter fact rather than nefarious conspiracies or regulatory evil is why the "nuclear renaissance" collapsed here when the fracking revolution occurred. An efficient combined cycle gas fired power plant might cost $1/W(e), an order of magnitude lower capital cost than a nuclear plant. If the fuel for such a plant is cheap then nuclear is presented with an insuperable economic obstacle.

Combustion turbines are amazing technological achievements. It's ironic that one technology with military roots, nuclear fission, has been unseated by another technology with military roots, combustion turbines by way of jet engines.
The fact that we have to deal with this bullshit every couple months is a pretty depressing fact on its own.
Phoenix 0.1 (Pescadero) Release Notes and FAQ (2002)
> Chomsky, 95, had been admitted to hospital in Brazil, where the couple resides

https://www.standard.co.uk/news/world/activist-noam-chomsky-...

He wasn't taken, he lives there according to the Standard. Good for him as well! It's an awesome place to be in. :)
Suggested Patch

* Banks must re-evaluate the loan once a year based on the average real lease rate for that year OR the next year's contractually committed income. (Not the 'we would love to least it at X' fabrication.)

* In addition to Land Value Tax and any applicable income tax, all not-leased units and spaces would be taxed as if any asking price over comparable units within a reasonable distance, like a 12 city block or mile square centered on that unit, were booked income. Example: Studio apartments currently leased within 20% that units size within the 1 mile square average 1000 USD/mo, a vacant apartment which asks for 950/mo has a taxed rate of 0, while an apartment asking for 1200/mo would be taxed as if they had rented that space for 200 that month, even though there was 0 income. The goal is to apply a small downward pressure to rents and also directly reward renting beneath the mean average within the area. Maybe it should even be at a higher rate, like taxed as if 50% or even the full asking rate had been earned. Of course the highest possible rate (E.G. renting for one single smallest unit of time every time) would be utilized, including any one time fees for background checks, etc.
> i do eat meat (would love to stop)

I want to be encouraging here. Even reducing has a big impact on harm to animals and the environment. I'm down about 95-99% from childhood. I was a strict vegan for a while, but it was just too difficult socially. I realised that reducing my harm and environmental footprint by 95+% was enough. I don't worry too much about the rest. Please don't read this response that you need to reduce by 95%! Even reducing 50% is a huge win. Or you could try to switch to more ethical meat sources -- raised on nice farms with plenty of space. Again: This has a real impact.
We have a common account, each month we pay the same amount into it, we pay shared expenses (bills, food, etc) from this account.
We have separate savings and spending accounts, with an agreement that we each save a certain amount each month.
Things we personally want goes out of our private accounts.
Things we agree we want goes out of the shared account.
This is reasonable, fair and easy for us because our salaries are similar, but I can see how it might not be a comfortable arrangement if there is a big difference.

We both have two cards, one for the shared, one for the private.

If I buy a bunch of snacks, it goes on the private card. If I buy food, the shared.

In the end, I go to work to provide for my family and myself, and I want to be able to buy stupid shit without feeling guilty, I need this to feel things are fair, I'm going to work, I want to reap something from it. I want and need these fixed agreements so that I can save up (on my spending account) for something and buy it without feeling guilty, and know my wife can do the same. (no, decorative pillows are not a shared expense, just like the hifi is not, sure, I move the pillows to get to the couch, and she has to put up with the loud music, but those are not shared expenses, because it's both something the other person would be fine without).
There's more to mathematics than rigour and proofs (2007)
So good that it led to non existent growth except in third world immigration.
You are referring to the critical period [1] of (second) language acquisition, which is generally thought to end with the onset of puberty [2].
Neurodevelopmentally, this period coincides with extensive synaptic and dendritic pruning and increased myelination (of axons) [3], which result in the loss of some connections and the strengthening and acceleration of others. Cell loss is not thought to be a major driver of brain maturation, nor is it thought to occur more frequently during this time window.

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

[2] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5857581/

[3] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3982854/
Outcomes of shakeups are not necessarily good
Add on top of that bullshit, the new plastic caps that the EU imposed instead of doing a refundable deposit per [bottle/cap pair].
AI-powered conversion from Enzyme to React Testing Library
Reminds me of a joke:

Q: Why do communists only drink green tea?

A: Because proper-tea is theft.

(And the less said about the violins inherent in the cicstern the better).
FWIW I have moved to next-ls because IIRC José is a premium sponsor of the project, so I feel safe relying on it for the time being. Agree that the duplication is unnecessary and wasteful.
Does anyone remember how they felt when the original Matrix film showed the scene of humans being farmed? It still stays with me today. The wave of cold sweat that came over me.
> North Koreans often find it more convenient to access sites by their IP address rather than by domain name using Latin characters

Don't blame them. Enom fee's are extortionate. And when DNS breaks it still works.
There also is splice: https://www.man7.org/linux/man-pages/man2/splice.2.html

Which allows to move memory from one process to the next using pipes without copying data. So maybe a bit of a mix between shared memory and pipes.

Maybe it would be interesting to see that in the comparison as well...
That's because in many places capital gains are not taxed while dividends are, hence a preference for stock price increases. This distortion should be corrected somehow otherwise the economic incentives will continue to be to milk the cow dry at the expense of everything and everyone.
it's the closest, but it's a very broad and not so well known term, maybe defining my app open source is not technically a perfect term, but it's the clearest in describing it (considering that in the libraries and models section I specified which are open-source and which are not, Ml-Kit, used to recognize the language, for example is closed source), if a developer doesn't see the open source writing anywhere he will only get confused in understanding what the license of my app is. However, based on your feedback I added the specification (in the "libraries and models" section) that NLLB has a non-commercial license.
To be fair, thousands of microservices in a monorepo sounds better than thousands of microservices, each with its own repository (but sub-repo’ing common libraries so everything jams up in everything else).
We already have the frozen and boiling temperature of water or any other liquid.

I remind you that boiling water is 100c and not higher as the energy is used to change phase. (at 1atm and close to the sea level)

You can use different materials for the temperature you are more interested in if you want more precision, we don't need to go under bodies of water to calibrate thermometers
Locusts rebranded as 'sky prawns' (2004)
There are multiple parties described as far-right in EU countries.

Hungary has Fidesz, Germany has Alternative für Deutschland, the Sweden Democrats are almost far-right (apparently), etc.
I would love to have your advice. What tool would you recommend to do straightforward ETL's as a single developer? Think of tasks like ETL-ing data from Production to Test or Local. Or quickly combining data from 2 databases to answer some business question.

Six years ago I used Pentaho to do it. And it worked really well. It was easy and quick. Though maintenance was hard sometimes and it felt very dated: The javascript version was ancient, I could find a lot of questions answered online, but they were usually 5-10years old. I am wondering whether I should use something like Amphi for my next simple-ETLs.
There are a number of ways you could approach this.

1. Post here on HN. On the 1st work day of every month, the whoishiring bot posts 3 Ask HN threads and you can use the Ask HN: Freelancer? Seeking freelancer? thread to post an ad stating the specific skills that you are looking for. You are more likely to get inquiries if you include a budget. Here are 2 examples: https://news.ycombinator.com/item?id=38846044 (Jan 2024) and https://news.ycombinator.com/item?id=38514744 (Dec 2023).

2. There is also Algora (https://console.algora.io/) and they support the very use case you are asking about though they have a take rate of about 25% for each bounty[1].

Here's an example of Scott Chacon using Algora to sponsor a bounty in the Zed repo https://github.com/zed-industries/zed/issues/4440. He posted about his experience on Twitter here: https://x.com/chacon/status/1770005036170375594.

3. One limitation of Algora mentioned in #2 is that there is a high representation of application software (web apps, desktop apps etc) compared to system software (web browsers, databases etc) meaning many of the bounties available are in "mainstream" languages like JavaScript/TypeScript, Golang, Rust. There are only a handful of bounties that require C/C++ expertise (which I imagine is what you'll need to work on Chromium) so it might be a struggle to get the right developers on Algora. One solution would be to post the bounty on Algora then do targeted outreach in WebRTC communities so the bounty can reach the right audience. For instance, Sean DuBois, who runs the Pion WebRTC community, has posted in the past on behalf of WebRTC folks looking for a role e.g. https://x.com/_pion/status/1780286789074252176 so you could consider reaching out to him and similar communities to see if they can help with match-making folks that might be interested in your bounty.

1: https://github.com/nuxt/nuxt/issues/15639#issuecomment-19866...
There were elections about a week ago, so people voted for that, did they change mind in a week ?

If you go against what people voted for, isn't it denying democracy and the votes of the people ?
I work as a Data Engineer and in my country Azure is pretty big, and as a consequence their Data Factory service has become a common choice for enterprises. It's a GUI based ETL tool, architects prefer it since it is a managed cloud service and supposedly is easy to use.

In practice you lose all the benefits of abstraction, unit testing, proper CI/CD, etc. I haven't met an engineer that likes the service. Some projects have resorted to writing code generation tools, so that they can take config files and programmatically generate the JSON serialization of the pipelines that you're supposed to develop by clicking and dragging.
> The second birth sent the mother into a panic and caretakers had to restrain her to prevent her from stepping on the female calf

And the mother might not have enough milk to feed more than one (according to video). I guess it's nature's cruel way of ensuring "one healthy successor instead of 2 weak ones that might end up eaten by lions").
The compiler it uses:
https://git.codingworkshop.eu.org/xt-sys/xtchain

"This is a LLVM/Clang/LLD based mingw-w64 toolchain". Ahh LLVM :D
I also wonder how it applies to Matrix, which is encrypted and technically decentralized.

However most users will be using the matrix.org homeserver, which makes it effectively centralized. Though I can still create my own homeserver that talks to matrix.org.

Would matrix.org be forced to offer scanning / a backdoor on the homeserver?
Or would they be forced to add something to the official apps, which is pretty ineffective as there are many client apps.

All in all this proposal seems like a complete mess.
Whether there's water-weirdness or not, cellular insides are definitely hard for us to intuit. We think of them like tiny fishtanks, but they're actually a fully packed squirming stew where "body temperature" means floating proteins molecules are bouncing around at enormous velocities.
> Politicians in Europe generally do not appreciate mass, repetitive emailing

Nobody likes this. A concise, thoughtful call or message carries a premium in the states, but only if you’re demonstrably a constituent.

The reason is simple: it shows conviction. If you’re willing to pick up the phone, you might be willing to stump for an opponent. If you’re unwilling to do that, or are raving at the politician such that you would never be won over by them, you’re messaging you’re a lost cause.
If you're going to use the political definition of "third world", then you need to include Switzerland. I'm sure that's not the type of country the OP was referring to. These days, almost everyone who uses this term is using it in the economic sense, since the Cold War has been over for decades.

Do you also complain when people use the term "decimated" and they aren't talking about killing 1 of every 10 soldiers?
> in France, the Front National is promising raising the minimum wage, bringing back the wealth tax, and other such populist "give money to the real people" things

These are not populist things…
This is obviously being said at least partially tongue in cheek. Not every website is Microsoft dot com.
Warning in this context means something obvious to the unsuspecting user that collapse is imminent. Like a building creaking or buckling minutes or hours before finally giving way.
ofc, some guy at every TV channel can't wait to call up his homie at that gov. institution that gets to process all that data. marketaching*can y'all here the cashier dancing?
So basically the elites are using the internet to control (feeding) the starving folk.

No internet means less control. Brings them closer to the starving folks level, more chance of actually being a "people's republic" then.
There's not much government worth salvaging in that country, basically an army.

The only loss would be them improving their security now. Other world governments may have left that vulnerability untouched purely in case they need to use it at a later stage.
1) a bond (not that it necessarily means THAT much, but it’s not trivial)

2) no negative outstanding complaints on said license

3) no negative history with the owner, GC, or prime contractors.

4) history of successfully completing equivalent work without screwing over everyone else involved.

5) on union jobs, the right kinds of union support.

The ‘basically’ in your statement is doing a lot of work.

No GC with a chance of staying solvent accepts random low bids from contractors they don’t know, have history with, or that don’t have history with someone they know doing work successfully of the same type.

Rework is already enough of a problem without having to completely redo plumbing, electrical, framing, carpentry, what have you because a sub screwed it up - and disappeared or is now insolvent.

Going after someone’s license takes forever, same with suing someone over damages, and it’s not like a bad sub disappearing in a drunken bender (or worse) after a screw up never happens in certain corners of the industry.

Will folks get squeezed a bit? Sure, it’s part of the game. They also fluff a bit, also part of the game. Somehow, the folks who know how to play it end up solvent and with new trucks at the end eh?

But avoiding fly by night subs is an even bigger part of staying alive. Public works are a classic shitshow on this front though in some areas.
Native apps do network downloads of comparable or even bigger size too. I do not see how this can be an argument in SPA vs MPA decision making. „Rich client“-server architectures existed long before SPA became a thing and on much slower networks, so pretty much every problem modern SPAs face, from UX to performance to change management, was already solved by someone. Isn’t it actually ignorance of JS frontend community which has reinvented many wheels in rather ugly way, that causes the trouble?
Passing is one thing. They waste everyone's time by threatening to pass idiotic legislation every 6 months. But perhaps that is the goal so people do not investigate why the EU is getting poorer and all money goes into housing and healthcare.
It is impressive if kafka is the weakest link in your system (99.99% is achievable and even 99.999% is not impossible with the architecture)
That will never fly in every Linux distribution (if any at all), so there’s never going to be a way to stop this for even reasonably proficient criminals.
Here is an overview of the three papers of the "Reproducibility Project: Cancer Biology" (1). The detailed results are in references 2-3

And if you've only ever encountered a single opinion piece on the reproducibility problem in biology/pre-clinical research, then I highly recommend you do a targeted keyword search.

(1) https://elifesciences.org/articles/75830
Saying the only reason why a public service is terrible is because it was “intentional” seems a massive stretch.

You’re ignoring poor management, bad processes, etc.
I agree with you and I'm always confused when people talk about process isolation as a primary requirement for a collection of small internal services with negligible load.

In addition the overhead and reporting drawbacks of running multiple isolated databases is vastly higher than any advantaged gained from small isolated deployments.
I've had a few less tech-savvy friends tell me dubious things this past year and asked where they heard it—usually "this neat app I found called ChatGPT". eyeroll
Don't get confused by peak net-demand i.e. demand that is left after you subtract solar.

The newly cheap midday power should be driving demand towards that time period but it won't show up on net demand charts, which will show the famous duck curve belly at that time. That doesn't mean people aren't using energy at that time.

In fact the main way to detect this demand shift in a net demand graph is to see that the evening peaks are dropping year over year, even as they seem relatively larger compared with net demand when solar is working.

But anyway, in California the massive deployment of batteries in the last few years has already solved this problem. Compared with peaking gas plants that only run once a day for a few hours batteries are both cheap and clean.
Yes, it's possible the scale of killings was unintended by the leadership, and the focus was on other things. Hard to say without independent investigation.

https://www.wsj.com/world/middle-east/gaza-chiefs-brutal-cal...

> Though Sinwar planned and greenlighted the Oct. 7 attacks, early messages to cease-fire negotiators show he seemed surprised by the brutality of Hamas’s armed wing and other Palestinians, and how easily they committed civilian atrocities.
“Things went out of control,” Sinwar said in one of his messages, referring to gangs taking civilian women and children as hostages. “People got caught up in this, and that should not have happened.”

And you will not win an argument about who's threat to who in this particular conflict in favor of Israeli Jews by comapring numbers of victims.
Ајсе Cрбине реци им како ствари стоје, ја покушавам ал сам увек флегд :)
thing is, this chat control will not help. Criminals will use illegal tools while all the rest of the population will be subject to gov investigation (including monitoring political adversaries). And that's one thing - if the system is wrongly implemented, this backdoor could be accessed by 3'rd parties/hackers and at that point it would be a clown show.
Unrestricted social media is another problem that should be solved, it'll not be solved by this law, in fact it may worsen it if certain actors will want to alter backdoor mechanism so that the access to all the data will not be shared only with govt
This sounds like the privilege of never having been persecuted by your own government. And the lack of empathy towards and acknowledgment of those who are.
As a Norwegian, I’m not sure this matters. You think app publishers are going to release a Swiss/Norwegian version that doesn’t have that? Nah, they’ll just release the same version with chat control in all of Europe. (Besides the fact that Norway usually rubber stamps EU rules without much consideration, which maybe isn’t a problem in Switzerland)
You successfully answered why you would make a project that you haven't made, but that doesn't really answer the question, and the author already answered in the same subthread 30 minutes before your post.
You can even shoot in the field using a microscope! I designed a 3D-printed mount to attach a $25 4x microscope objective to a DSLR or mirrorless camera:

https://www.printables.com/model/143754-microscope-adapter-f...

A shorter version of the adapter "underclocks" the objective to 2x magnification, which is much easier to hand-hold:

https://www.printables.com/model/397489-microscope-adapter-f...

If you already have a 3D printer then this is a very cheap way to get started.
Man, that image brings back some memories I didn't know I had
That is hardy going to be a factor. Most people are not going to care anyway and those that do will be able to install it without an app store.
Many western countries in general do not care for routine maintenance of
infrastructure / buildings / water lines / busses.

Norway has to be among the worst.

It is not fun and glorious for a political administration to set aside
$$$$ every year that will just go to people doing boring work that the
voters will not be impressed with.

You dont see politicians "Under my administration we painted XX buildings, we did need maintenance of YY bridges, we replaced ZZ parts of the railway that would become problematic with time.

Rather:
"Under my administration we opened up a new large hospital (because the other had near 0 maintannce for decades), we built 2 new bridges etc"
I've heard the same said about acid rain. Another case of an actual major problem that was quickly solved by multilateral action.

People don't understand that those problems were peanuts though in comparison.
Ok, I think I found the perfect solution, In the readme I added near open-source "(almost)" with a link to the libraries and models section when I explained clearer what components are open-source, closed-source, and cc-by-nc.
Except GPS is a fixed problem.