skysight-inc/HackerNews huggingface dataset:
While we're on the topic of social media I'd like to remind everyone that Discord won't let you delete older messages without the risk of getting banned with no appeals process. So if you were considering leaving Twitter or Mastodon for Discord, DON'T.

https://github.com/victornpb/undiscord/discussions/273
I kinda think to some degree those words are the reason those opinions are the way they are. The metaverse is being sold as this new, groundbreaking, fantastic thing, when they've already existed for decades.
Thanks. I had both a skin test and a blood test for allergens. They said my main problem is dust mites. I have the allergenic/dust mite proof covers for my pillows and mattresses which helped a lot. I am in the process of removing all carpeting etc.
I agree that moral panics are undesirable. But by saying "these" you imply that this is all this is: a moral panic. You would have to be able to see this as more than just panic, or you will deem anyone in this debate under the spell of moral panic. You then cannot accept good faith on counterarguments. This is not pragmatic.

Yes, polarization is used to pit right against left. We could all join hands on this: It is repugnant to use vulnerable children for marketing that reeks of pedophilia. Do not focus on those screaming global cabal of satanist abusers, and certainly do not make it representative of the position of your political opposition.

How far are you willing to go to concede on this topic? Or should we let such politicized events destabilize us without a fight (through debate).
The one that says you can't call yourself "The Resistance" for 4 years and then comply with the CCP cracking down on protestors?

Basic decency and humanity? The desire for freedom for all of humanity? Standing by your corporate statements in non-Authoritarian countries?
I'm building from source because I want the latest features and bug fixes. It's really not that complicated. On Ubuntu, the following builds and installs Emacs into your home directory:

sudo apt-get install build-essential
sudo apt-get install libgtk-3-dev libtiff5-dev libgif-dev libjpeg-dev libpng-dev libxpm-dev libncurses-dev libgccjit-11-dev libgnutls28-dev texinfo

git clone https://git.savannah.gnu.org/git/emacs.git
cd emacs
./autogen.sh
./configure --with-native-compilation --with-cairo --prefix=$HOME/usr
make -j 4
# testing:
./src/emacs -Q
make install

To update:

git pull
make clean
./autogen.sh
./configure --with-native-compilation --with-cairo --prefix=/home/malsburg/usr
make -j 4
# testing:
./src/emacs -Q
make install
Higher Quaility Computer Vision Datasets with Just Two Open Source Tools
Curious, what kinds of clients pay money for data science consulting? And does it feel like a sustainable business moving forward?
Think of static typing as an autogenerated set of unit tests that ensure that for any given function, all arguments of the wrong type will be rejected.

For example, if a function accepts a string as an input, test it by passing in all other possible primitives and classes and ensure that the behavior is strongly defined and results in the expected exception class.

Then realize that if you haven't written all of those tests by hand in a dynamic codebase, you don't actually have code coverage. Anyone who works on your codebase could pass you an argument of the wrong type, and it might be in a code path that is rarely invoked and you will find out it's broken in prod.
Thanks for flagging! I’m an engineer on Let’s Encrypt and I’m helping our comms team fix this now :)
0 for 2 means theyre not successful, not that theyre not trying.
>" He has an opinion not a factual claim "

Is "He" Sam Altman, or is "he" ReflectedImage"?
Likewise in Rust you can todo!() in incomplete functions. But it’s still much harder to run incomplete code than it is in javascript, because you still need to satisfy the type checker and borrow checker even for incomplete programs.
The average commute distance is 41 miles, 10 hours of slow charge is a net loss.
Completely agree. I spent a lot of time thinking about what programming language features are important for understandable code when I was designing Darklang. One of the major negative influences was from Rails, where I had often found it hard just to understand where a particular piece of code came from. Clojure is similar - with "why is there a nil here" being the challenging question. With Python, I made my own mess making things far too polymorphic.

But I had previously had experience with OO languages - Java and C++, and they often had similar challenges, though not quite as pronounced, along with problems of their own.

