skysight-inc/HackerNews huggingface dataset:
Focus on Omaha, the fact that some piece of land is a country or a city doesn’t matter much…
Battery aging is real but minor in my experience.

However I don’t know how much this varies across car brands depending on the underlying technology they use —- which cells are used, and how the battery health is managed with software I would think has some variance.
Migrating to Turborepo – What to Expect
> How would I actually convince multiple people to use the exact same standard as me?

The same way you agree on an XML schema? I don't know if I quite understand what you want to say - as I see it both are tree structured formats which means they both can represent the same information, just that s-expressions are less verbose but XML has more existing tooling for defining & validating a structure. Though the latter is more an aspect of the ecosystem than the format itself.
This is called a multipolar trap. “If I don’t build it, someone else will, so I might as well cash in”
How sound is providing new clues about the Universe
Which federal government?
How does the utilitarian know this?

Any morality needs to take into account our uncertainty about claims other people make.
The sound, animation and gameplay is also great. I love the sound of the machine gun starting and stopping when the character get in the line of sight of the enemy. Great attention to detail.

I kind of wish they port it to PC !
Humans are about to explore a metal-rich asteroid for the first time
the twelve-factor app is a set of recommendations from 2011 that are based less on engineering principles and more on the capabilities of Heroku and containerized infrastructure in 2011. For example:

> Another approach to config is the use of config files which are not checked into revision control, such as config/database.yml in Rails. This is a huge improvement over using constants which are checked into the code repo, but still has weaknesses: it’s easy to mistakenly check in a config file to the repo; there is a tendency for config files to be scattered about in different places and different formats, making it hard to see and manage all the config in one place. Further, these formats tend to be language- or framework-specific.

> The twelve-factor app stores config in environment variables (often shortened to env vars or env).

yeah the reason they argue for this is that the people that wrote this worked on Heroku, and the way that Heroku worked is you populated the environment variables from some fields in a web app. If you want your config history tracked in version control, or you do gitops, or you have k8s configmaps, or you want to have your configuration files on a mounted volume ... those things are all broadly fine; they keep the configuration state separate from the app deploy state. This document really confuses the forest with the trees and recommends things based less on actual engineering principles and more on the product capabilities of the corporation that produced it. It is an actively harmful set of guidelines.
That's fine if it isn't used as a pretext for writing nonsense like char* p; which should likewise be banned in the same coding style document.
Or a customer complaint: https://www.thearchaeologist.org/blog/complaint-tablet-to-ea...
You should focus your anger more on airplanes, they will benefit far fewer people (and spread global disease to the poor) and there are far more of them.
By way of comparison, there are currently about 8900 total active objects (read: working satellites) in orbit around Earth and 35700 pieces of debris [0] or as-yet-unidentified junk [1].

That's only stuff at least 10cm in diameter, which is about the smallest object that can be tracked. There are several orders of magnitude more objects smaller than that.

So this plan would more than quadruple the number of active satellites in orbit. Not quadruple Starlink's satellites, but quadruple the total number of all satellites in operation. Ruining our view of the night sky -- as bad a problem as that is -- is nothing compared to Kessler Syndrome [2]. But we'll probably have to learn that the hard way.

[0] https://en.wikipedia.org/wiki/Space_debris

[1] https://www.space-track.org/

[2] https://en.wikipedia.org/wiki/Kessler_syndrome
A laundry list with something purple...
I think people might've gotten worked up because they felt I was mocking you because of the missing g. I just copied how you used it though, being quite aware that it's walking ...
Yes, 1/3 and 1/6 are quite important. Do enough making and you will run into those fractions plenty. It just turns out that in practice, as you say, easy unit conversions outweigh the benefit of clean division. Metric's important benefit is that it's a consistent base, not that it's specifically base-10.

And now that we use computers for a lot of measurement, those infinite decimals aren't as big of a deal. (Well, most of the time, anyway. Representation of infinite fractions famously creates some programming problems. But I mean for the user making the measurement.)

Base-10 is easy to learn since it's the same we use for counting, but I think there's an interesting argument to be made that purely from a science/engineering/making perspective it would be better to use a consistent base-12 measurement system.
Their video summarization and speed-ups are killer features.
Having medical bills you can't pay does sometimes motivate people to do desperate things that are not in the interests of their employer. There are exaggerated tropes in Hollywood like Breaking Bad, however, all kinds of real risks do rise if the employee has significant debts that they can't pay - issues ranging from motivation to internal fraud or being unable to focus on work because their car or house gets repossesed or even suicide - all these things are more likely if the employee has significant financial problems, and so it's in the best interests of a cynical employer to ensure that they don't hire candidates with financial problems, unless they intend to abuse their desperation to have horrible conditions since the employee can't afford to quit.
I presume that the number 29988 is derived from some engineering design process that has some goal other than "make pleasingly round numbers"
80k is the new 35k - just wait until the inflation calculators catch up to reality.
Well this is not a Google support forum so I don't see the point of this exercise.
I had the same question.

