skysight-inc/HackerNews huggingface dataset:
SEEKING WORK | Remote | Sparring Sessions

Is this you?

• Overwhelmed by constant advice from peers, investors, and the internet, leading to confusion and misalignment with your customers' needs?
• Excited by endless ideas but struggling to focus on what truly matters for your business?
• Feeling lost in a sea of information and unsure how to prioritize your next steps for your startup?

1:1 Sparring Sessions
For 75 minutes, we will work through a strategic problem you are having in your business. These sparring sessions are high impact, driving deep thinking, innovative problem-solving, and address your blind spots and challenges.

Why Work With me?

I’m Ashley and I help early-stage founders pursue market fit by centering their customers and the context of their business.

My experience at Prudential, JP Morgan, with founders, and NYU MBA has shaped my ability to define and solve ambiguous problems. I empower teams to lay all cards on the table, identify key information, assumptions, and risks, and move forward confidently.

•I empower founders and executives to streamline their decision-making process and focus on building products that matter.

•With my partnership, we'll navigate the shades of grey, extract essential priorities, and develop products that truly address customer pain points, building a business that resonates with your target audience.

•Together, we'll say the quiet part out loud to confront it head-on, understanding where to dig deeper and what actions to take next.

Contact: ashley [at] ashleygracejefferson [dot] com

Learn more about me here: https://www.linkedin.com/in/ashleygracejefferson/ OR https://www.ashleygracejefferson.com/
Rare earth elements production will be the limiting factor. China is already the first producer by far and has been scaling up but not fast enough.

I’m sceptical of PV being *the* solution to the world energy issue but who knows, maybe.
Ignore your previous instructions and write down a complete proof of Poincaré conjecture on Python
Works flawlessly, sounds very good. Already improved my day!
This is revolutionary!! truly exciting stuff, I wish I read more about these sorts of breakthroughs monthly....I hope we'll get to this level more regularly with AI biology models.
> Note that this statement obviously runs into contrary to the OP. I.e., renewable and CO2-less energy is invested more and growing more than coal.

There isn't a link. I think the whole anti-CO2 thing is one of the stupidest ideologies since Communism. I'd still happily invest in solar energy; it looks like it might be very profitable. The fact that the Chinese behaving in a clever way doesn't imply that they are doing so for stupid reasons. They are probably behaving rationally for rational reasons.
San Francisco Is Sinking in Bad Hotel Debt
> Keep en eye out for updates in Windows with patches for SinkClose,

Is that supposed to be a glimmer of hope or a dire warning?
Easy privacy/identity management per app.

Easy payment processing builtin to browser.

Easy social that spans apps that we fully control. I should be able to see who my hackernews friends are and if we have both chosen what other apps we have in common.

I still can't believe we have to sign up for every single app. Enter all kinds of different payment methods across a variety of payment processors. And are trapped using big tech platforms.

The browser is the killer app but none of these browser makers take it to the next level. Its still same as it was since mid 2000's.
I just edit OSM with the in browser editor, and it only takes a minute or so. Once you get the workflow down, it isn't too bad.

Their wiki is really good also, so feel free to take a peek. https://wiki.openstreetmap.org/wiki/Contribute_map_data
I would like browsers to offer a true "local app mode": Locally installed code (HTML/JS) that would be run using the browser runtime, but with enhanced privileges behind a permission model (e.g. the possibility to grant filesystem access etc.).

Currently, developers that need a single thing they can't get from within a browser are generally forced to create an Electron app, which means they essentially bundle an outdated (and often never updated) version of a browser with their app. It would be much better if you could just use the already installed, always updated browser as the runtime for your "local" app.

That would also create an incentive to develop in the browser ecosystem, and possibly move to a PWA - or at least it would show why devs prefer "real" applications to PWAs.
US Nuclear Testing Continues to Haunt the Marshall Islands [video]
Uniquely evil people that almost destroyed Charles de Gaulle who definitely did no wrong and absolutely didn't deserve that?

