skysight-inc/HackerNews huggingface dataset:
Yeah, I'd say it's actually pretty common to make spacecraft avionics as remotely switchable as possible. For one thing, there's likely to be a considerable amount of redundancy so that a single component failure doesn't ruin your whole mission. It's good practice to have a way to isolate any component that is anticipated to fail. FDIR is a known acronym: fault detection, isolation and recovery.
I've been playing with this for a while. In my experience, current LLMs work really well for looking up general electronics knowledge and reinterpreting it in the context of your problem. "What are the reasons my resistor-based voltage divider isn't working", that kind of stuff. Not useful for seasoned EEs, great for hobbyists.

But the moment you're asking LLMs to reason about the specs or the applications of specific chips, they will give made-up answers around 80% of the time. This is probably a matter of the data being a bit too sparse. Pick a chip and ask about its supply voltage range, and it will probably get it wrong, even for the most popular stuff.
At my kids school, blackboards have long ago been replaced by digiboards, which enables the teacher to show much more than a blackboard allows. There's also a bunch of chromebooks that are required for certain exercises. It certainly helped me when I wanted to give programming lessons there, but they're also used for language and math. One big advantage is that it can provide kids with a much more personal approach than a sheet of paper or classical lessons can, and with 20+ kids per classroom, the teacher can't give personal lessons to everybody.

Not everything is on the chromebook, though; lots is still from books and paper. I think a mix is a good approach. Of course the school does first need to ensure that the tech works seamlessly. That doesn't seem to be the case in your school.
I made a gender swapping algorithm for my own use only. You put in any text and it outputs the exact same thing with all the genders reversed. Man to woman, he to she, Prince to princess, witch to wizard.

Then got a book deal to create a series of gender swapped illustrated books ‘Gender Swapped Fairy Tales’ and ‘Gender swapped Greek myths’

It seems like a simple enough task but gets complicated in weird ways. For example - his can swap to her or hers depending on the context. And her can swap to his of him depending on context.

The idea is to show the biases in the original stories that you are blind to because you’ve been reading them forever.
Maybe they'll change it at some point. I believe if SQL Server was free, it would dominate the business. I last used it 7+ years ago and back then it was (from my subjective experience) better than Postgres is now. And I love Postgres. But SQL Server was a dream to work with. Feature rich with amazing tooling. You can get most features in Postgres with plugins and manual work, but SQL Server does it all for you.
For those looking for it https://www.jagregory.com/abrash-black-book

If some/most of the actual tricks are not up to date (ahem) the whole book is filled with techniques, stories, concepts... It's more than ever a Zen of optimization opus.

Can someone on HN close to him tell Michael Abrash, should he write again, whatever he wants, even gardening or vulkanstuff wrangling, he has guaranteed readers.
> 2. What will happen to people and places who were economically dependent on coal mining? Something tells me the factories for solar panels and wind turbines aren't being built in West Virginia -- or perhaps not in the US at all. And I'm sure they require a completely different skill set.

What nobody really wants to tell you, the same thing happens that happened to people in deindustrializing area. As a group, they get stuck in poverty.

The problem is... we can't really do much about it. Progress needs to happen, especially in this case.

Everybody keeps yapping about it but in practice only the longshoremen, through their very powerful unions, managed to have a decent transition when their jobs died out. Everybody says "we should so something" but nobody's willing to sacrifice their money to actually do anything.
Mendel wasn't trying to model reality. He worked with actual plants.

He's likely not the only scientist concerned with actual reality.
Counting iOS, iPadOS, and macOS app stores as different is going to be challenged by the EU for sure, since their own marketing touts the 'unified app store experience' of buying once across all platforms.
> Once AI can replace actors in movies, as well as singers and models like Instagram influencers and so on, maybe some of the weird hero worship and the paparazzi and the gossip mags and all that nastiness will fade away somewhat