If you had to guess why it's currently flagged, what's your hypothesis?
It is unfortunate that there are poorly-managed projects with poorly-managed mailing lists (just like there are poorly-managed projects on Github), but sourcehut at least requires a properly-managed mailing list, and I think you should evaluate this workflow on that standard. Tell poorly-managed projects to move to sourcehut, if you want to fix this issue.
To be clear, I'm mostly excited. But I also think its reasonable to be skeptical and try to educate stakeholders on the realities of the situation.

My controversial take on AI is its actually a better time to take things slow, experiment, study, see what works. Not dump TONS of money and cash and get too distracted. Because nobody (besides big tech) has fully figured out how to make a product that makes a profit. Its not clear users want a chatbot (aside from ChatGPT)... But things could change.
2016/2023 got pretty widespread support across databases for the functionality I care about, both before and after adoption - namely the JSON stuff. MSSQL also already had pretty good graph support AFAIK, although I haven't used it that much.

I find the temporal table stuff really useful and they drastically simplify a number of requirements, so it's annoying that the only non-proprietary DB that supports it is maria.
Do large scale passive human studies. Do the studies based on credit card data being directly linked to ingredients lists of products purchased.

If people consuming more of an ingredient end up performing worse at school, involved in more crime, having more sick days, or dying younger, then the government should spring into action and ban/restrict it pending a proper controlled study.

A special government department should be set up to handle and analyze this (very private) data, firewalled off from the rest of government. It's worth it to make millions of peoples lives healthier.
If you decide to expand your horizons, take a look not only at the venerable CVS but also at things like perforce, fossil, and pijul.
> as that'd do nothing but generate negative PR.

Don't you think we're far past the era where this was a reason not to do something? The "break stuff, 4d chess enthusiasts will explain why later" mentality seems to have permeated product design.

Thinking of the loss of the headphone jack (objectively proven to have nothing to do with space-saving), the continuous killing of Google features, the rise of paid 'verification', the to-and-fro wins and loses in right to repair, looming loss of the ability to 'block' on Twitter (most Twitter updates post-Musk) - anti-features feel like a thing to be rationalised and waived off in 2023.
The race really does seem to be between ZITADEL and Ory for the next generation of OIDC servers. Any chance of sqlite support in the future?
That and even established companies with other products/services but who have seen massive market cap increases due to AI hype.
Regular iPhone is midrange - it has USB 2.0, and yet it just started to be sold. Apparently 23 years old solution is still ok for lots of the people.

When do you think mobile devices will be limited by USB-C? Another 20 years? Is it worth for you to allow mess, vendor locks and ripping of customers for another quarter of century, because some magic connector that solves problem we don't know exists can be delayed by 2-3 years? Really?

Anti-competitive practices from corporations delay progress way more than that.
If you have a mac, Cleanshot X I find is better across the board

cleanshot.com
Can ChatGPT Save Programmers?
Maths / stats / data science / ML stuff, alongside my PhD (building science / energy efficency) research. I haven't yet even found out when the in-person lectures are for the current thing I'm signed up to, so it's slightly random at the moment!
Tinnitus hub gives some reasons to be skeptical. https://www.tinnitushub.com/heres-why-the-jurys-still-out-on...

I suspect we don't know the cause of tinnitus in many/most cases - even when we think we do. I think that makes finding cures a lot more difficult.
Again, the energy policy of Europe has resulted in them having more nuclear than anywhere else in the world, besides South Korea. Everything you say about Europe as a whole being anti-nuclear is more applicable to almost every other country globally. Because Europe has more nuclear than basically everywhere else.

> What new nuclear was built during the last 2 decades

More than the US, believe it or not. Between new reactors in Finland, France, and Slovakia, around 3,700 MWe versus the US at around 2,200 MWe from reactors in Tennessee and Georgia.

I'm not saying energy policy has been good in EUrope over the last 2 decades, but it's not been uniquely worse than the rest of the Western world.
The EU had already banned this dye.
> LiPo batteries vary a lot from voltage but all look the same and have the same connectors.

They don't. LiPo batteries are just lithium batteries with 3.7v average and 4.2v max. If the voltage "varies" as you say, it's because they are arranged that way to achieve a higher voltage for the specific application.

The base cells themselves are all the same voltage. And people who are into RC cars/drones, etc. are usually technically apt enough to understand this and make their own battery "packs".
It feels like if we just made these big companies pay what they should in taxes we'd be able to take some big steps towards health care, better schools, improving our crumbling infrastructure...
You should hear how many radio waves exploding stars are sending…
> Completely agree on all points. But there is something special about XML: everyone has failed to make something better.

