skysight-inc/HackerNews huggingface dataset:
> The assumption that everything about our physical universe is described by computational rules is not a given, and is never explored nor justified.

That's in the linked article about the ruliad, among other places in his writings about their physics project: https://writings.stephenwolfram.com/2021/11/the-concept-of-t...
Netscape had a line of web servers supporting server-side JavaScript. But who in their right mind would use JavaScript on the server side?
Interesting - where in the world is this the case? Mexico? I had a Spanish friend called Francisco, known as Paco, but a Portuguese Francisco I know was utterly baffled that his name could be shortened that way.
The preface of Real & Complex Analysis by W. Rudin.

It shows that exp is periodic, the first time I read it kind of blew my mind.
I wonder if HN should have a rule that prohibits editorializing.
Meta's Zoomer devs should watch 2001: A Space Odyssey.
Show HN: Ansible update playbook for Fedora Silverblue
I've been a reader of Hacker News for many years, but this will be my first post.

I love using Ansible and have created a simple Playbook for updating Fedora Silverblue, along with Flatpaks and Distroboxes.

This is version 1.0 and I though that some else might find it useful as well, hence why I am posting it here.

https://theunix.dad/posts/updatingsilverblue/

Have a great summer :-)
the title should be "Local Async Executors and Why They Should be the Default (Rust)"
Lol: A fool and their money and all that…
Yes, would be nice if they had a regular A, and that one as stylistic alternate. Removing the bit on the A to turn it into a regular one takes only a few clicks on Fontforge or another font-editing software, and the license allows modification and redistribution ;) [https://github.com/HelsinkiTypeStudio/Finlandica/blob/master...].
Bash aliases are more than shortcuts
i am become death the destroyer of the internet
> except XML feeds were then replaced by simpler files

Yes. XML was basically superceded by JSON, which was far less verbose and clunky.
Apple is the worst of the bunch imo. My personal ranking for worst antitrust offenders would be:

1) Apple
2) Amazon
3) Google
4) Microsoft

Internationally that may be slightly different though. I’d also maybe include meta for their oculus purchase but I think they’ve tied it into their core, “social” business well enough that I’m not very concerned at the moment when there are bigger fish to fry.
I know it is used in education in some parts of Europe. But now I'm wondering, is it used in production? Or rather, does it have a niche or an industry where it is more widely used? I'd be curious to know what software is written in Eiffel! (Mainly to get an idea of what Eiffel source code looks like, beyond toy examples)
Anecdotal evidence, but many large rust async code bases perform significantly better if you are using a single threaded runtime vs. a multithreaded runtime.

Here is an issue for the quinn crate that implements QUIC: https://github.com/quinn-rs/quinn/issues/1433

We have had very similar experiences when developing https://github.com/n0-computer/iroh

And this is with quinn still carrying around the synchronization primitives to make everything Send.

Another piece of anecdotal evidence: the functional collection library https://github.com/bodil/im-rs comes in two flavours: one using Arc and one using Rc. The reason for this is that you get a significant performance increase by using Rc (where manipulating the refcount is just an integer inc/dec) vs Arc where manipulating the refcount needs to be an atomic op.

Last but not least - often making futures Send requires you to box your futures. Send and lifetimes just does not play well together. Do something like this:

trait Foo {
type OpFut<'a>: Future<Output = ()> + 'a;
fn op(&self) -> Self::OpFut<'_>
}

This is what eventually you would want something like async_trait to desugar to. Use the above in a Send context, and you get a completely undecipherable higher-ranked lifetime error. So you are back to boxing all futures.
Because gp didn’t read the article and assumed this was about github copilot?
JavaScript was not very powerful when it came out though. It couldn’t modify the DOM (except input controls) and it couldnt perform background requests.
You may have started bouncing back because studies show that your BMR will drop by as much as 17% below the baseline expectation for someone of your weight after like 6 months if you're doing caloric restriction dieting. Your 500kcal/day deficit may be zero or negative once you factor that in. Consider reducing your intake to 500kcal/day below 80% of the expected BMR for someone of your weight and see if you return to your original trajectory.