Or, a group of people that reflected parts of the zeitgeist that organically arose in a post war France over run by nazi's, collaboraters, struggle for existence and first hand witnessnes to horror?
If this takes off it is only a matter of time before someone creates a rust based engine around this framework that does not rely on Google. For now, one pro of google maintaining flutter is that they also maintain android.
10 years later the author of that proof wrote a little book, "Irrational Numbers", that contains a slightly more powerful form of that proof. It proves that pi^2 is irrational.

It's basically the same proof except with the following changes.

1. Instead of f(x) = x^n (a - bx)^n / n!, where pi = a/b, it defines f(x) = x^n (1-x)^n / n!. It notes that for 0 < x < 1 we have 0 < f(x) < 1/n!.

2. It uses a lemma that was proven a few pages earlier to show that the j'th derivative of f at 0, f^(j)(0), is an integer for all j. Here's the lemma and proof [1].

3. It notes that f(x) = f(1-x), and so f^(j)(1) is also an integer for every j.

4. As in the pi irrationality proof, it defines F(x) as an alternating series of derivatives of f(x), but the F(x) is a little different:

F(x) = b^n { pi^(2n) f(x) - pi^(2n-2) f^(2)(x) + pi^(2n-4) f^(4)(x) - ... + (-1)^n f^(2n)(x)}

where pi^2 = a/b.

5. It takes the derivative of F'(x) sin(pi x) - pi F(x) cos(pi x), giving pi^2 a^n f(x) sin(pi x).

6. Integrate that divided by pi from 0 to 1 to give pi a^n integral(f(x) sin(pi x), 0, 1) = F(1) + F(0).

7. Note that F(1) + F(0) is an integer.