XML’s decline from its peak of adoption mean lots of people working with data disagree with you.
I am currently trying to learn formal logic and proof systems.

I’ve always been interested in learning higher level math, but was consistently mystified by the proofs. I could always come around to understand them, but I never understood how the authors knew that proof method was “allowed”.

Learning about the formal proof systems has been a very interesting diversion for me. It has helped me begin to understand the foundations of the math subjects I am interested in and definitely has upped my confidence reading intricate proofs.

But perhaps the best outcome of this learning has been that I now have a much stronger framework for sound reasoning. It is easier for me to express and argument clearly or pin down a shortcomings in other arguments.

It is unclear to me how applicable these learnings will be for my primary interest in software development, but it has been a very enlightening process nevertheless.
Thanks!

Man, so many things. I think maybe the hardest thing was really getting into the weeds of all the class/race features and modeling them all in a way that made sense to the user and would 'just work'.

There are features that add damage, but only under some circumstances. Features that change at different levels. Features where you get to pick between a few options and then they also change at different levels. Just a lot to model out. And a lot of hard decisions about how much to automate and how much to leave on the user.

Also, designing and building it all to work on mobile ended up being more than I expected because when adding new features I often had to go back and make it mobile friendly too.

Oh and doing the dynamic lighting (where you can add walls and lights to a map and 'see' what player tokens would see) was pretty tough because it involved learning some math to do those calculations. But that was also pretty fun.
You could check out Lisp Flavored Erlang if you want a little of both languages. Perhaps even Shen.
They seem to be glossing over the fact that Loom doesn't just record the screen - it immediately gives you a link to that recording.
How do they know I'm not "cheaper"? That conversation doesn't happen straight up, nor did I volunteer salary expectations in the application, nor was I outside of the advertised range.

All I mean is, the application process is disheartening. It's an employers market, I get it, but what would be nice is to get ACTUAL subjective feedback, even if it were something like, "not enough cloud experience" that could help me re-calibrate. I took time to write how much I love their product and wanted to be a part of the team, it took likely all of 5 seconds to click the reject button on the behalf of the HR or hiring manager. That's fine, but where is my feedback? Or was I rejected for some invisible requirement box which isn't checked?

As for someone smarter, well... I don't know about you, but that's a hard thing to discern from just a CV, that's usually something you get in a conversation. Experience is what you get from a CV, and mine is phenomenal. My experience is so heavy, light bends around it. However, I'm not assuming I will get any job I apply for, my ego is destroyed, it doesn't exist. I'm all humility, and never feel worthy of anything. I'm ok loosing out on someone more experienced. Just tell me that, and tell me what I'm not experienced in. Maybe it's something I was thinking I need to invest myself into more.

Sorry, not trying to be argumentative here, just reflecting my frustrations. As stated, 2023 sucks and I have this fear it's going to get far worse before it's any better in the tech sector for potential candidates.
> there libraries were filled with empire justification nonsense

> Your utopia is in another castle, Mario.

This clearly follows the strawman fallacy. Nobody was suggesting otherwise. I was merely pointing out they did have writing.

(Nearly) your entire post is unsupported speculation and dismantling a straw man that wasn't present in this conversation. It is well-supported that mayans were often brutal to their neighbors. The rest is ahistorical.
>Every type system is a system of logic (and vice-versa.) * So, if you have a System F, you can build a Haskell. * If you have affine logic, you can make Rust.

That seems to be different from CHI, which asserts a correspondence between proofs and programs, not between systems of logic and languages; if the latter is more general it probably should have, and would have, been phrased that way.

>Have a look at this parser combinator library[1]. In particular look at how many functions are marked "Totality: total". These are functions which accept all (well-typed) inputs and terminate in finite time.

Sorry, what's the connection to CHI here?

>It would just be a program - that you write every day. If Pons Asinorum is expressed in twenty lines, then pick a twenty-line program. If you want something bigger, check out CakeML or seL4.

I meant "non-trivial" to apply to the mapping as well. As best I can tell, CHI just says there's some useless program that maps to every proof, and a useless proof that maps to every program. So what? What is the significance of that? So I can write a meaningless program that corresponds to Pons Asinorum?

You're not really taking the challenge seriously here -- you're just asserting the same trivialities about which I was asking, "is that all there is?"
> academic publishers are vultures that serve no purpose

This is a naively optimistic view of how knowledge production actually operates. Sure, the scientific endeavor is constrained by what is actually the case (i.e.reality), but without some kind of editorial oversight imposed from above nothing coherent nor useful will be produced. A thousand well-trained, well-intentioned researchers toiling away at a problem will not magically self-organize such that their collective efforts make tangible progress on large, intractable problems. This will be true regardless of how many fancy web2.0/3.0 niceties one throws at the problem, since experience has shown that such solutions only make the problems of social dominance worse, not better. In the end, this sentiment is nearly identical to people complaining about "capitalists".

