skysight-inc/HackerNews huggingface dataset:
Most tech folks in IT that I've known tend to just accept defaults, whether they're in vscode, a command line, or joining a new project. They don't seem to think in terms of "this is annoying/inefficient, how can I make it better?"

I should get "10x engineer with my git aliases" put onto a t-shirt :)
We need real progress, not just syntactic sugar
Somewhat tangential to the topic but the picture at the top there, of the center console, how is the lettering applied? Is that a silk screening process of some kind that I can duplicate?

Asking because I want to duplicate the look of an OEM vehicle setup for a personal project.

"Guy Who Stares at Vehicle Buttons"
No. Everyone, instead of the affected person being blamed. Of course there are those in ivory towers doing a lot of waffling but the structural/societal view is always more productive than an individualist one which is ignoring the networked nature if reality in favour of optmistic idealism (bootstraps!).
This makes the incorrect assumption that the infotainment system would be removed, reducing the cost of the engineering.

Adding a virtual button in an infotainment system is much cheaper than a physical button. Especially since the most cost effective routing of those physical buttons would be to the infotainment system that is going to be there regardless.
Redox OS gets RISC-V support
Concerns Grow in Washington over Intel
Update: Mensam Desk-Booking
My parallel track:

* C++: The feeling that I can make a-n-y-t-h-i-n-g. (not true but still mostly true)
* Ruby: elegant, OO, who-needs-compile-time-if-you-have-unit-tests
* Haskell: hard to learn but so worth it, by doing so I became a follow-the-types person
* Elm: not hard at all, a well picked subset of Haskell for browser apps only
* Kotlin: a well typed Ruby, with the ecosystem of the JVM at your disposal
* Rust: when every bit of runtime performance counts (but now without sacrificing safety like with C/C++)
It is inferior :) Sorry

When my mouse starts blinking I just plug cable and continue whatever I'm doing and it's a solved problem. No second guessing if I can take a break now in the middle of a meeting, no unnecessary cognitive load, no need to remember to charge it when "I have the time", it's... magical.

It just works.
It's interesting that the workflow would allow submitting a PR without consenting to terms. Nearly every website or app today makes you agree to terms right at the start.
I'm sure there is p2p funding available on the sidelines. Give us an actual opportunity to privately sponsor it.

I am sure you have heard the dismay of people who would like to sponsor Firefox but only really have the option to finance the Mozilla Foundation, who put the money elsewhere? Some similar feelings here.
The trouble is that git aliases aren't composable and you can't install them. Each installation has its own aliases. If you are in a new machine you must define the aliases yourself. This also makes git aliases have poor discoverability.

Compare this with another tool that lets people extend its own command, cargo. You can do cargo install <something> and then run cargo <something>.
Redox: Unix-like microkernel-based OS written in Rust
They are, but that didn't stop people from using them. They're convenient, they're bounded, and as such, ended up having decades of hardware optimization behind then. When precision turns out to be really important, it's often cheaper to get some smart people to restructure computation as to mitigate the errors, than it is to switch to arbitrary-precision math and deal with consequences. There's a whole field of CS that's spent the last half century or more developing ways to deal with floating point math problems - extending the scope of their use, and making alternatives even less economical.

There's an interesting case of it today: LLMs. In theory, they should be fully deterministic with "temperature" parameter set to 0, but they aren't - all that matrix multiplication is massively parallelized, so with floating point math being order-dependent, partial results quickly accumulate non-deterministic errors.
QuestionS:
-Does anyone who hasn't been injected suffer with Long Covid?
-Do many people who have not been injected get multiple covid infections?
In fairness, this is a response to a need which became common only relatively recently
That code is from the dav1d AV1 decoder, and AFAICT they are comparing scalar C code to hand-vectorized assembly. They're not using vector intrinsics in C, which usually get you most of the way to optimal speed with a lot less pain than writing asm by hand.
> just run the code given by the copilot and check that it works

