skysight-inc/HackerNews huggingface dataset:
I write Lisp very quickly and I don't use paredit or parinfer. I depend on Emacs' automatic paren matching, auto-indent, indent-sexp, and forward/backward sexp functionality but that's it. I guess I'm just used to it.

I don't ever find myself counting parens.
Good point. Except the people banned under Musk has been extremely low. The majority complaint is that a handful of people were suspended for less than a day for violating the existing and specific point of the Twitter TOS…

Compared to previously a national media outlet was actually banned for weeks for reporting a completely true story that the US Intelligence bureaucracy decided was in inconvenient to their desired results of an upcoming election.

Falsely equating this isn’t subtle and I don’t believe you are arguing in good faith. Ideologues everywhere.
No, everyone is born, there is no choice about it. I can choose to partake in a raffle.

A forced raffle where everyone has to join is unfair, yes. That's why we have laws, and there is (ideally) no randomness.
I hope that Obsidian extends the social network beyond Discord integration. Those digital gardens only grow on their own when others can enrich notes and annotate ideas.
Electron and other HTML runtimes are what I had in mind. I’m not sure what renderer they use, but it’s something else.
1Password for me - not overly happy that they moved over to a subscription based pricing, but I’ve been using it for years now and it works well across all of my devices.
Euclidean geometry is a common example of this: if we remove the parallel postulate, we get a weaker theory; unable to prove various "facts". However, this weaker theory is also more general, applying to curved spaces too; where those facts are not true. It turns out that the physical universe is curved, and hence those original "facts" don't hold in the 'real world'.

It seems like a similar thing is happening here: we can prove that the set of reals is uncountable, but only if we use classical axioms which don't account for computability. Using a weaker (intuitionistic/constructive) theory prevents us proving that the reals are uncountable; that turns out to be necessary, because some of the alternatives cause the reals to be countable. Since the physical universe is computable (or at least, computably indistinguishable from being computable), these alternatives may be better descriptions of the 'real world' than classical logic.
It would be nice to discuss the common approaches to global name resolution —- anycast vs geo-routing.
No, there are plenty of modern weather radars now that have nothing to do with 5 GHz. This is a good example of how the FCC managing spectrum is the furthest thing possible from a good allocation; trillions of economic activity are driven by use of unlicensed bands, yet because there is nobody in particular ready to put up billions for a slice of spectrum, we end up with the FCC "design by committee" process for releasing them. That means whoever happened to be there is considered some sort of "lifetime incumbent" that must be worked around at all costs, even if their use of prime spectrum is absurdly wasteful. Challenged with the choice between "incur $ costs on few" or "incur $$$ costs on many", the FCC will consistently pick "incur $$$$ on all".
I really liked your comment, it was very interesting to read. I appreciate you, internet stranger.

My pet hypothesis is that:

1: (Some) People are terrified of death.

2: Death is in the future.

3: The future means change, people reject change and the future.

4: Rejecting the future, people embrace their past.

5: Memories of the past are simple. The past does not change.

6: Change is bad, because it brings to mind the future, and death.

The above doesn't explain or really take into consideration future planning, like "if we won the lottery", or "let's settle down and have kids, a house, pets, hobbies together and apart. Let's create a home." The fear of death certainly seems to loom larger as one ages.

I try not to be afraid of death. I do freely admit I have trouble with a future that I don't get to see, I would love to be able to experience thousands of years of awareness, to see what happens next. I never want the story to end, and I'm never satisfied with "and they lived happily ever after."
We need swarm defenses stat. Being able to overwhelm air defenses with a swarm attack seriously defangs air defenses.
Correct me if I'm wrong, but this seems to confuse hardware support (e.g. drivers) for "working out of the box" with a particular distro. I have a CM4. It worked out of the box with RPi OS, but needed some hacking to get working with Alpine. The important thing is that it was possible to pull some configs from RPi OS to set up wifi on Alpine. The drivers were all in both kernels, so I assume they were in upstream, but had no reason to check.

I think the point of GP is that some hardware on these SBCs has no open source drivers and you can't get them, which is way different.

