skysight-inc/HackerNews huggingface dataset:
I wish the best for the geothermal industry, but the phrase “could outperform” is doing a lot of heavy lifting. Geothermal thermal has essentially zero growth, in the US, in the last 20 years. And there is basically no growth planned in the near future, or at least nothing on the EIA’s or FERC’s upcoming generation list.

I’m skeptical that geothermal will ever make a significant impact in the US. Though it might make a difference in much farther north places, where solar struggles.

https://www.eia.gov/electricity/data/browser

https://www.eia.gov/totalenergy/data/browser/?tbl=T01.02#/?f...
1. A SYN may receive a SYN-ACK, RST or nothing at all.
For those who want to experiment with this style in C#, I've found this package to work: https://github.com/JohannesMoersch/Functional
Agree, but the result will be that far fewer kids get to go to college, or get to go to the best college that they can get into.

Loans will only be granted to students who have a track record of high achievement, parents willing to co-sign, and going into majors that make economic sense.

Enrollment will drop, universities will stop offering passion majors, mass layoffs in library science, academia, and college administrations (likely to the tune of 1M+ people).

In the end, students will be told by federal examination which school and major they get to pursue, or whether they get to go to college at all.

That's assuming the government is both effective and efficient in this process.

This is essentially how most consumer economics work.
People do what's made easy and what makes them feel good. And what is advertised.

While it's rather obvious that obesity is caused by excess energy intake, it is not obvious how to change this. I'm getting weight (luckily not at an alarming speed) and I know exactly why I am and how I could stop it, but I don't. Knowledge that it's a "character flaw" doesn't change that.

I smoked for decades, knowing full well it's waste of health and money, and stopped only when smoking was made more difficult than not smoking (smoking bans, introduction of nicotine replacement products). I occasionally eat animal based products knowing they are destroying our environment, but eat them less now because of better plant based options.

Humans are not rational agents and our free will is at most limited.
That was a prominent problem. But in general I feel the larger issue is that films are getting sequels because sequels are commercially safer, and then writers are being asked to figure out why. Especially when it’s a franchise revitalization and the actors are old but they want the nostalgia points.
> They don't make sense logically

In practice such situations can arise in one of two cases:

1. some non-sense creeped in

2. logic is applied to a self-contradictory set of axioms and definitions.

(1) is not very interesting, but (2) happens frequently enough because people often do not try to formalize their definitions and axioms. As a consequence they are using some vague concepts and their statements are true in some cases but not in others.

With all that said, I can propose the way how this logical non-sense could be right. (NB. I don't know if it applies to TCP, I'm just thinking generally, and just as an example to all that abstract words above) The notion of "existence" of the mistaken programmer can be wrong. If we accept their definition of existence, then TCP packets doesn't exist, but they exist in some other sense.
Oscar Health's early observations on OpenAI o1-preview
Back when computer expertise was hard to come by, so admins could lord over users. The Internet has made these people extinct. SNL parody: https://www.youtube.com/watch?v=25J3u3P-HHg
I’m not sure what this paper is supposed to prove and find it rather trivial.

> All of the LLMs knowledge comes from data. Therefore,… a larger more complete dataset is a solution for hallucination.

Not being able to include everything in the training data is the whole point of intelligence. This also holds for humans. If sufficiently intelligent it should be able to infer new knowledge, refuting the very first assumption at the core of the work.
Also:

6) Intentionally train too few doctors for the explicit, stated, out-in-the-open purpose of pumping doctor wages. Continue this policy until it is too late to train enough doctors for the coming wave of Boomers.
FRS/GMRS Privacy Codes Demystified
I see it the other way. 10% chance that the Craitoshi fork of BTC becomes mainstream.
The point is that a lot of stuff in Networking (and Computer Engineering in general) is very context dependent, and that you cannot be extremely opinionated about this stuff.
Due to the limitations of gradient descent and training data we are limited in the architectures that are viable. All the top LLM's are decoder-only for efficiency reasons and all models train on the production of text because we are not able to train on the thoughts behind the text.