You've misunderstood my point. I'm not discussing the ability to check whether the code works as _I_ believe it should (as you say, that's easy to verify directly, by execution and/or testing); I'm referring to asking about intention or motivation of design choices by an author. Why this data structure rather than that one? Is this unusual or unidiomatic construction necessary in order to work around a quirk of the problem domain, or simply because the author had a brainfart or didn't know about the usual style? Are we introducing a queue here to allow for easy retries, or to decouple scaling of producers and consumers, or...? I can't evaluate the correctness of a choice without either knowing the motivation for it, or by learning the problem domain well enough to identify and make the choice myself - at which point the convenience of the AI solution is abnegated because I may as well have written it myself.

(ref: "Code only says what it does" - https://brooker.co.za/blog/2020/06/23/code.html)

And, yes, you can ask an LLM to clarify or explain its choices, but, like I said, the core problem is that they will confidently and convincingly lie to you. I'm not claiming that humans never lie - but a) I think (I hope!) they do it less often than LLMs do, and b) I believe (subjectively) that it tends to be easier to identify when a human is unsure of themself than when an LLM is.
It used to be called FEMLAB :)

But they changed to COMSOL because they didn't have the trademark in Japan and FEM also gave associations to the feminine gender.
hey. Congratulations on your decision.

i think it all goes deeper in overall culture/attitude there.

i was in Melbourne in 2012.. with idea to relocate wholesale, 2nd time. Worked 2 months at some "startup", that fired me when i finished the task given.. Seems it was cheaper to hire "permanent" then fire, rather than take someone on 2 months contract. So that's one red light on the dashboard.. There were other redlights from overall "society", feeling something-is-wrong but i did ignore them for quite a while - people have become evil, etc..

Then i started going around places and mailing my cv here or there (with 22y of experience making software, by that time),.. ibm, ernst&young, you-name-it.. to no avail, and more red-lights flashed on me.. And one day visited some kind of meetup, organised/held in some wellknown company. Seemingly it was kind-of "hiring" event or so, we grouped in teams of 3-4-5 people, with half from company, and other half outsiders.. and went solving some problems of theirs. Or that was the "label". Any solution that any of outsiders suggested, was shot down, with somewhat vague reasons, that at the end started to sound like "if we solve this there'll be no job tomorrow". And Smile :) Lots of smiles. Empty ones.

That was one of the Last red lights on my dashboard. Whether it was a financial balloon pressing everyone so they only smiled and did nothing, in order to pay the mortgage, or something else, i don't know. Next day i watched Sacrifice/1986/Offret by Tarkovsky, and.. bought a ticket out. Discontinued my oz dream. For good.

quoting meself, from 2007-8:
"with time, places change people. Other way happens noticeably only while coming in - or switching on."

have fun
But before posting to HN, one might realize that these solutions that git provides existing tools for is better than maintaining this.

One might. But not everybody knows about those existing tools. Taking myself as an example: I've been using Git since nearly the time it was released and I had no idea that git had aliasing built in. Sometimes things just never come up and people don't find out about them. shrug
Yeah, absolutely! There are other benefits of being an extension, and yes you can use pg_flo with any PostgreSQL database or service since it uses logical replication to listen on changes and CTIDs for bulk copies.
Because you're not thinking and blindly hating. Maybe try to learn and change how you use a car dash instead of trying to use a Tesla (or similar) like a car from 2005..
Teslas are best selling cars for many reasons and touchscreen dash is one of the most important ones.
Raspberry Pi gets 240p Composite Video
Can you elaborate a bit more? Like Did you notice a decrease in quality?
I don't think I saw OpenStreetMaps in the lists provided by various people in this thread. I rely on GPS a lot, and having a local one would help greatly (preferably on phone, but still).

Also, OpenLibrary, AniDB / Anilist / Anime-Planet / GoodReads / IMDB / jeuxvideo.com / Last.fm / LibraryThing / MangaUpdates / MyAnimeList / MyDramaList / NovelUpdates / Shikimori / TheTVDB / WLNUpdates (databases of various entertainment stuff).