It's called adaptive thermogenesis. See Figure 1 and Table 1 in [1].

[1] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9036397/
the revenue comes from the future acquirer of the company paying out to the current shareholders. I don't really believe consumers of telegram are willing to pay for it. It's in the same boat financially as twitter - but got better PR atm.
I think more important than you not knowing the “real” value is that they’re relying on you not being able to access that value. You can’t talk to the producers directly, and even if you can, you can’t purchase in sufficient bulk to see the same price they do.

The margins don’t simply exist because of hidden information, but because the grocery store is actually adding something to the equation (else if capitalism does its thing, someone else would start drinking their milkshakes).

In the same fashion, you might be able to add X value to Meta by adding some feature to Facebook, and they’re relying on X to exceed your pay, but that doesn’t mean you can produce X value without Meta/Facebook and capture it for yourself — if you could, then you’d be an idiot not to. And I don’t think Meta is relying on their high value ICs being smart enough to provide value, but so dumb that they wouldn’t take money just lying in front of them.
I mean theoretically as there are specs to intake ChatGPT could write code matching the specs with probably some annoying bugs in what was produced.
The point of doing $non-llm-optimal-thing on an llm is the hope that it let's you skip on formal syntaxes, which are mentally taxing.

It's far easier even for an expert to communicate what they want in natural language than it is in a formal syntax for all but the most trivial things.

It should be a goal of these tools to do this correctly.
Isnt this called intermittent fasting?
The painful part is that if you at or near the top of the previous band it often means not a significant bump at promo time.

The top of the new band is much higher of course, but there isn't as much immediate payoff.
Agreed that it feels like a cowboy show. We get 2 main uses out:

1. Inverting the control structure. Traditional orchestration frameworks blackbox simple calls, like asking an LLM to analyze a patch. Chaining is about an LLM-based planning agent + ensuring all tools etc are abstracted so the planner can orchestrate them. Airflow era tools leave too many integration gaps here.

2. Plugin interfaces. Related to 1, it puts in patterns for keeping vendors easy to swap out. (In theory, practice takes more bc tuning, but at least the shape is right.) Orchestration frameworks and new LLM ones have a lot plugin ground to cover here.

We had to do a lot of work around langchain to make prod ready for louie.ai, and just as we have been figuring out patterns we need, was clear so was langchain. Don't get me started on threading and eval..
They should stop teaching math to kids for the same reason. Just give them a calculator! Or show us the evidence that math education improves cognitive abilities in other domains.
> https://github.com/signoz/signoz

we are looking into it! :)
Ask HN: Prepare for the Future: Outlook for IT folks in 2025 and beyond
Considering the changing landscape of the IT industry, I'm curious about the situation of IT folks (especially programmers) in 2025 and beyond, particularly in popular outsourcing destinations like India. With the increasing talks about dedollarization, how do you foresee its impact on IT outsourcing destinations like India? What steps can IT professionals take to prepare for and navigating these challenging times ?
Where was that discussion held? I'd like to read what people were thinking.
It is fast enough though? This is not HFT
I'm interested. When people say losing weight causes the metabolism to slow down, are they simply referring to the BMR going down as a result of the new weight/height/sex combination.

Between 65kg and 60kg of body mass, my BMR would go down about 50 calories, which given lifestyle and eating changes, wouldn't be such an issue.

Or is there something else I'm missing? How drastically does metabolism slow down? Has anybody calculated how much it does this by, or is there too many variables at play for any accuracy?
Better than giving away all your secrets, a crash is great in comparison
> I’m not specifically sure about this one though.

Curiously, details is in the article being discussed.
In C# i always wondered why they couldn't hide the async/await logic for most cases. I never need to fire off two IO futures at the same time, so just make the thread do other stuff if i'm waiting for IO feedback, don't make me type out async/await in all impacted functions, let the compiler figure out when it can process other stuff
My bouncing back is entirely explained by caloric intake ;) I've had "cheat months".

I simplified it, I was bouncing up and down several times, I started at 130 kg, went to 100 kg pretty quickly, dipped to 90 kg twice (both times on backpacking trips BTW), and now I'm oscillating between 100 and 105 roughly.