Eventually, I came to realize statically typed functional languages were the panacea. Sum types offered better composition than OO, and they had a good trade off between power/succintness (coming from higher order functions) and program understanding. In particular, the problems from other languages: what code is this, what type is this, where did this nil come from, were solved.
That is 100% fair criticism. I'm definitely not as on top of issues and PRs across the long tail of my projects as I would like to be.

I've decided that learning to live with that is the price I have to pay for running with way too many projects!
I see SBF’s continued communications as a form of covert terrorism. He seems determined to take all of crypto down with him and his company!
Dogecoin has hyperinflated 210% this past year, while BTC has hyperinflated 340% this past year.

As far as things with inflation, we should be discussing why Cryptocoins are so terrible at it.
Maybe look at languages created in the last 30 years or so?

Because e.g. in Rust what you're talking about is:

#[derive(Deserialize)]
struct Whatever {
id: usize,
first_name: String
}

// ...

let thing: Whatever = get(some_url)?.json()?;

You encode your assumptions as a structure, then you do your call, ask for the conversion, get notified that that can fail (and you can get an error if you but ask), and then you get your value knowing your assumptions have been confirmed.

It's definitely less "throw at the wall" than just

thing = get(some_url).json()

but it's a lot easier to manipulate, inspect, and debug when it invariably goes to shit because some of your assumptions were wrong (turns out `first_name` can be both missing and null, for different reasons).

For a 5 lines throwaway script the latter is fine, but if it's going to run more than a pair of time or need more than few dozen minutes (to write or run) I've always been happier with the former, the cycle of "edit, make a typo, breaks at runtime, fix that, an other typo, breaks again, run for an hour, blow up because of a typo in the reporting so you get jack shit so you get to run it again".
Decentralizing Verification: Finding trust in a trustless world
Deso has a great model of #web3 social media.
Why would you call AMD cpus an Intel because they license x86?
> In any case, I need to add a test for that.
You don’t test types. If you have a ‘trim’ method that accepts a string, you don’t unit test it with an array, unless you plan to add a test for every possible types. Static typing can help prevent a human calling it with the wrong type, but won’t prevent calling it with the wrong runtime values, like after casting an Any to string. Static typing do syntax check, not runtime check.

When I’m talking about testing behavior, it’s about testing that the code does what it’s supposed to. Not what the arguments is. So you test that ‘trim’ works on all strings, including empty. What static typing helps in checking assumptions when programming, but every bet is off when executing. Especially when interacting with the outside world.

If someone changes the code, it’s on them to notify everyone about breaking changes. If the documentation says that the method accept dict, and you call it with dataframes, it’s on you to check that it will continue to work with dataframes, not on me to ensure that someone is calling it with dataframes if I use specific code related to dict.
You have to physically go there, fill a module and pay a fee.
Fed might need to keep interest rates above 5% into 2024
Say you have a python function that expects a dictionary, but instead a string gets passed in. At some point in the function the python function may or may not explode at runtime depending on how it's written. If your functional tests doesn't cover this scenario and you haven't guarded for invalid data types in your python code, you may never see this issue until it hits production or a refactoring of the code base is done.

Ok, now that entire scenario goes away with a language that has a compilation phase and has type enforcement. It's boiler plate inside the function for type validation your don't have to do inside the python function (or blame the caller) and a testing scenario(s) you don't have to write. That's the work I'm talking about.
I can't recall the make of the speaking monitor. It was an old 13" CRT, probably made in the late 80s, early 90s.
The difference is Zuck wants to control it. He wants to de-democratize the movement so he can more easily profit from it.
Large refactoring and updates are exactly where strong type systems are the most useful. Make change, fail build, fix build, be happy. Unit tests are still there to turn green when you're done.

I can't think of many worse experiences than my past self trying to refactor Python 2 code. Compared to _any_ type system it's just not even close.
We are sleepwalking into a surveillance state. One day we will be forced to sign onto the internet. After that it's just a matter of time before they rachet down the civil liberties one by one.
> This is helped by the fact that it's a legal requirement that all devices capable of taking photographs must make a photographing noise when doing so.