Then I can look in the GPS where to find them.
That sounds like one of those things rich people say when they don’t want to do something and want people to be mad at “lawyers” or “government regulations” instead of them.
Thank you for giving this a spin. That's correct, today you'd need to drop the table before another sync with pg_flo. That said, I have given delta syncs some thought, and also looking into a control plane that can make some of these things easier. Would love to hear your feedback.
The security keypads at work use this terrible design: it's just a flat plastic panel with no moving parts. You have to push the numbers to enter your PIN, but with no buttons, and no mechanical feedback, you can't just type the number in: you have to PRESS... EACH... SPOT... AND... HOLD... while the laggy touch system takes its time registering your input. A daily irritation!
> Everyone, instead of the affected person being blamed.

Who would ever blame a disabled person for their condition?

Blaming people who have nothing to do with it is exactly the modern ideology that twists people into evil.
And I would trust you to know, of surfacing small sites.
If you're searching across a bunch of open-source repos, Grep.app can be super handy—it’s fast, supports regex well, and lets you filter by language and license. But if you’re focused on a specific GitHub repo, GitHub’s native search is probably better. It ties in with commit history, issues, and PRs, and the new symbol search is great for navigating large codebases. Basically, Grep.app is good for broad searches across projects, while GitHub search is stronger for digging deep into one project.
I'm the author. This is the track we're on. We also named our company "Hermit" so there's something extremely serendipitous about this comment, hah.

I definitely think it isn't viable for many people, but I've also met people who could totally do it that are scared because they're around a lot of people with ability/financial constraints that they simply don't have.
Not a mainstream view.

Python 3 is a hugely successful language and implementation, and almost no one regrets that it exists aside from a few noisy holdouts, and people who never liked any Python anywhere at any time.
Ok. Not everything has to reach the front page.
Only MacOS Server 1.o used display postscript, every version since has use Quartz or Quartz Extreme ( also know as Display PDF).
State could be easily exported, encoded in base64 and bundled in a shareable link, just like excalidraw does
I don't know. People will always believe all kinds of crazy things. The way I have always dealt with that is to just state the facts as I know them and then simply move on. That seems to work pretty well, actually. Because eventually that "flat-earther" friend of yours or "the-moon-landing-was-faked" uncle is most likely going to come around (as they almost always do). Point is, there is no need for the "misinformation" label to begin with. It only gets abused by the people who use it anyhow....
It's not even in the same ballpark. With excel, you are inspecting _the output_ for a specific run. There is no equivalent in modern programming.
others too

> Sources have also informed MusicTech that Future will be closing Computer Music, Total Guitar, Guitar Techniques and Guitar Player magazines.
I went from an important cog with low pay but high responsibility to a much higher paying job with no responsibility. You can too with a bit of luck.
My list:

BASIC, but specifically on a TRS-80. I can just type something in and run it. I don't have to wait a week for the teacher to take the card deck over to wherever the mainframe is.

Pascal. That's it, all of it, in those ~4 pages of railroad diagrams expressing the BNF.

C. Like Pascal, but terser and with the training wheels removed. It just fits the way my mind works.

Java. The language itself is kind of "meh", but it has a library for everything.