My goal is 85-90 and I'll get there eventually.
Build Your Own Budgeting
I've been using a plaintext budgeting setup for quite some time. The approach works well, but can be tedious. Recently I've been involved in the South African banking API space and so decided to build my own budgeting app just for my own use.

The budgeting app itself is not terribly interesting, but I did want to speak about different approaches to automating transactional tracking in such apps.
During the last decade, we drove three times through France to spend our summer holidays in Biarritz.

One of the many selling points for us was the Gant d'Or tournament: https://www.youtube.com/watch?v=3GVwqcCzWyk
At levels comparable to Facebook's E7/E8 they absolutely do. Most tech companies do not have an IC ladder that reaches that level.

https://www.levels.fyi/?compare=Amazon,Google,Facebook&track...
It reminds me of American Football vs Rugby Union vs Rugby League - all similar with a similar shaped ball, demarcated field lines and H shaped goal posts at each end but very different.
I like it. Looks a bit like plausible. I thought it was going to be a 90s hit counter. But alas!
Looks rather nice when looking at, but I have to say that (for me) the animations in the github page are way to fast to get any feeling of what the tool does.
On that note, I also remember TV shows as a kid, the parents always came out in full pajamas, fuzzy slippers, and a robe on. "Who dresses like that?" I thought. Didn't know a single person in SoCal that did, to this day even. In fact summers I'd live in swim trunks (only) for three solid months.
Here's an excellent podcast that goes in depth on the potential of enhanced geothermal of the same sort described above. Essentially they drill two holes and then frack the rock between them. This makes it possible to setup geothermal in many more places. https://api.substack.com/feed/podcast/74977669/bb712d64d007e...
For those getting started, the easiest one click installer I've used is Nomic.ai's gpt4all: https://gpt4all.io/

This runs with a simple GUI on Windows/Mac/Linux, leverages a fork of llama.cpp on the backend and supports GPU acceleration, and LLaMA, Falcon, MPT, and GPT-J models. It also has API/CLI bindings.

I just saw a slick new tool https://ollama.ai/ that will let you install a llama2-7b with a single `ollama run llama2` command that has a very simple 1-click installer for Apple Silicon Mac (but need to build from source for anything else atm). It looks like it only supports llamas OOTB but it also seems to use llama.cpp (via Go adapter) on the backend - it seemed to be CPU-only on my MBA, but I didn't poke too much and it's brand new, so we'll see.

For anyone on HN, they should probably be looking at https://github.com/ggerganov/llama.cpp and https://github.com/ggerganov/ggml directly. If you have a high-end Nvidia consumer card (3090/4090) I'd highly recommend looking into https://github.com/turboderp/exllama

For those generally confused, the r/LocalLLaMA wiki is a good place to start: https://www.reddit.com/r/LocalLLaMA/wiki/guide/

I've also been porting my own notes into a single location that tracks models, evals, and has guides focused on local models: https://llm-tracker.info/
Is there an obvious way to modify that ratio?
This does remind me of ctop as well: https://github.com/bcicen/ctop

It also let's you look at containers, resource usage graphs, their logs and even do some actions through a TUI.
Even just designing your lifestyle to include movement makes a huge difference. I commuted by bike for years - 11 miles a day, every day, and basically maintained my weight despite eating or drinking whatever I liked. The pandemic put an end to that and my weight has been creeping up year on year since. It didn't really feel like exercise, just a way of travelling.

Similarly - walk everywhere. Choose to live somewhere you can walk to the shops and then take advantage of that. I read a study a few years ago that showed that people living in UK cities walk more than twice the distance each year of those living in suburban or rural locations. You definitely wouldn't know there was an obesity epidemic in my country looking at the people in my neighborhood. Half of them don't own a car.
Ask HN: Exploring Unique Use Cases for Quadcopter Drones in Constrained Spaces
I'm fascinated by the versatility and potential of quadcopter drones, particularly in unconventional scenarios. Today, I'd like to discuss and gather insights on unique use cases for drones in very, very constrained spaces (flying within few cms/mm accuracy)