That's not a legal requirement, it's a carrier request.

> For example on iPhone in Japan it is impossible to silence the shutter sound effect without modifying the device hardware.

That now turns off once you take them out of the country though.
> Why should the limits of our universe have anything to do with the limits of math?

Mathematics is a human activity, and humans are part of the universe.

> Math is bigger than our universe.

What does that mean?

> If our universe were completely different, math would still be the same.

That is more than debatable.

> Eh, I can write a recipe that calls for multiple universes-worth of flour and 600 trillion years in the oven, and I can write that recipe in a minute on an index card that weighs a couple grams. I can write small programs that loop infinitely or (attempt to) use infinite memory. I can write a song that repeats ad infinitum that nobody can ever sing to completion in the entire lifetime of the universe. That's not much different than the words "the Integers" requiring 2 words but describing something that could not possibly be "fully materialized" in any finite universe. Who cares?

I think you're skipping over the point. No one is going to argue with you about "multiple universes-worth of flour" existing because to our current knowledge, the universe is finite and thus there is a finite maximum to how much flour can exist. My question revolves around the philosophical question of the existence of mathematical objects and whether they can or cannot be actually realized with the given information in the universe. This is not a question out of left field. The acceptance of the real number continuum is not even settled.

Thanks for the reference to Kolmogorov complexity.
Maybe it’s a dumb question, but why don’t you find 2 or 3 other people in your same situation and pool resources as roommates? 4 disability checks might be enough to allow you to afford a better home and landlord?
3. Can't you launch your compilation (or similar) and then M-x rename-buffer?

EDIT: try `g` for "refresh"/recompile.

Maybe that's just me though, not sure this is an official method.
Where is this myth that CAHSR will be the slowest HSR in the world coming from? I see it in sibling posts as well. CAHSR will travel up to 220 MPH (350 km/h) which makes it the fastest non-maglev train in the world.

Now it will travel slower within city limits in the Bay Area and Los Angeles as it shares a corridor with non-high speed trains, but that is not unheard of in other networks around the world.

As for the 2.5x over-budged, it is well known that the initial cost estimates were too low. The current rising of the estimate is largely due to inflation. This will keep happening while the project remains under-funded (which is precisely what the ill intentioned hyperloop idea was meant to do). I very much doubt that it will rise to 160 billion USD though (that is unless it remains unfunded for another decade or two).
Just looking at energy storage/transmission, the experts I've heard that aren't clearly pushing hydrogen seem to think that it's going to be mostly a niche product.

Might be used for aircraft, ocean shipping, and other places where batteries don't have the requisite energy density and the refueling infrastructure can be installed in a limited number of places (ie, not for passenger vehicles).

Might be used for seasonal energy storage. Although there are relatively few places (salt caverns) in which to store it. Interestingly the same study concluded that natural gas + carbon capture is the next most economically feasible option.
https://environment-review.yale.edu/power-127-hours-economic...

Might be stored in an easier-to-handle form - eg make hydrogen, turn it into ammonia, and store that. Of course that lowers the round-trip efficiency even more.

Some utilities have talked about injecting 5-10% hydrogen into the existing natural gas infrastructure to partially de-carbonize domestic heating.
Happy to help and/or answer other questions. Also /r/motorcycles and /r/motorcycle are great resources on Reddit though you’ll certainly get some bias there.
Transmission vs generation was my confusion. I was thinking of minor plant maintenance activities being easier to schedule during off hours. Off hours which might be significantly reduced if EVs put additional load at night.
Censorship is a strong indicator of an unpopular idea that is likely to be objectively true.

This is not political; it is Bayes’ theorem.
Oh. Misread that. Nevermind then.

Sound waves (phonons) are probably worse
I think this acquisition is mostly because Boxcryptor is somewhat established in the German space and because Boxcryptor has been working together with Dropbox for a long time (since 2016).
And all that engineering resulted in a floppy drive that was slower and more expensive than comparable units for other home computers. I'm not sure if there is a lesson there...
> I would be shocked if an instance cost more than $40/month to host, and I'd reckon the typical instance is less than $20/month.