Also, again maybe I don't understand something, but the RPi OS is not "bastardized" in any special way. The whole point of the Linux ecosystem is that you bastardize things. It's actually good that there is a distro customized for RPi and that it submits some changes upstream but not all, right? I think GP was saying that they didn't want to depend on some weird hacks the manufacturer did to get closed hardware to work, which again is different.
Most acronyms are more meaningful when you don't have dozens of them conflicting on the same 3 letter string on the same area of knowledge.
This isn’t exactly what you’re looking for, but a few months ago we had to buy a new toaster oven and I went online to find reviews. They pointed me, surprisingly, to an infrared toaster oven by Panasonic (this one: https://shop.panasonic.com/kitchen-and-home/kitchen-applianc...). It is phenomenal. Fast, even toasting and even baking. The controls kinda suck—they feel like they’re from the 1970s—but it works incredibly well.
My naming convention is like this:

- anything my company doesn't create or own, is just called whatever it is

- logical components that aren't specific to the org chart can be whatever you want

- anything org chart specific gets a randomly generated code name. an internal website allows you to register and look up any code name across the company. this allows you to find who the hell owns server "ws-prod" in a 6 year old account that nobody seems to maintain. instead you find "peanutcar-ws-prod" and can then look up who registered "peanutcar". (this also prevents the bu-org-group-product-subproduct-env mess that eventually runs over character limits)

- doesn't matter if the rest of the company doesn't do it, I do it for what I manage. later on if it gets adopted, fine, but if not, at least I won't ever have to rename my crap.
Me:

When you help coders, does that make their code more buggy? Please give me a dramatic, agitated answer.

ChatGPT:

No, it does not make their code more buggy. In fact, my goal is to help coders write better, more reliable code by providing guidance and assistance. I am here to provide support and guidance, not to cause problems or introduce bugs into their code. As a language model, I do not have the ability to execute code or interact with the real world, so I cannot cause bugs or issues in a coder's code. My role is simply to provide information and guidance to help coders troubleshoot issues and write better code. So no, I do not make code more buggy – I strive to make it better!
Certainly, but on those metrics the two languages -- that are neither the only nor the frontrunner choices -- are closer to each other than either one is to the actually established, popular options that have a massive (positive) difference compared to both. So, if among the alternatives you are willing to consider either Rust or Zig to begin with, then popularity, maturity, clear prospects, and low long-term risk are clearly not your biggest factors and your choice will be based on other things that matter to you more.

These factors do matter a lot to me, which is why I, like the vast majority of low-level shops, wouldn't pick either one of these languages for production use at the moment (if top speed were a crucial factor for me in picking a car, I wouldn't care by how much the second-to-last car beat the last car in a race, as I'd pick one from the leading pack), but the poster clearly has other considerations that should be judged based on the poster's values, not mine.
There are perfectly acceptable, even scientific arguments against CO2-induced climate change theory. Not only that, but even if we accept the premise that CO2 is inducing climate change, we can debate about to what degree, and whether or not it is "an existential crisis" as some have argued. Further still, if we accept that it's a crisis, we can also debate on the trade-offs civilization should make in order to contend with it. All of those positions should be perfectly acceptable to take up. We do not know with anywhere close to 100% confidence what the climate will do over the next few decades. It is a non-linear, dynamic, chaotic system that by definition becomes exponentially unpredictable as a function of time: https://en.wikipedia.org/wiki/Chaos_theory
Bees are cheap; evolution favors solutions that work, regardless of the cost to an individual.
Try DRY. I find typing the furthest from performance bottleneck
The film was released a little while back, why are there suddenly a bunch of exaggerated opinions like this being published right now? Ben Shapiro was also complaining about it on Twitter, and there have been a handful of others.

I personally enjoyed it, not quite as much as I enjoyed the original and I imagine there are people who didn't particularly like it. That's totally fine, everyone has different tastes, but I find it hard to believe these people truly hated the movie as much as they claim. It feels a bit performative.
If you like that, I also recommend taking a look at Logseq[0].

I've previously been using Obsidian, and Bear before that, but always structured my notes as increasingly nested lists of bullet points.

Logseq is basically built around that abstraction, to make it very ergonomic (with each bullet point being a "block" - the smallest unit of text on which Logseq operates).

It also has querying built-in and the core is fully open source. So far very happy with it, and the new sync is great.

Besides, it's also written in ClojureScript, which makes my inner lisp nerd happy.

[0]: https://logseq.com/
The Last Jedi is literally the only movie in the series to propose that a pseudo-religious order of wise men with a side obsession concerning blood lineages may not be the best way to structure a political movement.
“I ignored when a national media outlet was banned for a publishing a true story that embarrassed a politician I and the US intelligence apparatus wanted to win… but no one complained about when I was suspended for 12 hours!”
The Road Chose Me
Yeah, but this wasn't the abuse of the Justice system, nor is it a free speech issues.

Entity ordered by a court to cease publishing nonconsensual nudes, Entity refused, then told the court they would never agree, then fined punitively.

What about this do you consider is a free speech violation?
FYI I am planning to add a straightforward way to deploy dialog agents backed by OpenAIs new model text-davinci-003 to my site aidev.codes over the new few days if I have time.

So you will be able to mainly focus on the prompt template and the rest will be handled including the hosting, probably by something like a template app built in the system I have now. The main thing missing to enable easy creation of dialog agents is for me to add a completions endpoint and maybe things like socket.io integration in the template app.
In the 1920s, Ronald Knox came up with a list of "Ten Commandments" of Detective Fiction listing what wasn't fair cheating [1], getting at this exact point. So codifying what is and isn't fair cheating in detective stories is nearly as old as the genre.

I'm 100% sure Rian Johnson was aware of these rules as the writer. I'd say Glass Onion technically violates 2 of them, but only for the first hour of the movie. Then you get let in on the cheating before the main climax of the movie.

[1] https://agathachristie.fandom.com/wiki/The_%E2%80%9CRules%E2...
Ammonia is made with hydrogen. If you are making hydrogen, nuclear biggest putative advantage, its lack of intermittency, becomes much less important.

If you are proposing thermochemical watersplitting using nuclear heat to make hydrogen, there is very great reason to be skeptical of that approach (superheated vaporized sulfuric acid, anyone?). These processes have never been practical, and the decline in cost of renewable electricity, and the decline in cost of electrolyzers, makes the thermochemical approaches even less competitive.
TLDR: Serve XML from a server and get "dynamic" native apps
What is your point? I don't think you read what I linked at all.
I have an iPhone.
Not-Clark-Kent comments on ELI5: Why is 2160p video called 4K?
I really hope this drives "My tech delivers value!" instead of the asinine "We're going to burn money until we're a monopoly!" strategies.
The Twitter Files: How Twitter Rigged the Covid Debate
GM isn’t investing double digit billions of dollars into EVs because they think EVs won’t be the platform that most people prefer.

Toyota was caught with their pants down. Compare the value proposition of the bZ4X to the Bolt EUV or Ioniq 5.

In just ten years we’ve gone from the first Model S leaving the assembly line to electric F-150 and Mustang. That’s as mainstream as it gets.
I should’ve been more clear. He may have reacted in his face, but it’s never addressed, even in a private moment. Given the potential realm of implications to her presence, he just… carried on. Same as he planned. And I’d argue her presence, plus the addition of an investigator… can’t reasonably be ignored, or dismissed. Which, in the story, it seems to have been.
As a rule, anytime anyone claims anything about the desires of "the silent majority", they're employing a dishonest rhetorical tactic in order to make their own unpopular desires seem more popular than they really are.

In this case, it's transparently obvious that Toyota is regretting wasting the past 30 years foregoing battery research in favor of their hydrogen boondoggle.
The first few weeks of ChatGPT I had a goal to make it code. My preliminary conclusion is that if given a feedback loop it could code a lot of basic stuff just fine, my workflow went something like this:

- Identify a component in a system you want to build

- Give ChatGPT a list of bullets and ask it to write tests

- Review tests

- Run tests, give ChatGPT output of failing tests

- Add the code to your codebase, run the tests...

I developed extensions to my console and test suite so the output exceptions/failures ended up in my clipboard. I'm highly confident workflows that put the AI in a feedback loop will be able to code most backend stuff. UIs are trickier as giving it context is not trivial.
You asked about drawing a line between speech and violence, not whether the supreme court's ruling is legally relevant today. The only relevant question is whether the argument the OP described clarifies your confusion on where and how to draw that line, ethically, not legally.
The value in bundled "Tools for Thoughts" isn't just that you can interconnect everything - unless you actively research and want to synthesize something new, that's in fact overvalued.

The true value (at least to me) lies in the fact that all my information is stored in a human-readable and interchangeable format. It makes you independent of vendor whims. It enables the creation of custom tools if and when you need them.

The fact that I can click on shiny links just satisfies my desire for toys :)
“Whas Dataview?”