Something that often gives me pause is the consideration that it is actually possible to come up with an architecture which has a good chance of being capable of being an AGI (RNNs, transformers etc as dynamical systems) but the model weights that would allow it to happen cannot be found because gradient descent will fail or not even be viable.
I find the interesting bit is really this:

if we calculate the size of a black hole with mass and energy equal to all the mass and energy we can see in the Universe, we get a surprising result: it’s almost the same size of the observable Universe!

If this seems odd, remember that a black hole’s radius is directly proportional to its mass, while its volume is proportional to its radius cubed.
> not single class on how to manage a bank account, or even the most basic education about investments or actual wealth building.

Not everything can be, or is supposed to be, taught by schools. Your parents should've taught you those things, and if they didn't do that they failed you.
Does this additional complexity do anything bad to reliability ?
It's far from perfect.

One of the biggest problems with Rust error handling is that if you want to have explicit error return types encoded in the type system you need to create ad hoc enums for each method that returns an error. If you only use a single error type for all functions you will inevitably have functions returning Results that contain error variants that the function will never actually return but still need to be handled.

Without enum variants being explicit types and the ability to easily create anonymous enums using union and intersection operators Rust enums require a ton of boilerplate.
Hong Kong would be an excellent place to do such a study!
You can't, but oh well, good luck to you and your racism.
From there I'd see where his parents were in the 1911 census. If it's the same location, odds are high that's where he was born.

Exceptions are possible. To help rule them out, I'd research and build-out the extended family. In that day, siblings/cousins banded together; local migration shows up when viewing the lateral family.
The primary difference between GPL and OSS (BSD, MIT et al) is one of philosophy.

The FSF believes that closed-source software should not exist at all. Their license is explicitly designed to make it completely incompatible with closed source software. Updates to the license (GPLv3, AGPL etc) are specifically designed to close loopholes which closed-source companies were exploiting.

OSS by contrast sees Open Source as a public good, but lives in a world that tolerates closed-source entities. It's possible to use an MIT licensed gzip library in a closed-source program, with GPL you cannot.

OSS says "Open Source us better, but closed Source is better than nothing." The FSF says "it should be Free, or you should not use it at all."