That information is public for at least one moderately popular instance, fosstodon.org. According to https://hub.fosstodon.org/about/#current-funding the current cost is $1895.50 per month, plus $200.00 for the CDN. (And yes, last time I looked, their Patreon is going to be more than enough to cover that.)
I don't think you can call that a difference until metaverse starts actually hitting those numbers, or even surpassing the existing worlds.
Anywhere outside of safe suburbia the copper thieves will make off with them in short order.
The metaverse is a new frontier for earning passive income
>> And, bam, now your “statically typed” language actually has dynamic type checking.

> Not in any way, shape, or form?

https://en.cppreference.com/w/cpp/language/type#Dynamic_type

https://en.cppreference.com/w/cpp/language/dynamic_cast

https://en.cppreference.com/w/cpp/language/typeid

It’s there in the name.
Let me add a 3rd.

3. The program is incorrect but correct for all expected end user inputs.
That's really bizarre. Do they pay well, at least? I get that there are tons of jobs that aren't super exciting, but even a Java enterprise middleware app sounds better if only because you wouldn't be working on a completely niche platform.
Not the parent, but you can absolutely smell raw meat. It also lingers on dishes, and it seems at some level to also be a cultural thing whether you can detect the smell. Arabs also have a word for the smell - "zankha"
I haven't changed anything other than swapping out TM for Borg. The backups still reside on the Synology (Borg is available on SynoCommunity: https://synocommunity.com/package/borgbackup), and I still backup over WiFi. The Vorta (Mac UI for Borg) client and user experience isn't Apple levels of polished like TM, but I've made it work and I'm happy enough with it.

I'm not sure what causes TM to start considering the volume corrupted, because I believe at one point I switched over to a hardwired connection, but still saw a corrupted volume.

I compared that to Borg, which doesn't flinch if you SIGKILL the process mid-backup, and will basically just pick up from where it left off if you start another one. I saw no reason to continue with TM at all.
> The U.S. EV charging network is a mess.

For all the reasons listed in the article and because North America has two different EV charging plugs and protocols in CCS Type 1 Combo and the Tesla plug (three if you count CHAdeMO).

And also because there exist closed charging networks which only charge one brand of EV (Rivian's network, Tesla's network).

It's a profoundly stupid situation. It's holding back charger build-out and stunting EV adoption. Just as ICE vehicles can fuel at any fuel station, EVs should be able to charge at any charging station. Anything less just makes EVs worse.

Europe is doing it much better. By standardizing on CCS Type 2 combo all brands of EV can charge on all brands of charging network in Europe, as nature intended.

It's one of the reasons why the European EV market is bigger than the North American EV market.
hal.dll no longer exists on Windows. It’s just a stub for backwards compat now.

What you can do is having a small hypervisor to simulate the needed bits…
Killer apps are steel production, fertilizer, and cargo ships that run on ammonia. Electricity is not a feasible replacement for any of those. Also hydrogen production can use excess solar power in the beginning and doesn't have an issue using intermittent energy sources like solar and wind.

There is definitely a large role for green hydrogen in the future, barring some crazy new technology being developed.
Wow thanks for this as it's not at all mentioned in the help text for these (Configure editor settings to be overridden for a language.). Also what a strange choice for multiple languages since there can clearly be conflicts this way:

"[javascript]": {
"editor.defaultFormatter": "esbenp.prettier-vscode"
},
"[typescript]": {
"editor.defaultFormatter": "esbenp.prettier-vscode"
},
"[javascript][typescript]": {
"editor.defaultFormatter": "something.else"
}

If they're going to allow conflicts anyways, just invert the structure so you at least get to use normal arrays:

"editor.defaultFormatter": {
"esbenp.prettier-vscode": ["typescript", "javascript"]
}