Do capitalists and academic publishers have purposes to fulfill? Yes. Do they fulfill that purpose well these days? Absolutely not. Like many of our social institutions these days, the people who run them seem to fundamentally misunderstand what their roles are, deferring to some vague, financialized liberalism that believes all problems can be addressed by maximizing human-freedom, with no regard to bootstrapping problems. Because the institution ceases to perform it's role, people begin to believe it has no role. Worse yet, now that people have no idea what the institution's role even is, they have even less of a clue as to how to fix it.
Why are stereotypes inherently bad for understanding the world? And isn't this how humans normally operate?

If I asked you to mentally visualize an NFL left tackle, for instance, you're probably not going to picture a 5 foot 2 inch tall woman, are you?
> The features of LSP are exactly the features of VS Code. So if you create a different editor, it will only support what VS Code does.

This is not true since LSPs can add extensions to the existing API.
For example: https://github.com/rust-lang/rust-analyzer/blob/master/docs/...

> If you create an LSP, it will work best in VS Code.

Any editor can work just as well as (or even better than) VS Code.
No amount of dogma should interfere with a deployment within the scope of an MVP. Once it's out of MVP then anything not addressed best practice-wise is tech debt. If your organization had adopted 12FA as a set of best practices then those should be met, but they should never interfere with a deployment.

12FA is not a single box that is to be checked. It can and in most cases probably should be implemented over time as the product matures, taking each point, point by point (and maybe even breaking those up) and adding that into the product. If you've done good engineering up front (abstractions and interfaces where it makes sense, not hard coding everything) this should not be an issue.

inb4 YAGNI: this is just as abused as 12FA.

EDIT: the biggest thing 12FA is missing are concrete examples that junior engineers can reference.
The comments on that website say the same thing

I never interpreted entry level as cheap for the industry, only cheaper within that line of models

anyone else?
My client has P2P only for contacts by default, I 100% have not changed anything about settings. The rest are not P2P by default.
I don't think you can follow the path originally trodden (competing on asmone 68K/hw with your fellow local coders, exchanging snippets of hw reg info and source) however there's a terrific short series of videos on youtube you might consider:

https://www.youtube.com/@WeijuWu

Wei-ju Wu lays out how to code directly on the hardware in an accessible manner and, importantly, from C, instead of 68K, with lots of examples. Then, if (or rather: when) you have to, you can always step down a level into 68K assembly to get better performance.
They lamented about both in the article. But the 1.5% levy only apply for national companies, so it cannot qualify for the "hit Ireland hardest" title. No, the hardest part is caused by the global minimum corporate tax, which will effectively end the tax heaven advantage Ireland has unfairly enjoyed until now.
Marginal.
Nah, most problems are on the spending side, collection is fairly good...
Surprised that the choice for Gunma was not Initial D [1]. The Anime mentions a lot of places and there are few (if any) vehicles in Anime more iconic than the protagonist's Toyota.

[1] https://myanimelist.net/anime/185/Initial_D_First_Stage
Three points:

1. The Lucid Air is a pretty amazing car. Design and engineering are all top notch. Lucid had some early issues, primarily with software, when the Air was first released (wholly to be expected for a brand new car company), but those have largely been resolved. Check out the owner forums - Lucid owners generally love their car.

2. Folks are focusing on the "entry-level" wording. It's obviously not entry-level for the population at large, it just means it's entry level for Lucid. Just like Tesla started at the high end with the original roadster and Model S, Lucid is doing the same.

3. Lucid Air is a great car but no other car companies can come anywhere close to Tesla's supercharger network (at least in the US, not familiar with other countries). All the other charging networks are horrible in comparison. The biggest complaint you'll see about Lucid is folks bitching about Electrify America. Even if Lucid were to switch to the "North American Charging Standard" (i.e. Tesla's standard), Lucid has a high voltage system which means the existing superchargers would max out at something like 50 kW, which is way too slow for fast charging. May not matter much if you don't do a lot of road trips given Lucid's huge battery is more that sufficient for city/regional driving, but the charging network will continue to be every other EV company's achilles heel.
Yeah, and the strange solar panel placement on the last one really solidifies to me these are AI generated images. Weird filler to this article.
battery aging really is not a big issue, especially with Tesla batteries. The LFP chemistry used in standard range models should last even longer.

Chart with degradation: https://www.recurrentauto.com/research/how-long-do-ev-batter...

Tesla temselves said they see 12% degradation after 200,000 miles. Plenty of ICE engines would struggle to reach that mileage.

https://electrek.co/2023/04/25/tesla-update-battery-degradat...
What country are you in? Seeing a US specialist really might help, but there are thousands here and sometimes we have to see more than one to get an answer.

You may have more luck in a cheaper country with nearly-as-good doctors.