As quadcopters continue to evolve in terms of size, maneuverability, and advanced capabilities, it's becoming increasingly possible to navigate them through tight and intricate environments. These constrained spaces could include narrow corridors, dense forests, confined industrial areas, or any other challenging setting where traditional methods are limited.

Some potential questions to kick-start the discussion:

Have you come across any innovative applications of quadcopter drones in highly confined spaces? Are there any industries or specific use cases where drones could bring significant benefits in such scenarios? What technical advancements or adaptations would be necessary to optimize drones for these constrained spaces? Are there any existing research, projects, or initiatives focused on addressing this particular niche? I'm excited to hear your thoughts, experiences, and ideas on this topic. Let's explore the uncharted possibilities for quadcopter drones in extremely confined spaces!

Looking forward to engaging in a vibrant discussion with the Hacker News community.

Thank you!
If you are looking for a merge queue solution on your GHES, wait after GitHub releases it or start using Mergify.com
I stopped using out of the box solutions and made my own system, perhaps you would want something similar? Made a blog post about it: https://thesloth.me/posts/6/
The Retail Price index (RPI) is at 10.7% https://www.ons.gov.uk/economy/inflationandpriceindices/time...
I also don't understand what they expect.

That Microsoft bundles google meet? amazon chime? Slack?
Go version 1 is released (2012)
Do you ever have trouble sleeping due to feeling hungry?
That is just not true. Anything not customized to your specific need and context is certainly more complex and bloated. "Officially published" is a common falacy (resorting to authority)
No alternative now. Not gonna be an alternative if someone (which may or may not be "we/us") doesn't start fostering one. Reddit year one wasn't a Digg alternative either.

I'm using Tildes to replace most stuff, HN for more technical news, and then a few gaming news site and animation youtubers for entertainment news. And then tryig to keep an eye on and support some very alpha sites I've found over the weeks. Still myabe 70% replaced, but it's a lot more than the last time I said I'd quit reddit in like, 2017.
Not sure if this is facetious, but HN does have a rule that prohibits editorializing. From the Guidelines: "Otherwise please use the original title, unless it is misleading or linkbait; don't editorialize."
Save Open Source /-/ the Impending Tragedy of the Cyber Resilience Act
I don't think people have to pay for bad press against Musk: he made enough enemies of people in the press by being a total asshole to them that I'm sure they'll do it for free any chance they get.
Hi there,

Just so you know, I'm the one who wrote RWKV.f90. After making a lightweight autograd package that's a lot like PyTorch, but in Go (I called it spaGO), I am now passionately working on adapting the same concepts to the Fortran language.

But first things first, I want to make sure that using your GPU is as easy as pie. That's my next challenge.
Check out https://addons.mozilla.org/en-US/firefox/addon/i-dont-care-a...
Bfs 3.0: The Fastest Find Yet
A bird told be that Twitter used to promote based on creating a popular internal library. Which is why they got an internal NGINX rewrite.
Maybe HN should auto-pull title from URL, and then add the posters title as a form of "subtitle/comment"
It is usually to conceal more important news.
It's thier fault if we never gave the support in K-12?

You do see the glaring failure in your "reasoning", right?
I use a 3D printed mouse from https://ploopy.co/mouse/ for years and it's doing just fine.
> Company Contacts:

Imagine if companies provided contact information on software releases today. You know, where you could call and a human being would pick up. Maybe you could even get some customer support!
Flowchart showing the restructuring of the former Bell Telephone Company
Don't give me numbers, I've already enough of them.

Give me hunger suppressing pills and I'll give you gold in return!
The thing Twitter does is give you a sense of ‘what’s going on in the world right now’

Threads doesn’t do that. You can’t even do a search based on a topic.

It’s crazy they haven’t got this most basic feature for a Twitter clone.
Who knows what the future holds.

Can you diversify your content and audience base? If so, do so.

At the least, the usual recommendation is to get a newsletter set up just so you have an email list of core followers in the event of needing to migrate platform.
Show HN: Landing page copy audit with AI trained by behavioral psychology
Hey makers,