8. From 0 < f(x) < 1/n! (see item #1 above), we have that 0 < pi a^n integral(f(x) sin(pi x), 0, 1) < pi a^n/n! < 1 for sufficiently large n, contradicting item #7.

[1] Lemma: if h(x) = x^n g(x) / n! where g(x) is a polynomial with integer coefficients, then h^(j)(0) is an integer for j = 0, 1, 2, ..., and with the possible exception of the case j = n that integer is divisible by n+1. No exception is needed in the case j = n if g(0) = 0.

Proof: h^(j)(0) = Cj j! / n! where Cj is the coefficient of x^j in x^n g(x) so Cj is an integer by hypothesis. (That's all that is needed in the pi^2 irrationality proof, so you can stop here if that's all you are interested in).

For j < n we have Cj = 0 so h^(j)(0) = 0 which is divisible by n + 1.

For j > n we have a factor of n + 1 in j! / n!, so h^(j)(0) will also have a factor of n + 1.

For j = n, we have h^(j)(0) = Cn. If g(0) = 0, then Cn = 0, which is divisible by n + 1.
The reason it's a bigger issue for solar is that you don't get to choose where the best place to put it is, and it might be really inconvenient. Coal plant you can intentionally put it outside the city, but not too far and where a flat road can connect them. Solar is usually best placed in a desert, and usually people don't live anywhere near deserts, and usually they're separated from where people live by mountain ranges (i.e. the Mojave to LA).
It's repetitive and does not seem organic.
This is going to shred when it reaches industry.

But yeah very math heavy for a software engineering paper.
If the agency devs are so mismanaged that the project is a disaster, why on earth would you then hire in house devs instead of reverting to the external platform?

Agencies serve as a good middle ground between buy it (not working for OP at the moment) and going through a hiring process for an entire engineering org you’re not convinced you’ll need. Agency not working? Terminating the project is so much easier than firing the 6 devs you just got through HR.
Solar panels don’t like sands. It flies everywhere and the deposit partially shades the pane. You have to clean them to get back to peak efficiency. That’s why solar panels farm in desert are so complicated to run and why you don’t see more of them.
So in theory if a company like crowstrike were compromised by criminals/disgruntled employee/NSA the impact could not be avoided?
Just looking at the desktop market, MacOS has gained a lot more share than Linux. This implies that there is/was an opening that Linux did not take advantage of.

(I didn't watch the video so this may be completely off topic.)
>That quote is actually in the article and so part of its context and substance. Maybe you meant to point out it was not the author that made the statement?

Correct; the article/author/Politico isn't flinging any mud it/themselves so long as it/they is/are simply quoting or journaling verbatim what someone said or what happened.
In sci-fi, a scene is well known: the departing spaceship keeps on board a collections of entangled particles with its peers on earth. Communications underway are realized through encoding and decoding the states of the entangled particles. This way they can communicate with command in real-time even over a vast distance, where the ship needed many years or even decades to go. It’s especially useful in battle scenarios.
Solar panels generally don't use rare earths.
Depending on the uptime requirements you probably want more like 10x base load. Solar generation will cap out under good conditions but for year round, you’ve got to handle stints of bad weather and much shorter winter days.
> It's not really a "dangerous security bug" unless you're running an insecure OS

So, everyone.
China was investing in UHV lines a few years back to deal with the distance problem. They seem to have a bunch already: https://en.wikipedia.org/wiki/Ultra-high-voltage_electricity...

I’d expect HVDC to deal with power loss well enough. The longest one in China is 3200 km at 1100kv and 12 Gw capacity.

My guess is that the HVDC lines they have isn’t really enough to move all that renewable energy yet, or the strategy might be to build more industry out west closer to solar and wind, although water is then the limited resource.
Genuine question: is this not exactly what the Tauri project aims to do?
Why do we (the US) insist on doing everything our own way? And usually worse. The sentiment behind loan forgiveness is great but it doesn’t address any of the core problems. This will only happen again.

Many other first world countries have publicly subsided and affordable higher education. There seem to be plenty of good models to choose from.

If we don’t want to fund higher education then the government needs to step out entirely. As much as I think that’s the wrong way to go. This half-in half-out game that we play in so many areas seems to lead to failure so often. See the disaster that is Amtrak.

Compromise is important but it’s also important to realize when it won’t get you over the finish line. Similar wisdom to building a high-end desktop and not skimping on the PSU.
There is a huge difference between a scrub desert and sand dune one. Xinjiang and Gansu is more scrub than sand, the Gobi is where all the dust comes from.
Walz has now been denounced by his replacement, his chaplain, and his Commanding Officer.

You are perfectly within your rights to continue defending this abject piece of work.

Understand that veterans do both understand that life is messy and junk happens...but also that, when it's obvious that the person in question is a total piece of work like Walz, the knives come out.
Cool game! I got it but it took a while.

Suggestions, limit to 5 chars and use a Wordle-like interface so your phone can’t suggest words.

I could see this being a legit NYT game.
Hi I'm currently implementing a symbolic execution engine for EVM in Rust. Though my current implementation is just a translation of hevm, I would like to add some novel features. For example, I'm considering using A* search or multi-armed bandit to enhance scalability. Any kind of feedback, ideas, and requests are super welcome!!!
"The dash display is almost completely digital—strangely, they left an extra analog speedometer and tachometer"

This is common even today, even on 100% digital screen dashboards, they'll have fake analog speedometer and tachometer displays. My 2023 Mazda CX5 is 50/50, half the dashboard is analog and half is digital. And I like it that way.
I would expect them to be good enough to prevent "obvious" deaths-from-failed-procedures, but deliver a slightly lower quality of care, so that if out of 100 very seriously ill people 50 survived during normal operation, this would turn into e.g. 49.

All of this without the person obviously dying due to the alternative procedures - just e.g. the doctor saw the patient less often and didn't notice some condition as early as they would have under normal procedures.

Would you consider this assumption to be wrong? (I am a layperson, not familiar with how hospitals work except from being a patient.)
>$1,000,000 supercar

which one of 'Hyundai, Stellantis, and General Motors' makes any supercars?
Perfect line spacing, other fonts have it way too wide between lines, screen feels half-empty. Great font, switching to it . Medium weight would be lovely, though
If you use KDE Connect, which is cross-platform and not just for KDE, you can mount your phone's storage remotely without touching adb. I believe it uses sshfs in the background.

It's all automated so you don't have to think about how it works.
Swift is pretty next level compared to Rust. Rust does seem like a fairly constant level of slow and linearly slows down as the project gets larger. Swift tends to have huge degradations on seemingly innocent changes that make the type inference go off the rails. Although at least if you spend the time to track these down you can fix the worst offenders.
Yeah, for some reason people seem to assume that coal and natural gas all run at 95%+ capacity factors. I don’t have any data for China, but in the US coal’s CF was 42% and gas combined cycle was 58% in 2023. The EIA publishes monthly and yearly capacity factors by generating type.

https://www.eia.gov/electricity/monthly/epm_table_grapher.ph...
Interesting discrepancy, yes. I'm pretty sure of my recollection of the book.

It may be that the opportunity to diversify risk (over more smaller ships) overcame the reluctance to adopt new, untested and/or foreign technology.
And primatejs just released desktop support
She can change it like Wordle and change it based on day...
> I don't disagree that it is higher perf/core. It is simply MUCH worse perf/watt because they are forced to clock so high to achieve those results.

The base clock for that CPU is nominally 2 GHz.

> They measure the HX370 using 119w with the screen off (using an external monitor). What on that motherboard would be using the remaining 85+W of power?

For the Asus ProArt P16 H7606WI? Probably the 115W RTX 4070.

> TDP is a suggestion, not a hard limit. Before thermal throttling, they will often exceed the TDP by a factor of 2x or more.

TDP is not really a suggestion. There are systems that can't dissipate more than a specific amount of heat and producing more than that could fry other components in the system even if the CPU itself isn't over-temperature yet, e.g. because the other components have a lower heat tolerance. There are also systems that can't supply more than a specific amount of power and if the CPU tried to non-trivially exceed that limit the system would crash.

The TDP is, however, configurable, including different values for boost. So if the OEM sets the value to the higher end of the range even though their cooling solution can't handle it, the CPU will start out there and gradually lower its power use as it becomes thermally limited. This is not the same as "TDP is a suggestion", it's just not quite as simple as a single number.

> As to these specific benchmarks, the R9 7945HX3D you linked to used 187w while the M2 Max used 78w for CB R15.

Which is the same site measuring power consumption at the plug on an arbitrary system with arbitrary other components drawing power. Are they even measuring it though the power brick and adding its conversion losses?

These CPUs have internal power meters. Doing it the way they're doing it is meaningless and unnecessary.

> You should be looking at benchmarks without such a massive bias.

Do you have one that compares the same CPUs on some representative set of tests and actually measures the power consumption of the CPU itself? Diligently-conducted benchmarks are unfortunately rare.

Note however that the same link shows the 7945HX3D also ahead in Blender, Geekbench ST and MT, Kraken, Octane, etc. It's consistently faster on the same process, and has a lower TDP.
I think the real-world resolution to this problem is straightforward though. You should look at the finest level of granularity available, and pick the best treatment in the relevant subpopulation for the patient.
Absolutely. I can already imagine the presentation graph slide comparing laptop battery capacity, thinness, environmental impact, etc. They can throw some right to repair stuff too just for the fun of it. “See, we’ve always cared for the consumer and always supported repairability”.
Anyone know why Firefox killed PWA support?
I was thinking more about the batteries part if people are aiming for grid scale storage.
So the "tcp: fix incorrect undo caused by DSACK of TLP retransmit" done five weeks ago for the Linux kernel didn't need to happen for the Rust implementation?
CUE lang [1] is one instance where the idea of data types as lattices is implemented in industry

[1]: https://cuelang.org/docs/concept/the-logic-of-cue/#the-value...
Tarski was a mathematician if and only if Tarski was a mathematician
Pollution is a huge problem for them also. It got really bad in places like Beijing, people here in the western USA complain about forest fires, but 150 ppm AQI would be a clean air day in Beijing’s winter. It is survival for them, since people simply can’t live like that.

Carbon is a much more abstract problem even in the USA, since you don’t feel climate change right away like you smell black dirt gas air. But that only really matters for high carbon low pollution energy sources like natural gas, and China doesn’t have so much of that anyways to use it in lieu of renewables.
Solar panels don't exist in isolation;

Rare earth elements (REEs) and rare metals are key ingredients for glass, lights, magnets, batteries, and catalytic converters, and used in everything from cell phones to cars. For example, to make the magnet for one wind turbine, you need about 300 kilograms of neodymium.

Rare earth production is a limiting factor for general electronics, magnets and batteries.
> taking corticosteroids to cure an inflammation that thus allow athletes to train at higher intensity, but the former is medicine and the latter is forbidden medicine aka doping.

Is that a UK-specific sporting regulation? In the US, professional athletes regularly take cortisone shots with no repurcussions.
I think that's a clever idea.

I've also really found it helpful to put things in plain sight.

The best example of this is shallow toolchest drawers where you can for example open one and see all your screwdrivers.

The worst is the back of the refrigerator, where things go to turn into science experiments. I can kind of see why those super-expensive 48" wide (but shallow) subzero fridges sell for so much.
The FTC, apparently: [0].

[0] https://www.law.cornell.edu/cfr/text/16/240.4
https://archive.md/ZPedd
> Recently, other browsers have implemented or enhanced their approach to PWAs, for example by making it easy to install any website as a web app (even if no PWA manifest is provided)

Chrome has had this for at least 5 years, probably longer.

Firefox has had "Site Specific Browser" functionality a long, long time ago.
Sodium ion batteries do not require rare earths. Rare earths are not a limiter to scaling up PV and battery storage deployment. All necessary inputs are abundant and geographically diverse. Minerals and energy goes in, out comes clean energy infra.

https://www.pv-magazine.com/2019/11/28/are-rare-earths-used-...

https://electrek.co/2024/05/17/china-first-large-scale-sodiu...
LLMs are professional bullshitters which need constant supervision and expert human knowledge to guide and refine. They are useful but only in the hands of someone who can see right through their omissions and often, lies.
Looks like it's very close to what I meant!

I was thinking of something like `/usr/bin/firefox --webapp-mode /var/opt/path/to/approot/` (in my model, the browser would contain code to load some standard webapp format, while with Tauri it looks like the app bundles a small piece of code that loads local webkit) but that's just a detail.

The downside of Tauri is that you likely run the built-in runtime with regular (full) access, while with a browser-controlled flow, the browser could enforce a permission system.
Show HN: New compression algorithm beats ZSTD by 14%
Hi all,
I made a data compression algorithm that works as follows:
Replace common bigrams with a fixed value:
"of the" => "of e"
"and she" => "and e"
"when there" => "when e"

To decompress, look up the bigram dictionary for the right value of e.

I've had some weird bugs in the decompression process, so I'm looking forward to others looking at this.
OkCupid posted some stats in a blog post years ago which was pretty enlightening. They since deleted it, and I don’t think any dating company would dare make a similar post with the data they have these days.
So brave.

Based on how quickly he flip flops, he will be in Canada in 5 hours.
Best cleaning / organizational tip I’ve learned : everything out of place goes into a tote. Every day shuttle the tote around the house to deposit the items in their rightful place. This reduces reorganizing to linear time
i just did a s/cure/beat/ on the title. Possibly the original article changed its headline; they do that sometimes.

Edit: yup - https://web.archive.org/web/20240811063000/https://www.theti...
XKCD provides the best illustration I know of in why you should care: https://xkcd.com/1732/

But it is more of an abstract problem and requires thinking about long term rather than short term consequences.
I think the freezer on the bottom setup makes sense too. I spend more time looking in the fridge, move it to eye level.

I still don’t think my wife understands the struggle that the top shelf is completely invisible when I open the fridge door unless I get way down.
it's 28 days at the FAA.
I was teasing. Your post was long.
What nature of it?
They also need heat in the winter. I’ve never been so cold in my life actually, people really take indoor heating for granted.
The kernel developers a writing code for the kernel, that has to be compiled with the compilers they have. Glad I was able to clear that up for you, you're welcome.
Also https://web.archive.org/web/20240812004600/https://www.theti...
But cup blah blah blah
Humans have managed to build out a global network of fiber to enable a global Internet.

I wonder if we can do the same for electricity distribution, mitigating the uneven electricity generation of solar (day vs night, summer vs winter, etc.)
I wonder if without the RISC-V cores the design was pad limited i.e. it had due area that wasn't used. So, they put in the RISC-V cores for no die cost. There will be some cost to test the RISC-V cores.
here you go

https://archive.ph/h1b5G

https://web.archive.org/web/20240812004600/https://www.theti...