Both OSS and Free licenses mandate that users should be able to build binaries from Source. If I make a change to the gzip library then my users are entitled to those changes. (There's no "giving back", only giving forward.)
One method is using directional information. My low-end aids have two microphones each, and can share audio information from one aid to the other. I believe there are also some other methods, but I don't know how those work
I'm not an expert on this, but there don't seem to be any reported cases of hearing loss from sounds above 30 kHz, but there are documented cases of unpleasant effects. In any case, I'd keep some distance, just to be safe.
Do you mean pool?
"Go’s Error Handling Is Perfect, Actually" [1]

https://blog.verygoodsoftwarenotvirus.ru/posts/errors-in-go/
No, but I don't carry a backpack due to back issues.

Instead I have a small messenger bag which I lug, and you'd be surprised how much a 1 lb iPad Pro 10.5" bears down on you when you are carrying it all day.
> spending _its_ money

They're spending everyone's money. How about we don't enslave people to their government and simply leave us all to spend our own money and resources how we see fit. Don't give me any nonsense about the social contract or democracy. The government has grown beyond any reasonable remit it was granted and is enriching itself or investing in failed programs.
My position is that global GDP is a compounding function on interest. So you if you take the sum total of the world's GDP you can take out (x - m). You can simplify the equation further to goods produced today and investment, which is similar to your argument.

So you have a total stock of raw resources, the current production function based on technological transformation, and computed interest in the future (which is a compound function). The resource stock is finite no matter its size (like all resources on earth), and the future expected return to transform those resources is expected to go up exponentially.

Competition doesn't matter under these circumstances. So long as investment has a compound function you run out of resources quite quickly or reach a point where whoever owns the most raw resources is the person that wins under the condition of a complicated game of musical chairs.

At 3.5 percent GDP growth rate at a compounded return you have to double the real return of goods in twenty years. Or you have inflation. In a generation the system collapses.

You have to massively redistribute wealth and flatten the gini coefficient almost immediately while assuming that GDP can no longer increase. Or you don't believe in math. There isn't a middle ground. Giving people bonds based on what they do that are nontradeable would be a start, although how you forbid resale is legally difficult. Forming investment vehicles that do what Benjamin Franklin did with the college in philedelphia might help. But the math doesn't work if you have a finite set of resources and a compound function of return. Technological transformation of raw resources into goods isn't a guaranteed exponential function.

Or we'll see more of what's come before. We can afford fancy computers but not homes because cell phones are cheap to produce and land is expensive to own.

Compound interest is a massive problem.
I'd like to see that, too.

I have a related list of GPT accomplishments here:
https://docs.google.com/spreadsheets/d/1kc262HZSMAWI6FVsh0zJ...
I find it interesting that a most of Vegan meat substitutes fall into the ultra-processed categories. It seems to be an issue across all diets.
Not everyone is doing coding interviews. Some might struggle with a particular language due to lack of muscle memory, but can dictate the logic in pseudocode and can avoid pitfalls inferred from past experience. This sort of workflow is compatible with LLMs, assuming a sufficient background (otherwise one can't recognize when the output diverges from your intent).

I personally treat the LLM as a rubber duck. Often I reject its output. In other cases, I can accept it and refactor it into something even better. The name of the game is augmentation.
> I constantly see assertions that highly processed foods are killing us and causing obesity,

"Highly palatable" foods do this. One way to create those is through "highly processed" techniques.

> but I've yet to see any credible evidence for it.

Obesity is more common in the world where highly processed foods are more common. There is evidence. There is no RCT. This has nothing to do with "credibility" it's just "non-standard analysis."
"Hallucinations" just means that occasionally the LLM is wrong.

The same is true of people, and I still find people extremely helpful.
> So many young people think their hobby can become their career and pay for a nice life style. Unfortunately, it's not the case for many majors.

We (as a society) tell kids all the time that their hobby can't be a viable career. Kids are just headstrong and don't want to listen to their parents/other adults telling them unpleasant truths.
But now you’re talking about something else aren’t you? Now you’re talking about generalising. You can generalise, for example, from Float to Floating a => a. But I don’t understand how the original Int to Maybe Int change could be sensible. How does that work?
That limitation is a big part of why I've been extending it at:

https://github.com/WillAdams/gcodepreview

I've got it making DXFs (w/ arcs) which can then be used for 2D CAM.

If you'll give me an example of a project you'd like to make I'll gladly see if I can code it up.
Thanks for reporting all this!

> I placed myself at McMurdo Station and it shows up on the map but clicking the icon throws a 500 error.

This was because there was no country code associated to it.

> Edit: seems to be fixed (by removing my icon from the map, now it throws error 500 when posting the data to re-add it).

I actually did more than removing it, I now make any "city" without a country code, an invalid one. It's a hotfix, I'll have to think about it more tbh.

> Edit 2: you can place yourself in North Korea but clicking the [M] doesn't work because the name contains non ASCII characters. Also it returns error 405 when adding yourself (despite actually saving the data).

Yeah, actually I'm dumb I reintroduced a "vulnerability" by not checking if the city in the form was the same as the city in the HN user profile. So you could move people around, basically. But their actual data was unchanged of course, as it's stored here on HN. That's why I was able to revert this.

About the ASCII characters, yes it's a problem. I'll implement it as soon as possible, when things will calm down a bit.

Can you tell me more about the 405 though? It seems strange.
Yep, and kids also smoke, vape, do drugs, gamble, assault people, play too many video games, etc.

The answers lie in educating them to make good decisions, and be there to help when good decisions happen to turn out poorly. The current dilemma is largely due to provably bad decisions (by students, banks, universities, government).

Are student loans the most pressing "bad decision" we have as a society? Definitely not. Is it a very electable topic? Yep
WTF is an AI PC? [video]
> Everyone in washington is a capitalist

in the sense that Nancy Pelosi and others are enriching themselves through insider trading, I guess
For one thing, you can require an archeological survey before starting the build, as part of the normal permitting process. And this is especially important (and easy to enforce) if the building requires excavation anyway.

But secondly, as long as the building doesn't destroy the site (say, the ruins/remains are buried deep enough), then there is no problem, and the logic still applies: it will be found some few decades or centuries later, so chances are there will be more that can be gleaned from it then.
i don't think that's what he's saying
Not the telemetry
> Machine learning is about filling in the gaps based off of a prediction.

I think this is a generous interpretation of network-based ML. ML was designed to solve problems. We had lots of data, and we knew large amounts of data could derive functions (networks) as opposed to deliberate construction of algorithms with GOFAI.

But "intelligence" with ML as it stands now is not how humans think. Humans do not need millions of examples of cats to know what a cat is. They might need two or three, and they can permanently identify them later. Moreover, they don't need to see all sorts of "representative" cats. A human could see a single instance of black cat and identify all other types of house cats as cats correctly. (And they do: just observe children).

Intelligence is the ability to come up with a solution without previous knowledge. The more intelligent an entity is, the less data it needs. As we approach more intelligent systems, they will need less data to be effective, not more.
The problem will be that once this goes from the front page (on a weekend) then the chances that people will remember the site are low. Nevertheless there will be users who will not see the submission and would be otherwise interested into trying that. I think the voice chat with HN that was submitted last year (was it last year?) showed us that mostly after a day or two you couldn't find any activity.

I don't know how to solve that unless you actually have your idea of having "meet" on HN itself.
Yes, that’s certainly true, and that’s why I selected that library in particular to try with it. The fact that it’s mathematical— so not many lines of code, but each line packs a lot of punch and requires careful thought to optimize— makes it a perfect test bed for this model in particular. For larger projects that are simpler, you’re probably better off with Claude3.5 sonnet, since it has double the context window.
Almost all new car sales in Norway last month were EVs
Fair point but a lot of python code is redundant and low quality.
Show HN: Pico-ASHA – Audio streaming to hearing aids using a RPi Pico W
The past several months, I have been developing a method of streaming audio to my hearing aids from a PC. To do this, I have programmed a Pi Pico W to act as a USB audio device which will work with any OS and be capable of playing audio on my hearing aids.

For a bit of background, modern hearing aids have different methods of directly streaming audio over bluetooth. The earliest (and most common) is Apple's Made for iPhone program. Phonak hearing aids use bluetooth classic (A2DP). Many devices support Android's Audio Streaming for Hearing Aids (ASHA). And the latest hearing aids are beginning to support the new LE Audio standard.

The goal of Pico-ASHA is to implement Android's ASHA. Android has published a specification at https://source.android.com/docs/core/connect/bluetooth/asha. The reference implementation is in the AOSP project.

Pico-ASHA presents itself as USB headset (and a CDC serial device) to the OS. Apart from the Pico W, no additional hardware is required. Pairing to hearing aids is automatic, and once paired, audio streaming Just Works (tm) - in theory! The project is implemented using the Pico C/C++ SDK, including TinyUSB for the USB audio/CDC support, and btstack for the Bluetooth LE stack.

I have now reached the stage of the project where it (mostly) works well with my own hearing aids (Oticon More 2). I would like to expand testing to other hearing aid makes and models, because I have probably made assumptions that work with my hearing aids, but not others. If anybody with suitable hearing aids who have (or can obtain) a Pico W and are willing to be an early tester, it would be much appreciated. I would hate for this to be an Oticon More only project.

The motivation for working on this is pretty simple - the adapters hearing aid manufactures provide for interfacing with computers are outrageously priced. I object to paying them hundreds of dollars for commodity hardware. Also, it's been a great challenge.

This is my first ever attempt at developing on a microcontroller, on USB device support, and bluetooth. So please forgive the state of the codebase, I was learning how to do stuff as I went along.

Finally, I would like to acknowledge the recent work occurring in the Linux space to add experimental ASHA support to BlueZ (https://github.com/bluez/bluez/pull/836) and a pipewire implementation (https://github.com/thewierdnut/asha_pipewire_sink). Both projects reignited my enthusiasm to continue work on Pico-ASHA.
Ever seen someone try and search something on Google and they are just AWFUL at it? They can never find what they're looking for and then you try and can pull it up in a single search? That's what it is like watching some people try to use LLM's. Learning how to prompt an LLM is as much a learned skill as much as learning how to phrase internet searches is a learned skill. And as much as people decried that "searching Google isn't a real skill" tech-savvy people knew better.

Same thing except now it's also many tech-savvy people joining in with the tech-unsavvy in saying that prompting isn't a real skill...but people who know better know that it is.

On average, people are awfully bad at describing exactly what it is they want. Ever speak with a client? And you have to go back and forward for a few hours to finally figure out what it is they wanted? In that scenario you're the LLM. Except the LLM won't keep asking probing questions and clarifications - it will simply give them what they originally asked for (which isn't what they want). Then they think the LLM is stupid and stop trying to ask it for things.

Utilizing an LLM to its full potential is a lot of iterative work and, at least for the time being, requires having some understanding of how it works underneath the hood (eg. would you get better results by starting a new session or asking it to forget previous, poorly worded instructions?).
Performs better on chat bot arena head to head
I think the crypto industry would go on. It's just Satoshi would rather keep his head down.
I did not know that thanks, been using Orion for a while now as my main browser and, oh wait, yes same thing. very nice. I only used firefox to test local webdev projects and still switched to librewolf which is fine. And I have a chrome browser so it can pull up the results of a local lighthouse test but that is it.
In 2001-2005, my rent was $120-$160/mo in a low cost area of the US. The places weren't fancy but they were good enough and safe.

Tuition started around 4k/yr, but had worked its way up to 8k/yr by the time I graduated (which I thought was unaffordable).
side question, are there good OR websites / platforms (reddit, mastodon) to get involved in the field ?
What happens in that case? I'm going to speculate:

1. Remote keeps sending stuff to your unplugged connection

2. You plug your ethernet cable back in

3. Your computer's TCP acknowledges the last sequence number it received for each new sequence it receives from remote

4. Remote sees duplicate ACKs for same sequence number, interprets it as packet loss and resends the stuff
One thing that changed is the FTC remembering monopolies are a bad thing and enforcing the law again
> Funny you say that, Karnataka is an outlier beating its peers in all quality of life metrics and has been run by communist for decades.

You mean Kerala, not Karnataka.

And conversely, West Bengal was ruled by the Communists since the 1970s to the early 2010s, yet it's developmental indicators have regressed to those comparable to some of the poorest states of India.

Conversely, right leaning and nativist Himachal Pradesh (if you ain't Pahadi or Pahadi-adjacent we will give you the cold shoulder, and both the state chapters of the HP INC and BJP trace their origins to the RSS and Arya Samaj) has developmental indicators that can match Kerala and other traditionally richer states in India.

At the end of the day, all that matters is administrative capacity, not ideology.

If local government is held accountable, it will work hard to deliver.
I don’t know about other people but I run Plex because it lets me run my home movie collection through multiple clients (Apple TV, browser, phones, etc). iTunes works great with content bought from Apple, but is useless when playing your own media files from other sources.

I just want every Disney movie available so my kids can watch without bothering me.