Though, I guess the logic is that the other format allows you to override ANY setting based on language.
Go Henry describes their debit cards as "perfect for kids aged 6-18". My son is 13 now, but he's had a Go Henry card for years.

https://www.gohenry.com/uk/debit-cards/
I use projectile and perspective. Everything is integrated into my Ivy/Counsel and I have simple self documenting shortcuts for everything using General keybindings.

Until I set this up correctly the leftover buffers bothered me. Now it's part of my workflow.

I often have code from two projects side-by-side in split windows. Projectile restricts all of my actions to the appropriate project
Autocomplete, code navigation, file search, fuzzy greps, everything uses the buffer's project as context.

With just two key presses I can close all buffers for any open project.
The problem is that this hypothetical person is severely mentally ill. And thus not rational. This means their answer to the question cannot be taken at face value. You write, "if someone would rather"... as if they will hold the same opinion after the same after treatment as before. If asked again after a course of treatment, they may opt to be released. Or they may be incredibly thankful for the intervention.

IMO, what you're saying is analogous to "if someone suffering from clinical depression wants to kill themselves, let them." I vote no. Please think about it a bit.
Chromebooks at the hospitals?
The headline features of Treesitter and LSP have already been released for NeoVim.
You're playing the "conspiracy theory" game all wrong :)

When it's your turn you have to come up with even more outlandish
figments of overactive imagination, paranoia and grandiosity.

The winner gets to say something like "This goes all the way to the
top", or "We're through the looking glass now people"... etc.
> NYC elected a cop as mayor, and his only idea for solving the city's problems is more policing

I don't notice much difference with him compared to de Blasio, except de Blasio was universally not liked. Adams is better but surprisingly by not much.

> It hasn't worked in the past

Considering the 70s were a complete mess & a generation afterwards it didn't feel like that, whatever happened in-between seems to have improved things. And that improvement definitely did come from police to some degree.

Crime was at a historic low until recently with the advent of "defund."
My NextDNS account is amazing, does anyone else use it with Pi-Hole?

I have my traffic going to Pi-Hole, which forwards it to a stubby instance, which encrypts it and forwards it to NextDNS. When I'm out then my phone just sends it straight to NextDNS
I appreciate the philosophical and legal concerns over compelled speech. If the government forces a private company to host and serve unwanted content then that does infringe on their free speech rights.

However, in US federal law we have carved out a narrow exception for "common carriers". A telephone company can't disconnect your calls just because you're making offensive political statements or spreading medical misinformation. Some politicians and legal scholars such as Supreme Court Justice Clarence Thomas have suggested that Congress extend common carrier legislation to also cover social media platforms.

https://www.npr.org/2021/04/05/984440891/justice-clarence-th...
Wonder if that would work for alcohol as well
Would you consider Tennis for the Famicom to be Pong? It’s quite different. For one, the ball follows a path that resembles tennis, as opposed to bouncing off walls. The ball moves in a 3D area, and the player can move in a 2D area.
Quote:

> If everyone in LA and New York drove an electric car they’d sure have much cleaner air.

Apologies if I misunderstood you. But surely you can understand how this statement sounds as if you're talking about every person in those cities, not just the current ICE drivers.
> If someone changes the code, it’s on them to notify everyone about breaking changes. If the documentation says that the method accept dict, and you call it with dataframes, it’s on you to check that it will continue to work with dataframes, not on me to ensure that someone is calling it with dataframes if I use specific code related to dict.

This is equivalent to re-implementing static types and a compiler with human processes. This isn't scalable.
The arm spec allows to have machines that implement any of 4KB, 16KB, or 64KB granules or any combination thereof. Apple shipped plenty of phone SoCs that didn’t support 4KB pages for the CPU (A9->A13).
And with good reason, in the sense that the extreme rhetoric can be very successful. It is a way to excite the base. The trick is to avoid alienating the people who imagine themselves to be centrists.

So asking your allies to tone it down a little is a genuine risk. You have to be willing to take up the side of the people who are being harmed. Or you can accede to the harm. But you don't get to opt out of that choice -- one thing or another happens.