Perl. Regular expressions and default variables.
I sure wish they wouldn't build so much functionality into the cars.
I'm not sure I buy this. My 2020 Civic has physical knobs and buttons for most† of the climate functions, media/radio controls, answer/hangup a call, lights, wipers, cruise control (including speed limiter and follow distance), driver's display, brake hold, eco mode, stop/start on/off, dampers, gears (though it's a manual so goes without saying), windows, mirror folding, and then a few down by my knee that I never need to touch like collision detection, traction control etc. I've edited this post four times already because I keep remembering more buttons it has.

With the regrettable exception of the couple of climate controls I detail below, the only functionality on the touch screen is stuff I shouldn't be fiddling with while in motion anyway: GPS, car settings, and anything that CarPlay displays. I know a Civic isn't a prime example of a "high tech" car, but it's a well-specced one and I'm struggling to think of much that substantially fancier cars have that would blow past a reasonable limit for physical controls.

† on/off, temp, screen blower, seat heaters, and defrosters all have physical controls. The manual fan speed and direction controls are on the touch screen. I wish they weren't, and I believe the newer 11th gen has restored these as physical knobs and buttons.
Oh right. Yes, I agree that motivated individuals get the work done for themselves and others. It's just that some people don't acknowledge that we collectively own problems/solutions because they are structural (inherent to the structures of our systems /"society") and tend to blame individuals for their own problems. Of course individuals can be wholey responsible for things, e.g. a corrupt politician. But getting rid of corruption is up to other individuals (I.e. society). It's idealist to imagine that a corrupt politician should just stop being corrupt, it's realistic to overthrow them collectively with other individuals (society).
It’s the same for all goods globally: If you are not in a hurry, the energy / co2 cost of getting it from a local warehouse to your house (optionally through a store) dwarfs the cost of shipping it via freight around the planet.

If you are in a hurry, then you need to ship via air, and then producing locally might help. (It depends on the gap between the efficiency of local production vs. the most favorable location on earth).
Creep is needed for tight parking, for example when you'd like to move the car 10 cm forward. To simulate driving without it, turn on auto-hold and use only accelerator and brake for parking -- tight spots become extremely hard.
Just tell (use voice) the car which direction you want your air...
Is there a useful product I can buy to turn my excess solar electricity into water where the air isn't quite so dry? Around here, particularly in the mornings, the humidity is quite high and practically all surfaces condense water out of the air. I'd love to capture some deliberately.
Unfortunately I can't publish "private" drafts. However, it's about 90% finished so if you want I could send you the HTML draft by email. Or send you the link once it's done ;)
When people pay $100 million for your product they expect to be fully indemnified. It was a pain in my ass but I can’t really blame them.
> The West is losing its influence and the USA is losing its reputation as a reliable partner.

The undermined reputation came about because of a significant foreign influence effort that saw an agent hold the seat of power.
The JavaScript extensions, besides requiring a rewrite from the old C model, for a long time were the root cause of performance issues given how much GNOME has outsourced into extensions from what used to be core features in the GNOME 1.x and 2.x days.

Here is an old example,

https://feaneron.com/2018/04/20/the-infamous-gnome-shell-mem...
Next is trying to be everything out of box in part to directly fight (for their own benefit) the whole "no two React projects look alike" issue, so of course it's complicated.
The author didn't link to the actual PR so I can't see the full context, but I don't see the point in setting up a bot to make contributors agree to copyright terms if the maintainers just ignore it when someone does a PR and then doesn't engage with the bot. It seems like a waste of time for all parties.
A Selected History of DARPA Innovation
> I'd assumed that Element X Android would be the same; if not, it's an omission and will get fixed.

Aren't you Element's CTO? I feel like you shouldn't need to make assumptions into how the app works, you should just know (even if you're not personally daily driving it). If not you, is anyone in charge of ensuring that the project's vision and goals are met?
90 days since last view, or 1 year if you can afford to be generous. For "slow burn" projects with other people checklists easily go longer than a week without being looked at.
I think this also might be of interest to you - just one time copies and apply transformations - https://github.com/shayonj/pg_flo/issues/6. I will look into shipping that very soon.
I found Coq in the list to be very interesting. Is anyone using Coq here for serious math or programming? What kind of problems are you solving with Coq?

And I'd also like to know how different Coq and Lean are. I'm not a mathematician. I'm just a software developer. Is there a good reason for me to pick one over the other?
I am actually reading this on an e-reader. I find it more accessible than either my phone or my desktop. And easier on the eyes.
I guess we don't look at the same kind of examples, specially in the enterprise world.
Clearly, you haven't seen a good chef at work.
Tempting to write a response piece, "Get me into data hell, I need the money."
what if the robot has little vials of acetone, IPA, etc. to wash off its lenses, while switching to mm-wave vision (not even dead reackoning) returns the favor to the offending human while cleaning its lens...
Are there any plan for improving the desktop version of Element? E.g. by porting Element X to the desktop. Or should I look for other Matrix clients? I feel the Element team with their limited resources sadly cannot keep Element Desktop in the shape it needs to be to be a great client.
If you don't want the fancy stuff, just use react-redux and build an SPA.