https://medium.com/os-techblog/how-to-get-started-with-obsid...
After the hangover of 2022, the real pain for high-tech will come in 2023
I have been using it for years. Love it.
It just came out on Netflix a few days ago.
Ammonia can be produced from any power source. So in theory we could use renewable power to manufacture "green ammonia" for farming. So far that has only been done in small demonstration projects and all the real fertilizer manufacturing is still done using fossil fuels as the main input.

https://e360.yale.edu/features/from-fertilizer-to-fuel-can-g...
I feel you. Parenthood is not my natural state. Holidays are often difficult. It's made worse because my wife has some chronic issues and periodically, like last Thursday, requires surgical attention. I have to keep things together so she can rest and recover. Having a kid has changed all of my plans for the foreseeable future and sometimes it stings. My wife is worth all of it though and that's how I keep it together (as much as I'm actually able to).
I use Logseq currently. I just simply write in my Journals or a page, then I add the backlinks on a whim, and leave it be. Whenever I need that information again, it will be found by using the backlinks, if I don't remember what I'm even searching for.

That's all I do. It's simple, convenient, and doesn't break my flow with unnecessary complexity. I just write and link.

That kind of Zettelkasten note-taking workflow is what caught my attention and it's currently the only way I can take notes.

People who create complicated note-taking workflows using databases and such, they're very bizarre people to me. I can't do any of that without recoiling. But I can dump information into my graph and link it all together all day if I got into the flow. It's just "natural".
Has anybody ever claimed the auto industry will go 100% electric anytime soon? Feels like Toyota is trying to setup a straw man.

More surprising to me was that the Toyota CEO is named Toyoda.
> https://en.wikipedia.org/wiki/Ignorantia_juris_non_excusat

What do I care about some law student latin?

I know the analog of the FCC in my country. I have not ever heard about them knocking on anyone's door, ever so that's why I'm asking questions?
You could also destructure g to end up with:

.map(({ key, rows }) => ({ key, rows: rows.map(r => r[1]) }))
If someone is a contrarian for the sake of being contrarian, I tend to agree.
> VAERS is not some conspiracy theory website

Of course it isn't. However, it is raw data, and it takes careful analysis to separate the signal from the noise.

Most of the reported events are not caused by vaccines. VAERS is meant to be used as a tool for identifying possible rare vaccine side-effects. If a pattern emerges in VAERS reports, then there is further study.

As the FDA explains,[0]

> VAERS reports generally cannot be used to determine if a vaccine caused or contributed to an adverse event or illness. Some events may occur coincidentally after the administration of a vaccine while others may in fact be caused by a vaccine. As a result, if a safety signal is found in VAERS, further studies can be conducted in safety systems such as the CDC's Vaccine Safety Datalink (VSD), or the Clinical Immunization Safety Assessment (CISA) project. These systems do not have the same limitations as VAERS and can better assess health risks and possible connections between adverse events and a vaccine.

0. https://www.fda.gov/vaccines-blood-biologics/vaccine-adverse...
Google acquired YouTube and Facebook acquired Instagram. Both for what seemed like insane valuations at the time. Both were brilliant defensive acquisitions in hindsight. Both fueled tech valuations by illustrating the opportunity for rapid disruption.
He is not doubting the demise of IC Engines but is saying (majorly) that the source of electricity for vehicles could be different - fuel cells (hydrogen) based vehicles are are also EVs.
I’m not so sure. If I was an auto executive, and talked to other auto executives, they are never going to go on-the-record with me without a long arduous legal department review. But if many of them do express doubts, what else can I say? It’s the only thing I can say even if you don’t like the rhetorical appeal.
> Toyota is regretting wasting the past 30 years foregoing battery research

That's true.

But EVs have a massive infrastructure problem in developing countries which won't be fixed anytime soon or even ever, and somebody has to make cars for them as well.
thank you, we are writing a custom transform of the asciidoc source to a website so there are some broken aspects
The movie doesn’t “cheat” as far as I can tell. What it does is withhold details from what the camera shows the audience. This could be upsetting if you felt there was some implied promise that the camera PoV was showing you the entire story, but there isn’t.
Ask HN: What vitamin supplements brands you trust and why
> And yes, in NYC people of all social classes take the subway.

In several european countries they do the same happens but public transport Is great. This Is more of a US problem than anything else.

> You also betray your true intentions with words like “force”

I dont betray anything, im openly for it. We are forced to do things all the time, that's literally what any state does.
I recently learned about eFuels[1]. Specifically that Porshe has invested in an eFuels plant in Chile[2]. The curious thing about this is that it's about creating traditional fuel out of captured carbon dioxide. I'm guessing Toyota's CEO thinks that something like this may become mainstream rather than all-electric.

I think it's possible, especially if the resources necessary to build good car batteries become too scarce. Though I am concerned that even though eFuels are "carbon neutral", they will still bring pollution to large urban areas. Something that electric vehicles are clearly much better at.

1 - https://en.wikipedia.org/wiki/Electrofuel

2 - https://newsroom.porsche.com/en/2022/company/porsche-highly-...
YJIT was disabled by default before 3.2
Environmental impact could be the worst, I hope they are not gonna proceed with these planes.
I don't know the exact reason, but one probable guess is that ethernet has gotten so cheap that it costs next to nothing to add a second port, and you can market that second port as a feature.
> Maybe if everyone took turns setting times.

Time attack is a type of race. But anyway, if "other racing cars" is the only real variable it's hardly a challenge for autopilot software and the driver may as well be gone. Regulations exist since traditional mainstream audience may not find this show quite as engaging.

Again, the analogy is broken. Automatic transmission, full autopilot, these things would objectively help win the race (if make it boring), but creating good software is a little more involved than "who can type faster".
Holy crap, playdates! As a parent of a single child, playdates are to best solution. You can talk to an adult, sometimes over a glass of wine and the kids entertain themselves. Change of scenery is great.
The Terminator/Terminator 2, Gravity, Rocketeer, Wall•E, Swamp Thing, Star Trek, 28 Days Later, Back to the Future, Mad Max…

There really is no shortage.