I dunno, I remember seeing on youtube Hatsune Miku concerts being pretty packed, and there was that one guy who even married Hatsune Miku. Who knows what'll happen with AI.
This is super helpful. Look forward to trying it out today.
Nice, but good luck debugging if cmp returns -1. This is C++ after all and there is no constraint/concept to enforce the function to return bool. If you're lucky you get a sign mismatch warning.
Basically that's the 1st thing I do when I start a machine in DO/Hetzner/etc - a firewall rule to block any TCP/ICMP/SHH connections. And this perfectly reduces amount of bots that are scanning my machine.
The last paper I published came back with 4 reviews comments:

review 1: This is important for the field, fix x, y and z and it should be ready to publish

review 2: This adds absolutely nothing, they are missing references from research group a, research group a, research group a.

review 3: Looks good, fix a, b, and c, and add references to research group b, research group b, research group b.

review 4: looks good, but figure x doesn't seem to show what you say it does, fix it or the caption.

From there it was actually fairly simple to see who was reviewing based on which papers they said we were missing. With research group A in particular, they were working on similar stuff so we think we may have scooped them. But that's also a bit of the problem with reviews, subject matter experts are probably also doing similar research. And if they have a big ego it can potentially hamper work by other groups getting published.
Interesting. But saying "Alexa" or even "Bixby" feels a lot quicker actually.
I couldn't help to notice the parallels of weak and strong link problems to sexual evolution. Sexual dimorphism had the tendency to, at least in tournament species [1], evolve towards weak-link females which make up the risk-averse and "gatekeeping" (rejecting unfit males) reproductive basis of the population, and strong-link males with much higher variance in phenotype and mating success.

We humans don't have that much sexual dimorphism compared to many other species, but it has been suggested that human males exhibit higher variability, most prominently in cognitive abilities [2], i.e. more males with either high or low IQ. As always, as soon as something is related to human cognition, take it with a grain of salt, as our minds are very malleable. And, as always, there is a lot of controversy attached to that topic.

[1] https://en.wikipedia.org/wiki/Display_(zoology)#Tournament_s...
[2] https://en.wikipedia.org/wiki/Variability_hypothesis
My first program was in C, input two dates in yyyy-mm-dd format, one by one,and tells the age. I used to call it Age Finder.exe Second version of it could work with dates entered in either order i.e. oldest newest or newest oldest.

Now I use javascript & html. The most used ones in recent past was my own timesheet log app. Html form submit data to Google sheet through Google script. Another page shows the monthly summary & details.

A telegram bot which logs my msgs as todo list to a Google sheet. I manually mark things done when done.

Many others at apps.bydav.in
Fun idea, maybe I'll add something similar to my https://wherewords.id
UDP over IP should be feasible, see https://www.fpga4fun.com/10BASE-T.html
How reliable/accurate do you find it? I've always had issues with IFTTT in the past when it came to background geolocation.
I talked to the Krita devs about adding HDR support to get Krita to be used in VFX, while I worked at DNeg in 2007/2008.

They didn't see the point/understood how this could be important, at the time.
I'm writing my own app for practicing the piano.
The goal is to make practicing fun, while also making steady progress.

I'm not a good player at all, and I've struggled with practice for years. But I have no problems playing (practicing) difficult video games, that require a lot of repetition (think Celeste).

I think I've identified two major reasons why I never enjoyed it:

1. Classical music notation (sheet music) is just awful. It goes against most modern principles of easy-to-grasp information design. So I've come up with my own notation that is much easier to read and can be generated from musicxml files.

2. Practicing takes too much decision making and discipline. If you want to make progress, you have to constantly remind yourself to practice the parts that you're not good at yet - this is a surprising amount of mental overhead and requires lots of discipline. So the app I wrote listens to you play via MIDI and keeps track of which segments of a piece you're already good at, and automatically gives you those you still need to practice more - zero decision making required. You just play whatever the app gives you and after a few weeks/months you're suddenly able to play the whole piece.

The app is no where near ready to be shown, but I'm confident at this point that the concept will work.