It gets complicated past that, but that's because trying to mix streamed server generated HTML and client rendered HTML (and often one and then the other in the same piece of UX) is hard to do.
You should really look at the S series by Samsung. I've been using Note devices since the Note 3, I would not give up the stylus for anything at this point.
Here's their blog post announcement too: https://digitalhumanity.substack.com/p/project-sid-many-agen...
Atoms exist, "molecules" have never existed and will never exist.
The boring answer is that it's context dependent, but fundamentally "do data engineering the same way you do high-performance software engineering". Have tests that run fast, where fast means "a few seconds when you start" and "refactor as you go so the tests keep taking a tolerable amount of time". I think Kent Beck suggested 10 minutes in Extreme Programming Explained.

We're gradually forming our own, complex opinions in this. In the consulting context, this is essentially our product. A fascinating realization moving from software to marketing is that a sales pitch or marketing strategy can be built in a way that isn't entirely dissimilar to code, and that it has second-order effects. They aren't the same because... they aren't the same, but there's an artistry combined with principles to doing it "right".

And then as a consultant there's additional complexity, as each team is different. Some are high-performing and need a bit of an external jolt. Others need the help the most, but are in politicized environments so they're almost inaccessible until a new executive comes in who can admit there are problems (or indeed, even see that there are problems).

Joe Reis has some great stuff in Fundamentals of Data Engineering, which includes advice on early objectives when rolling out a new practice.

Disclaimer: Joe has hosted me on his podcast, and we are in the mutual-marketing whirlpool together. But I've been recommending his book long before I met him.
there is https://github.com/ldeso/blitz which looks quite nice
use https://github.com/Aider-AI/aider
clone any repo, use aider for Q&A about the code.
Use aider to add features to the repo and do experiments with the code.
Its a very interactive way to learn
Browser version works well?
Acting against your own better Judgement, I have to take that fight/ urge every few days. ;)
I get what you’re saying about insulin and blood sugar, but I think it’s important to remember that sugar itself isn’t inherently “bad” for us. Our bodies are actually well-equipped to handle it, especially when consumed in reasonable amounts. Glucose is a primary energy source for the brain and muscles, and occasional treats or small amounts of sugar can be part of a healthy diet without causing harm.

An example of this is Oral Rehydration Solution (ORS). Many people around the world suffer from dehydration, and electrolyte solutions are more effective when combined with glucose in a liquid form. Interestingly, the study often cited to argue that non-glucose-based versions are equally effective is misleading. In that study, participants consumed orange juice and cereal bars one hour before the test, which influenced the results. https://www.frontiersin.org/journals/sports-and-active-livin...

The liver and muscles act as natural buffers, storing excess glucose as glycogen and releasing it as needed, so a small sugar spike here and there—like a few pieces of candy—won’t typically lead to insulin resistance or other long-term problems. Issues like insulin resistance are more of a concern with constant, high sugar intake over time, particularly if the overall diet lacks fiber and nutrients and particularly for people who are inactive.

So, while excessive sugar intake isn’t great, enjoying sugar in moderation doesn’t overwhelm the body’s ability to regulate blood sugar. Our metabolic systems are designed to manage occasional spikes, and a balanced approach is key.

Every 10 years, the dietician community tends to demonize one type of macronutrient. When a theory claims that a single factor explains a complex phenomenon, it’s usually a red flag that the theory is flawed.
A Dogged Pursuit for Satisfaction–Ryan Williams (MIT CSAIL) [video]
Firefox 115, tab takes 9.3MB with adblock disabled and Enhanced Tracking protection also disabled.
No problem with scrolling or right-clicking. Or any other kind of problem.
you said

> they didn't have a military alliance.

Please just admit you were wrong. If you cannot do that then there is no point in responding to you.