I'm an expert in behavioral landing page copywriting! We trained AI with behavioral psychology, decision science, and cognitive biases. And we created a landing page copy audit tool.

audit.landin.page

It's in beta.
I'll share about updates for product as build in public.

I'm not aiming for profit with this product. I just want to help makers market their products better. That's why I priced it at only $2 (for AI costs).

How does it look?
What do you your ideas?
The problem is that the art produced by humans can conceivably have Mana https://medium.com/luminasticity/art-as-a-tool-for-storing-m... and so can art produced by AI, but as the AI produces more and more art the uniqueness of what is produced is decreased, causing a related decrease in the perception of Mana.

The ability of AI to mass produce art reduces its value, turning what might seem to have artistic value into first design and ornamentation and finally just background noise.
In Windows-land and seldom elsewhere, it was more like "don't run random executables and don't open attachments and ask a sysadmin about the site/flash page/applet you're about to visit". I dare you to ask your grandma what is a .vbs file, without googling...
Love that name - Court of Chancerty - second time they did this - did they not enforce the Twitter buy offer against Elon ???.
Even better idea:

Kids just work at thier own pace and don't graduate until they complete all work successfully.

Anything else is just a diploma mill.
It might be, but it might not entirely be. That's the thing, there's more to this. The reality is weight loss should be a long-term thing, and you should be sustaining it years later without issue if popular narrative is to be believed. I'm not really even commenting on individual cases, just sharing what I've dug up because based on what's going on around us, it's clear the approach we're taking is completely failing us - and we're really just not that alarmed about it.

Any time I've tried to dig up studies that support the commonly prescribed approach I've failed.

Good luck!!
> Would employees be better off if their employer didn't exist?

well, we're talking about Meta here
> I tend to hang out with hundreds-to-thousands of endurance athletes [0], and the large plurality of them are not heavy people.

Might be sampling bias, or rather reverse causation.

It's not that "endurance athletes are not heavy", but simply "heavy people don't like endurance sports".

So the interesting question is how many of those athletes used to be obese more than 2 years ago?
Apple, Google, Tesla etc seem to have mastered the art of regulatory dodgeball through observational experience and a successful series of pr campaigns of brand identity. There's no better evidence than HN itself where it's common practice to defend these companies for the analogous actions.

That same perception is why I think ms tends to be under scrutiny, as it should, but others don't. It's a real shame.
I really "enjoy" when academics try to judge tech companies they don't really understand.
Look, Uber's finances still aren't great. Doesn't apply to all of its peers across the world. If they burn through all their money and can't raise more, something will happen. As a user, I will say that I will continue using ridesharing apps even if conventional taxis end up cheaper.

Barcelona regulated the hell out of ridesharing. Uber is prohibited, I think. When you open Bolt there for the first time, you can't order a car for 15 mins. It's an arbitrary limit they instituted so you go to a road and catch a taxi. Well, those are OK and always have card payments. But you have to be on a busy road to catch them in the first place.
You will have a lower 7 day rolling average on a low carb diet than on a high carb diet because of glycogen. A low carb diet will deplete it faster, so you will think it's working better, but in actuality the effect is temporary. You need to be cognizant of glycogen while dieting so you don't get fooled.

Otherwise you will think your diet stopped working after a while
Software Trends Reports for 2023
> made Ice Hockey really fast and violent.
The person who was viewed as a most valuable asset, and got exceptions is of course still safe then!
Applies to all service industries in Japan, I imagine.
Binary Sizes and Compiler Flags
For me it would be https://en.wikipedia.org/wiki/Quetzalcoatl
Waiting for I/O does not require using multiple threads. You can have the same thread do other things until I/O is ready.
It's a basque nickname, so you'll find them basically in Spain and France.
Tech recruiters to this day still ask me to work on Java projects based on my previous Javascript experience
Sometimes I really do want to find somewhere to eat lunch at though - i.e. Google maps minus some of the webshit is reasonably good at being a centrally dense place for all that informatjon
I have the same experience with exercise and food
I didn't know that's what it was called but yes, it appears it is.
You find the font on the national ID cards.