I've been planning a longer write up on this for a while, if you're interested in reading more about it, please let me know, that would be very motivating :)
A giant penis with a series of small dots to signify non-penis parts.
Higher compared to what? There are plenty of smaller hostels/hotels which don't even bother to have their own website (only some FB page, and Booking.com listing)
That's a weird argument. Are Aldi supermarkets the same, "no the one on 5th avenue sells vegetables in isle 5 and the one on 3rd they are on isle 2". It's still really the same and particularly they advertise it to be the same.

I think there should be a hard rule, that if companies try to sell something as the same to consumers, they immediately loose if they try to argue they are separate things when it comes to regulations.
I build a "SaaS" wine app, for tracking wines in my cellar and for tasting notes as well.

"SaaS" in quotes since it runs in a small production setup with all the bells and whistles (ie. CI/CD pipelines, continuous releases, user signup etc.), but I'm the only user :-)

I'm a wine enthusiast, i.e. not a professional but interested enough to do a WSET2 in my spare time (I'll do a WSET3 when I find time some day). I like to/need to keep track of two things as part of my wine hobby: Wines in my cellar, and tasting notes.

Used to keep the wine registry in excel and notes in Evernote, however especially the excelsheet lacked features, like easy searches from a mobile device, and notes about the wines in my cellar (not tasting notes, as I have plenty bottles I need to taste but havn't yet, and I still need some notes on those to remember where the heck I got them from and why).

Also, WSET2 tasting notes a much quicker to do with the proper template, but copy/pasting text in Evernote became too annoying (again, phone).

So, I build my own app to have exactly the features and mobile friendly GUI I want. I'm the only user on purpose, because then I can keep building and changing features to be just like I want them.

Yes I know there are some "wine tracking apps" out there, like CellarTracker and Vivino, but they dont fit my needs. CellarTracker is closest to my needs but way too clumpsy GUI and not mobile friendly -- I don't have my laptop with me when I'm in the cellar to find a wine for tonight, I have my phone.

Will I every make up the time I spent building it in time saved compared to my excel/evernote setup? Nope, not even close. But it was a fun side project, and I like fiddling with the hosting/Ops part.
> Transportation is a bigger problem. Not only people are still buying new cars, ships, and aircraft that use fossil fuels, but businesses continue designing new models.

Europe is very close to banning ICE cars from 2035 - 2040. And part of the people pushing for this ban are... European automobile manufacturers, especially VW. Funny, right?

Volkswagen has invested tens of billions of euros into EVs and will invest about 80 billion more until 2030 and I think they expect their entire lineup to be EV-only by 2030 or so, so if they manage to ban ICEs by 2035, they'd basically be banning some of their slower moving competitors :-))
Turbo C was great for DOS. I was very productive with it, way back when.
Linux should generally have no problem with CPU&al sleep, the problem is often devices around, waking up in weird orders or states, or not waking up at all, or not going to sleep.

> The furi_hal_os_sleep() function performs tick suppression inside the OS domain.

Reminds me that many eons ago I witnessed the introduction of CONFIG_NO_HZ in Linux, is it the default now? Combined with timer coalescing this makes for big energy savings.

https://en.m.wikipedia.org/wiki/Tickless_kernel

https://en.m.wikipedia.org/wiki/Timer_coalescing
App Service won't allow the level of privilege needed to start the "head" container that enables container-in-container to work. Options like `--privileged` and `--cap SYS_ADMIN` or mounting special volumes from the host are the first step on "how to escape from a container" so shared container services don't allow them. The options might be more allowable in your own App Service Environment but I don't think the API is even there to set the options in the first place.

Container-in-container also pushes a number of responsibilities from the the App Service down into the head container, like ingress, service management, health, logging etc. You might as well run compose/swarm on your own VM(s) than reinvent those wheels.

AKS + kompose might be a not too bad option. AKS can deploy on the private vnet and can do private endpoints. The cluster will probably fall over once a year for <reasons> but it will mostly manage itself. If you leave k8s to auto upgrade, run a microk8s instance as a test env somewhere and it will hit the upgrade issues before AKS releases a k8s version.

- https://github.com/kubernetes/kompose

- https://learn.microsoft.com/en-us/azure/aks/private-clusters...
> Though people sometimes pretend otherwise, a lot of research is dressed up informed opinion, put into a formal setting with standardized argument styles so that it can be compared and assessed against other informed opinions. None the less, such work done honestly and diligently advances the human condition.

I ... think we actually agree here.

In fact, to prove your point: I have no chance of accounting for the origins of my opinions, because they stem from decades of osmosis and subjective experiences. But I can at least be honest about something I say, do or argue being an opinion. The same way you just did.
For the true feeling of radio, you might throw some episodes of The Big Broadcast on there as well - I believe archive.org has some but they're easily findable elsewhere. Donate some money to WFUV[1] or buy some of the collections[2] if you just want the music.

[1] https://en.wikipedia.org/wiki/WFUV

[2] https://rivermontrecords.com/search?type=product&q=big+broad...
The setup code to reduce the length to a 2-power can be avoided.
I'm curious how well the following code performs in comparison:

for (size_t length = end - begin; length != 0; length = (length + 1) / 2)
{
size_t step = length / 2;
if (compare(begin[step], value))
begin += step;
}
return begin;

For odd lengths like 5, this splits the array in an even part of length 2, and an odd part of length 3, and then searches either part with length 3. So again there is some redundancy for non-2-powers.

While this code is simpler, it does require an extra division and increment in each loop iteration, so presumably it performs a little worse.
Phone users can have a little practical computing, as a treat.
`Back end, we will see a return to monoliths, especially with the next round of start ups.`

can explain more ab this? sounds interesting.
This is great!

I’ve always wished for a replacement Spotify UI that’s entirely album focused.
The heat may be inherently useful for keeping the spacecraft warm enough to operate, mitigating some of that inherent inefficiency.
I checked it out but didn't see that it runs on my hardware. I'm worried this gets me closer not father to brick status with my device.
AI is the new moneypit for VC funds now that web3/ crypto turned out to be a bust. How many of these AI startup are going to make any money. Very very few.
I'm not sure an LLM can model ambiguity well when talking to normal humans without having theory of mind, because different speakers will use different words (should, might, possibly, etc) in different amounts to express the same amount of ambiguity. This is the kind of thing studied in pragmatics (a subfield of linguistics). It might be easier if you're only dealing with formal academic writing, but that doesn't completely eliminate the issue.
Have you seen Icecast [1]? You create playlists of local music, then play them with something like mpd. Icecast then streams them out and clients like VLC, xmms2, and even older versions of Winamp can stream it.

I set this up for all my music in shuffle mode for my own radio-like always on streaming service via Tailscale.

1. https://icecast.org/faq/
Writing mathematical proof is like writing code, compiling/interpreting(take your pick), debugging, fixing problems, and testing; all at the same time, and that too in real-time.

That is the reason more people find programming enjoyable but struggle with mathematical proof writing.
Liubo: Ancient Chinese board game originally played from about 500 BCE to 500 CE
Thanks, that's new information to me.
You get the same issues on Android. There is zero intelligence, it's embarrassing. You can have a song in your library that you've listened to every day of your life, but it'll still decide you actually want to listen to some weird track you've never heard of just because the names are similar.
They’re not the same. You can’t install an iPad app on an iPhone. Only because most Apps for iPad also have an iPhone version doesn’t make them the same.
Why? As asp.net (core) developer who has to use node (nest.js) in my job, I dont think it is any better.
> digital? "every idiot can count to one" — BW
Hackers are outlier
They can change, with less food (mostly) and more exercise. It's not beyond the realms of possibility for overweight/obese people to lose weight.

Introducing a drug like this with no lifestyle changes will just lead to eat, inject, repeat.
Flat Panel Haptics: Embedded Electroosmotic Pumps for Scalable Shape Displays
>Over a few generations, adults have systematically erased every sq foot of free-range land. In it's place are 2 ft wide walking strips lined by 40mph 2 ton death blocks.

This is largely an American problem, but it's worth noting that in many places in America, these "walking strips" actually don't exist at all! So depending on where you are and where you want to walk, there might be no safe way to do so; sidewalks are frequently haphazardly placed or an afterthought, if they're there at all. In many municipalities, homeowners actively petition the city to not have any sidewalks, because they don't want to deal with the legal liabilities that result from having them in one's yard.

Anyway, overall I agree. In America, there really is nothing else for youth to do, so they should just stay home and play video games. Prospective parents who don't want this for their kids should either abstain from having children until the country gets its act together, or move to a country that's better for raising children.
I've modified Ghidra in order to unlink pieces of an executable back into relocatable object files.

To keep things simple, source code files are compiled into object files which are linked into an executable. Object files have sections (named array of bytes), symbols (either defined as an offset within a section or undefined) and relocations (a request to patch up an offset within a section with the final address of a symbol) while executable files only have sections. The linker takes all the object files, lays out the sections in memory, fixes up the relocation and writes out an executable file without the symbols or relocations.

With Ghidra I can reverse-engineer an executable and recreate symbols, data types and references between symbols. Then, with my modifications I can recreate relocations with that information and, once a range of addresses has been fully processed, I can select it and export it as a relocatable ELF object file.

Why? This allows me to extract parts of an executable as object files and reuse these by linking them my own source code ; I don't need to fully-reverse engineer these extracted parts, I just have to basically identify every relocation there was originally in that part. I can also divide and conquer my way to decompiling an executable by splitting an executable into multiple object files and recreate its source code one object file at a time, like the Ship of Theseus.

So far it works with what I've tested it with and I've been meaning to write a series of articles to explain that process in detail, but writing quality technical articles with illustrations on a topic this esoteric is very hard.

- My Ghidra fork: https://github.com/boricj/ghidra/tree/feature/elfrelocatebleobjectexporter
- My initial prototype in Jython (has a readme): https://github.com/boricj/ghidra-unlinker

Note: this works only with 32-bit MIPS, little endian, statically-linked executables. It can be made to work with other architectures by writing a relocation synthesizer for it, but so far I only care about decompiling PlayStation 1 games.
> different speakers will use different words […] in different amounts to express the same amount of ambiguity.

That‘s covered by the training data.
Thank you for the reply. I'm explicitly looking for something without IP.
Twitter sans Elon (and with more moderation or even less spammy ads and trolls?) would be amazing.
Can Fortran survive another 15 years?
> you'll be in for a world of pain when you want to make it fast.

but you'll also be in a world of pain if you took so long to architect performance into your app/service that you miss your market window, or fail in some other important metric that causes your entire business to topple over.

It's better to have a product/market fit really early, but poor performance (which can be fixed), than to miss your opportunity to ship in time to get that marketshare and thus fail entirely! Try fixing that!
It's not second hand, it's from the colo provider they're using in Paris.
Java Gets a Boost with String Templates: Simplifying Code and Improving Security
Lots of things over the last decade or two. I can count almost one hundred repos on GitHub, but most of them are not very popular with other people, my projects seem to only scratch my own itches..

I have my own lunisolar calendar and decimal time (with centidays and dimidays) so I produced a lot of code for that on various devices. I also wrote two chess engines and a hobby operating system.

And countless web apps, like one to read the daily/monthly top of HN and Reddit, another to host my pictures (on a cool domain hack), one to manage the batch jobs on my chess engine cluster in a rack at home that helps keeping the house warm in winter, and lately my own frontend to Bing API because I was growing dissatisfied with DuckDuckGo.
The high density accommodation of matter brought in by a black hole would spoil the character of our neighborhood.
In maxima (a computer algebra system)

assume(a>0);
assume(b>0);
is (a+b>0) gives true;
is (a-b>0) gives unknown.

So perhaps some computer algebra with inference properties can be used to enhance LLMs.