skysight-inc/HackerNews huggingface dataset:
This can be solved by just running "restart and re-run all" as a matter of habit whenever you feel like you are in a good state. If you're looking at someone else's notebook, this should also be your first step.

If you're using Python, Jupyter still offers a major advantage for sharing prototyping/research work in that it it is the only real way to provide literate programming. There are cases where code inside of a notebook should be pulled into a library, but pure code will always be inferior when most of your work is expository and exploratory.

Literate Haskell, and R Markdown are superior forms of literate programming, but Jupyter is not terrible if you just take some basic precautions before sharing.

Notebooks work great as... notebooks. Which is primarily how they're used in my experience. When the bulk of your work is prototyping and and exploring an idea, they're still an excellent choice.
> biggest NBA icon since the greatest of all time, Michael Jordan

Shaq and Kobe were huge too. Can’t say Lebron was bigger than them.
For seasonal storage, it would be either an e-fuel (like hydrogen) or bulk storage of thermal energy (basically, artificial geothermal). The latter could produce very hot rock at rather shallow depth, yet still have thermal time constants of many years.
This is true up to a point for shareholders, as for civil liability it is not guaranteed protection in some places.

For example, if you hold shares of a firm that makes something locally illegal in another jurisdiction. =3
Unfortunately Wayland means increased fragmentation in the hw support, not less :(
Do you mean human reasoning in their day to day life ? Because there certainly are other kinds of reasoning, for example, logic.
Occupational hazards for ancient Egyptian scribes
Hey folks, I live in Alberta. This isn't as big of a win as you all think it is. We replaced coal burning with natural gas and gasoline burning power generation.

For those who will say, "but Alberta has wind and solar!" please know that our current premiere (similar to a governor) is actively attacking all of our renewable energy investments. Her name is Danielle Smith and she's quite literally a former oil and gas lobbyist.

The only reason this is being touted is because big oil in Alberta is happy we've switched over to burning their carbon emitter of choice.

Take that into account when you read this feel good piece about Alberta being "coal free".
to be clear because this is often a point of confusion (I believe it was done intentionally to be confusing but I digress). The remastered client is actually free, the HD skin (and ladder play) is $15. So you can play online with custom maps and the campaign and so on for free.
German gov't shifts further 3K BTC in 1 hour
Full title is Real criminals, fake victims: how chatbots are being deployed in the global fight against phone scammers
It tastes like you didn't rinse all the dish soap out of a glass, surely you've experienced that at some point in your life, probably more often if you've ever hand washed dishes.
There's also questions like:

* Would such bytecode/binary be considered "source code"? If no, then bye bye Open Source Definition (OSD). Distributing such thing would not be considered open source.

* If it is considered "source code", then is it considered "obfuscated" source code? If yes, then bye bye OSD. Distributing such thing would not be considered open source.

* If it is not considered "obfuscated" source code, then what's the difference compared to, say, JVM bytecode? Is it only that an IDE exists that can modify such bytecode in a fancy way?

* In that case, if such an IDE is created that modifies JVM bytecode directly, and a program is created using that IDE modifying the JVM bytecode[1] directly, and such "source code" is distributed, the would that bytecode be open source? Since, after all, it's "the preferred form in which a programmer would modify the program" (and therefore not obfuscated).

[1]: Or maybe some superset that is mostly JVM bytecode but it has some opcodes for higher level niceties.
> there will be always the case that you need to wait for such primitives to be made available.

About the features thing, when it comes to CPUs you don't really need to wait for features unless it's something like SIMD support but otherwise the programming model is general enough that I don't need to think about CPU features too much.

What I'm wondering is, as GPUs become more general, will the situation become more like CPUs. For example, I saw an example where someone wrote a shader, using work graphs, to rasterize triangles. Once you can do things like that, it seems like the need for new primitives is far less.
I have the same experience. I never saw a captcha in the past couple months but in the last couple of days I'm getting a lot of them.
"Drone" is a legal term defined by the FAA.

Aircraft under a certain size, like 250g -- yes, 250 grams -- are toys, and generally don't require a license.

Above 250g are Drones, and require FAA-related certifications to operate. They are aircraft, and are covered by laws protecting aircraft (18 U.S.C. § 32).

Messing with those will catch you Federal (felony) charges, and could get you in prison.
Pet Care
this is what those end up being, it's pretty straightforward?

fn five() -> i32 {
return 5;
}

fn five() -> i32 {
5;
return ();
}

semicolon changes the expression from returning the result of the expression to running the expression and returning the unit type. if you accidentally do that and specified a non-unit-return-type in the function signature, the type checker tells you about it:

error[E0308]: mismatched types
--> src/main.rs:1:14
|
1 | fn test() -> i32 {
| ---- ^^^ expected `i32`, found `()`
| |
| implicitly returns `()` as its body has no tail or `return` expression
2 | 5;
| - help: remove this semicolon to return this value

which is also pretty clear about the solution
I didn't really remember the "blow up the moon", but he sure posted a lot about "Time has Inertia" on sci.physics.
Boeing hasn't won any major military aircraft deals in recent decades.

The latest big bomber purchase, B-21, went to Northrop Grumman, as did the not so recent B-2. Fighters have been going to Lockheed (F-22 and F-35).

The biggest recent win for Boeing was KC-46 tanker airplane, which is just modified 767. I suppose there is also the handful of F-15EXes that are vestige from their McDonnell Douglas merger.
I feel like it is not perfectly functional as a business but is rather hanging on by a thread?
Serves me right for doing back of napkin math instead of just looking it up. The SXM4 A100s I use have a TDP of 400W and I hadn't realized the higher power H100 are up to 800W.
in my experience, unlike pulseaudio, pipewire is way stabler and usually works fine with less involvement.

... except when you have accidentally ended up with half-pipewire, half-pulseaudio setup due to half-forgotten instructions that were no longer applicable.
Does the notion of a GDP even make sense for a town? I've never seen it applied to any unit except nations as a whole (or the EU).

I suspect you need to collect reliable information on imports and exports and capital flows to calculate GDP, and a town can't collect it because it doesn't have, e.g., a customs bureacracy.
it's not a "once", it's an "if"

it may never happen, especially with this current approach

at which point you've burnt hundreds of billions of dollars, emitted millions of tonnes of CO2 and all you've got out of it is a marginally better array of doubles
Windows 10/11. Mostly zoom.
Both of those are more expensive than pumped storage.
> I/they/we must be able to do something more than whatever that is

How can you possibly make that claim unless you understand what they're doing, and how can you understand what they're doing unless you're earnestly curious about it?
> The times they are a-changing, but we have a particularly regressive government at the moment that is actively blocking renewable production.

I guess Canadian politics are not unlike US politics in the area of energy production. You'd think that most of the jobs in non-renewable energy could just transition over to jobs in renewable energy and everyone's happy. But sadly, like everything, the energy source itself has been politicized. The left favors renewables regardless of the pros and cons and the right favors non-renewables regardless of the pros and cons, so it looks like yet another ideological battle rather than a battle over concrete things like jobs and the environment.
> No civilised justice system in the world is getting to murder from these facts.

Felony murder statutes disagree.
One of the reasons to believe AI adoption can’t be escaped
Not downloading, but enabling. The downloading of Node isn't really the issue that people are trying to make it.

The real problem is "running" the language server on untrusted code. That's where there should be a confirm dialog.

But it's a separate issue about workspace permissions.

That's the only vulnerability here and it exists on at least one some level in all editors in language servers. (VSCode's workspace permissions aren't that secure)
Judge needs to approve a plea deal. See Hunter's Biden case.
What motivates you, comfort?
> it would be great for people behind this to be directly tried for their criminal actions as well.

How did you jump to engineering directly from this sentence?
Everyone want Ticketmaster to die.
Universal Code Execution by Chaining Messages in Browser Extensions
Who will buy those fresh shares, knowing that they could be "wiped out" by the discretion of ? the government? at any time? for actions that people they don't know committed?
Other comments relate the high income tax,
but Spain also has a "impuesto de patrimonio" wealth tax,
which forces you to declare all worldwide assets.

Even if the current rates are low, they may (will) rise.
It is surveillance masquerading as taxation,
until the rates go up and then your are trapped, gutted and left for dead.

https://www.spainmadesimple.com/finance/wealth-tax-in-spain/...
> This is the same for humans, if we were asked to compute multiplication without thinking about it for longer than a few milliseconds.

Not to be a jerk but "LLMs are just like humans when humans don't think" is perhaps not the take you intended to have.

> I have never in my life applied strict logic to any problem lol.

My condolences.

No, but seriously. If you've done any kind of math beyond basic arithmetic, you have in fact applied strict logical rules.
Wait, are you saying that none of the fired people had anything to do with keeping advertisers happy? That seems wrong on its face.
I wonder if we could develop any kind of rigor around knowing what certain systems are capable of, or at least some kind of framework for testing things out and being able to catalog and compare them.

I believe the sims need to tend towards less assumptions, more primordial soup, and more running time. We only have one reference point (billions of years of basic shit swirling around) and I feel like we need to start closer to that rather than skipping a bunch of stuff because it's too hard. Making things with so much baked in structure/assumptions doesn't seem to be providing the learning that we need. (I'm speaking in a very general sense, I don't mean this to come off as personal about you or your projects, they sound cool!)
No this is not true. You can easily point out many middle management positions that are basically bullshit jobs. One example I know of in my personal life: People that get promoted because they need to get paid more, because they have been working somewhere for some time, and you need incentives to keep your workers happy and thus you create a bullshit job.
AI beats top racers at Gran Turismo – without cheating
> silently install a Home Brew package

Only thing i found in your link that mentions this is about VSCode extension [0] - not Zed extension.
How is that relevant here?

[0] https://marketplace.visualstudio.com/items?itemName=degreat....
The book is, but the readers...
It's fine as long as you don't use tabs for visual alignment. Especially C projects tend to do this, and/or have a weird mix of tabs and spaces (e.g. indent by four spaces, but all eight spaces are tabs). That's just silly.

But if you just always indent by n tabs, and align with spaces for visual alignment, then it's not a problem. This is what e.g. gofmt does.
Big one right now is too use "enshittification" whenever a company does something unpleasant
>I first encountered cilantro at the age of 15 and I immediately thought my soup bowl has unwashed soap in it.

Until I figured out it was cilantro, I always assumed the local Mexican place was bad at rinsing their dishes. I still hate the flavor. No doubt some people with the soap gene can learn to enjoy it though. Anytime I comes up, someone that clearly tastes soap will mention that they like it anyway.
And FAANG was able to hire and layoff massive numbers between 2020 and today while increasing revenue. Google is famously a bullshit factory that churns out products only to kill them.

It's a hell of a thing to realize that your only real function in an organization is as a part of some VP or other's empire.
Is that because it doesn't have enough employees or because it has one who won't keep his mouth shut when he should?
And often enough a fine smaller than the total profit from the illicit activity - so it's just a cost of doing business.
That's ridiculous.

Business owners know well that their job is totally dependent upon doing something of value for others.

Employees know well that their job is totally dependent upon benefiting their bosses.

Ergo, everyone's job is (and is known to be) primarily measured by benefiting others.

The devil is in the details with regard to who those other beneficiaries are, but they are never solely oneself, else it ceases to be a job rather quickly.
Thank you!

On the info leaving your machine part, obviously since we're using OpenAI the table metadata will be sent to draft the SQL. But the conversations and messages and the stored results and everything stays local in an SQLite DB. No cloud or anything involved. With Local LLMs it will indeed be FULLY airtight.

We don't support local LLMs yet cause we want to ensure high quality results. We're only exposing models after we test them thoroughly (eval pipeline work nearly done now - less than a week left probs). So soon we'll be releasing more supported models, including local LLMs. But only if they're good enough/fast enough. Speed is one concern for local LLMs but you should see the quality - pretty meh right now. But haven't tested all of them so can't generalize yet. With the eval pipeline this will be much easier.
Cyclists can't decide whether to fear or love self-driving cars
Can't wait until Walmart tries to fly one of their beasts over my land. They'll be getting the business end of my 12 gauge.
"Even though we get fewer customers through the doors, the doors still open"
Terran Space Academy tries to run the numbers:
https://www.youtube.com/watch?v=ySn5XtzlFwQ
Whether to do something you know is morally wrong or refuse and quit is always your pay grade.

And don't give me the Yuppie Nuremberg Defense. "I was just following orders... because I've got a mortgage!" That doesn't fly when lives are on the line.
Postal web server: advanced capabilities for standardizing street addresses
Even with that, flying is still vastly safer than driving. We thus know there is a level of risk society is willing to accept.
"Responsible disclosure" is poorly defined corporate wishcasting, and certainly not any sort of best practice or legal shield.
How many people would do their job if they weren’t getting paid? I’m sure a few would, but for most people I’m sure the paycheck is why they are there.
Found: Records of Pompeii's Survivors
They could ask during install whether silent installation of LSPs should be done or whether Zed should ask explicitly for every LSP.

With Zed, I have another issue. I don't understand which niche it is trying to fill. The advertising story doesn't convince me. The performance bottlenecks are typically the LSPs after all, not if text is rendered in 10 or 20 ms. Startup time is secondary. Yes, memory usage is a concern. I get that and that's where Zed is miles ahead of VS Code and Jetbrains IDEs. But overall I think:

- If you want easy and free, go VS Code.

- If you want ultimate IDE features and mouse and GUI, go Jetbrains.

- If you want ultimate productivity, follow this beautiful guide: https://lazyvim-ambitious-devs.phillips.codes/
Meh, sounds kinda angry. Dig the poop/fix the bike/whatever if that makes sense, but perhaps sell it as a tradeoff of not just your time/money but also theirs.

If they don't get the thing/experience because they helped decide to pay somone else to do the dirty work it might just help change perspective. Why else would a princess care if you are the only one with a consequence.

Not starting with something grose probably helps.
Shaw Mobile was an MVNO. It didn't have any towers or network infra. I don't think it going to Rogers reduced competition in the market.
To the people who think this is easy because they could build this with sparkfun parts:

Hardware is fucking hard. Peltier coolers are not nearly as trivial as they sound, they're wildly inefficient and get exponentially more inefficient as the temperature differential between the sides increases. To actually get the theoretical max duration out of the batteries you need to have thermal simulations and modeling to create the interfaces on each side such that the pelt isn't just sitting there freezing one side and melting the other while nothing happens to the payload. You need to have drive electronics that allow the pelt to run at a steady state instead of slamming it on and off randomly. You need a PID loop that's tuned for the thermal mass of the enclosure and payload. Finally, you need a ton of engineering on the enclosure and insulation such that it is volume optimized for the exact maximum duration that they're targeting.

Tl;dr the coolers are inefficient enough that you need to very heavily optimize your design if you intend on making this actually work for more that a few hours.
> This is also when nuclear isn't a great solution, as it's a huge spike in demand.

Overproduce electricity, then burn off the excess to match load to demand.

It's counter-intuitive, but the cost structure of producing electricity via nuclear is different from fossil fuels. The unit costs per kW/h of nuclear is negligible compared to the capital costs of building a plant. Making it economically viable to "waste" electricity to match load to demand.

At some point down the road, people will do the cost benefit on capturing excess production in battery packs vs expanding the existing nuclear facilities to meet demand.
"perfectly" functional? Half the pages require a refresh to display more than a spinner and tweets are shown out of chronological order of you're not logged in.
> The Air Force leadership has been pissed off at Boeing for well over a decade.

Military brass don't control procurement. That would be Congress. In fact the military often frequently has systems it doesn't want/need precisely because Congress. See the Zumwalt destroyer and the Littoral Combat Ship.
Ah yes, you've been fooled by the oil and gas propaganda. The entire oil and gas industry is only 3.2% of Canada's GDP. However, you'll never hear that from the army of O&G lobbyists who permanently reside in Alberta 24/7.
Yea, I keep saying that Twitter is in the "Wile E Coyote already ran off the edge of the cliff" phase and they are still moving forward on momentum alone. But, that gets harder and harder to argue the longer Twitter survives. What if some portion of that 80% really were not necessary? It sounds shocking, but the longer Twitter lives, the truer it becomes.
I have no idea what proportion of Twitter's jobs were bullshit or not, but it is DEFINITELY less functional than before.

From images routinely failing to load, to the current mess of logins that is the dualistic nature of x.com vs twitter.com (where which accts appear logged in fluctuates constantly), to my current favorite bug of the last month, where it's always stuck in dark mode in mobile browsers...

Honestly, they might as well bring back the Fail Whale.
Yep, people should talk with a real local corporate lawyer or AMCHAM if unsure.

The hubris on YC from those that assume the rules don't apply to them is hilarious. But, I guess someone has to pay for the lawyers kids to get though university.

Have a wonderful day =3
Yup. "Do boolean matrices take up less space than fp32 matrices?"
Welcoming Prodvana to Databricks: Investing in Next-Gen Infrastructure
Penrose's argument is that

(a) brains do things that aren't computable and

(b) all of classical physics is computable therefore

(c) thinking relies on non-classical physics.

(d) In addition, he speculatively proposed which brain structures might do quantum stuff.

All of the early critiques of this I saw focussed on (d), which is irrelevant. The correctness of the position hinges on (a), for which Penrose provides a rigorous argument. I haven't kept up though, so maybe there are good critiques of (a) now.

If Penrose is right then neural networks implemented on regular computers will never think. We'll need some kind of quantum computer.
Most Bitcoin liquidity is in secondary markets. I wonder for how long investors are willing to foot the power bill. 2040 sounds a bit long.
Kind of my take as well... I'm a pretty big fan of using containers on Linux, which is separate from K8s. I like the use of read-only containers, the isolation and ease of reproduction. It's not a free pass, and there are issues that can and would occur. I'm not sure there's any guarantees on any given platform.
How are you going to "vet" the language server when it pops up?

It's not a "random binary" either, it's a hosted binary for language features coming
from the zed developers github release.

Even if the binary was compiled on demand when you clicked the button, were you going to go through the entire source of node to verify?
> There’s no risk that your ticket won’t get you in

Isn’t this not true? The risk with printable tickets is that a seller could sell it to multiple people, who all print it out, but then only the first person who uses it can get in?

Even if the venue doesn’t check to see if a ticket has already been used, only one person can sit in the actual seat.
Modern numbers at a provincial level show that it's much higher than 13% in 2024. Canada is slowly becoming a massive housing/real-estate bubble.
Not enough. Boeing getting off easy once again, not enough sting to produce a change in behavior. Why executives are not held accountable is confusing to me.