skysight-inc/HackerNews huggingface dataset:
I made an app for making bets with your friends. The app uses smart contracts on the Ethereum Base Network and all bets are made in ETH because the gas transaction fee is also paid in ETH. The winner of the bet is decided by a judge whom both sides agree on beforehand and has the final word.

Please take a look and tell me what you think! I believe this app will help facilitate what we already do in friend groups but I am looking for advice on how to get this to spread more, whether its a feature I need to focus on, demographic, or marketing strategy, I am all ears!

Love,
Ben
What is suspicious about high usage rates?
There's a big range between living in a dictatorship and having only private entities allowed to invest in things.
This hypothetical future gets brought up a lot, but would the novelty of something like that really hold up for more than one or two viewings? There's nothing stopping you from replacing the names in an eBook with the names of people you know personally, but beyond young children I can't see anyone actually being enamored by that.
What did win is the scalar/list/dict trinity which I first saw clearly articulated in Perl but is core to dynamic langauges like Python and Javascript and in the stdlib and used heavily in almost every static language except for the one that puts the C in Cthulu.
The "giant centralized verification service" can be some entity that already has your information such as your government.
Until they rug-pull the API access that countless third parties built those accessibility features around....
I am so exhausted of the AI hype nonsense. LLMs are not fucking curing cancer. Not now, not in five years, not in a hundred years. That's not what they do.

LLM/ML is fascinating tech that has a lot of legitimate applications, but it is not fucking intelligent, artificial or otherwise, and I am sick to death of people treating it like it is.
Software Developement and Fear in the Age of AI
We dont support running .ts files in node_modules, this is one of the main constraints to avoid breaking the ecosystem
It would be nice if on the page they included detailed descriptions of the proofs it came up with, more information about the capabilities of the system and insights into the training process...

If the data is synthetic and covers a limited class of problems I would imagine what it's doing mostly reduces to some basic search pattern heuristics which would be of more value to understand than just being told it can solve a few problems in three days.
Yeah, I agree with your first point, but maybe misunderstood your reply? If there's nothing "surprising" about the result, it's not interesting, so not publishable. The article's first example, however, did seem to be surprising to the researcher's community, so it should have been published.
I hope it doesn't find a new class of bug. Find another thing like Spectre could be problematic.

EDIT - I hope if that new class of bug exists that it is found. I hope that new class of bug doesn't exist.
It is somewhat magical to me that these processes can be as selective as they are. Coffee beans must have hundreds if not thousands of organic compounds in them, and somehow something as simple as co2 (or the other solvents) picks up mainly caffeine. Somehow that is very counterintuitive to me.
You are attacking a straw man and the point made is pretty good.

Competition problems are designed to be actually solvable by contestants. In particular, the problems should be solvable using a reasonable collection of techniques and many "prep courses" will teach you many techniques, tools and algorithms and a good starting point is to throw that stuff at any given problem. So just like chess openings putting in lots of leg work will give you some good results for that part. You might very well lose in mid and late game, just like this AI might struggle with "actual problems"

It is of course still very impressive, but that is an important point.
I've seen memoization improve performance by enormous amounts. Even for simple functions that do a few simple calculations before returning a result.

Another go-to of mine is to take conditionals out of loops that really only need to be checked once. For example:

for foo in whatever:
for bar in foo:
if len(foo) > some_value:
do_something(bar)

Can become:

for foo in whatever:
if len(foo) > some_value:
for bar in foo:
do_something(bar)

This example is trivial and wouldn't gain much but imagine if `len(foo)` was a more computationally expensive function. You'd only need to call it on each iteration of foo instead of every iteration of foo * bar.
I would expect that in their data which they train AlphaProof on they have some concept of a "vague problem" whoch could just look like

{Formal description of the set in question} = ?

And then Alphaproof has to find candidate descriptions of this set and prove a theorem that they are equal to the above.

I doubt they would claim to solve the problem if they provided half of the answer.
Searched for "dupe" and yes, it correctly pointed out the one user that takes it a hobby:

https://hn2.wilsonl.in/search/dupe
Title should be the same as the article "Population falls again, but foreign residents hit 3.3 million"
Japan’s population shrank by 0.7 percent in 2023, although the net loss of 861,237 included a record high inflow of 329,535 foreign nationals.

The non-Japanese segment of the population hit its highest level yet, but the birthrate continued to slow and areas such as the northeastern prefectures of Tohoku suffered heavy losses. Only Tokyo eked out an increase in population.

As of Jan. 1, 2024, the total population was 121,561,801, according to data released by the internal affairs ministry on July 24. The figures are taken from the government’s basic resident register.

The annual shrinkage was the greatest fall since the survey began in 1968.

The population shrank in the three major metropolitan areas--Tokyo, Kansai and Nagoya--although the city of Tokyo saw an increase for the first time in three years, driven by people moving to the capital from elsewhere in Japan.

Meanwhile, the population of foreign nationals living in Japan increased by 329,535 to 3,323,374. The figure exceeded 3 million for the first time since such data became available in 2013.

Of course, Japan had an entire generation in the 90s that never got a good job and they would be in their peak years now and should be having children, but can't, so they aren't and the nation wonders why? The USA will experience the same thing because the problems of 2007 never got fixed.
I assumed Belson = Benioff + Ellison
Still on his presidential campaign, I assume. I thought he was dropped by everyone already
The projects in question include things like a 48 port gigabit Ethernet switch with packet datapath in the FPGA, and dual 10/25G SFP28 uplinks. You're not doing that on a MCU. Also higher end oscilloscope work (e.g. 10 Gsps 12-bit JESD204B)

But a STM32 is more than sufficient for the management interface on both.
I want to use Apple Maps. In a few areas I find they beat google. Airport Maps, Transit.

But Google has deep integrations with a lot of things that just make it nice to use. For example, Apple Maps has bike directions. Google maps has bike directions that integration directly with the local bikeshare. So you can an ETA that includes walking time to/from the bikeshare stations for picking up and dropping off bikes.

Right now Google Maps is at the "It just works" phase and Apple is not there, though they are improving quite a bit.
Raw Milk Is Booming. A Salmonella Outbreak Highlights Its Risks
Keeping students in school, instead of failing them
its not clear if theorem is actual input formal definition, or formal definition was in different form.
I think there are two factors at work here:

1. California was ground zero for some of the more supposedly 'enlightened' approaches to the homelessness problem with both substantial, sustained funding and strong local political support for non-enforcement. After nearly a decade of such experiments, the evidence they've made the situation dramatically worse is obvious and undeniable, even to those who were open-minded and supportive of trying these approaches.

2. Newsom clearly has national political ambitions as the next step in his career and much of what he does lately is in service of optics in that direction.
Chrono: Scalable Consistent Caching
To be clear for folks this is "fine-tuning" ;) DreamBooth from 2022: https://dreambooth.github.io.

Might want to update the HN title to reflect the paper title. It's really just applying multiple techniques that have existed. Paper's title is "Imagine yourself: Tuning-Free Personalized Image." Nice paper though!
oh wow thanks for the insight, the "free reinforcement learning" aspect clearly means we should neither downvote nor upvote, right?

The commenting pattern of this nklhlk puppet user clearly show what kind of prompting was used.

Scary attack on the HN platform.
Come up with many possible answers, formalize them all, and then try to prove or disprove each of them.
What Does a Technical Writer Do?
The idea that someone in a partition can get around it by clever routing tricks indicates the author has some “new” definition of partition.

Partition isn’t one ethernet cable going bad. It’s all the ethernet cables going bad. Redundant network providers for your data center to handle the idiot with the backhoe isn’t surviving partition it’s preventing it in the first place.
Kaspersky says US snubbed proposal to open up its code for third-party review
yes but can also be upgraded separately as npm package
>or becoming a the kind of person who uses search engines when they have questions

Just FYI, please become familiar with this site's guidelines before posting [1]; try to make @dang's work a bit easier.

>An example of a language or of a program?

A small code snippet would suffice, any language of your choice that gets the point across more meaningfully. Something like:

function() {
// code that shows feature
}

"... and this is the functionality that you're missing on Javascript".

1: https://news.ycombinator.com/newsguidelines.html
Is There a Homeless Crisis?
Better Living Through Group Chemistry
You're addressing a lot more than I even attempted to address.

I was really just pointing out that devices like this:

https://www.hmd.com/en_us/nokia-2780-flip?sku=16WNDL11A01

and services like e.g. SMS text reminders from Internet services do no run on Android. The green is not a signifier of Android, just of non-encrypted. Or non-Apple, if you want to be less precise. (Apple devices where encryption is disabled also appear as green.)
The original title was

The Development of the C Language
or,
Five Little Languages and How They Grew
Hi Pavel. Thanks for your comment and for sharing your perspective! We indeed believe both IP Fabric and ForwardNetworks follow promising approaches. A key difference is that we are focusing on a broader range of data sources (including NetFlow, SNMP, BGP, etc) and therefore can also support a live view of a given network.

Regarding the variety, we agree that network data sources suffer from a lot of subtle variety, which can be really frustrating especially because this variety makes it hard to access very valuable information. This is our main motivation to integrate LLMs, as a powerful tool that can naturally handle subtle variety.

Regarding the name, it was not our intention to copy or imitate. We chose "NetFabric" because we felt it accurately represented our vision of creating a seamless, integrated network monitoring solution that weaves together diverse network data sources.
The point isn't IMO rules.

It's that we are living in a period of time where there are very real consequences of nearly a century of unchecked CO2 due to human industry.

And AI (like crypto before it) requires considerable energy consumption. Because of which, I believe we (people who believe in AI) need to hold companies accountable by very transparently disclosing those energy costs.
https://www.niaid.nih.gov/diseases-conditions/treatment-prev...

https://www.hiv.gov/blog/science-validates-undetectable-untr...
I don't know if this makes a difference, but my understanding is that most additive/non-natural (for lack of better terms) caffeine comes from caffeine extracted to make decaf.
> Only authorized images will boo

How do you do this on modern commodity hardware without secure boot?

Or do you assume something in the category of embedded systems that allow to blow some efuses to get similar trusted boot?
What observation, if you saw it, do you think would falsify that hypothesis?
Southwest Airlines Launches Enhancements to Transform Customer Experience
I, too, was 13 some 27 years ago. Coincidentally so were many of my friends!

Happy 4th decade!
The person said typical not always the case. Just because there are obviously cases where it didn't happen does mean it it's still not typically the case.
That's a good example, albeit quite of a far-fetched one.

In Haskell land, where the type system is considered sound you have `head` functions of type `List a -> a` that are unsound too, because the list might be empty.
Shelters have reduced privacy than your own tent, don’t allow drugs or alcohol. I’m unsure about how ‘relations’ work for unmarried people.

It’s not like they get their own little studio apartment, and even then most would forbid illicit drugs.

Given that many homeless are also dealing with addiction, there may be sufficient shelter space yet still they choose the freedom of a tent or street life.

That all said, I would be surprised if there is enough capacity, but that is a solvable problem, probably not cheap.
Not a typo, just an amusing ambiguity: the course was 191. It would have been around the same time as your friend.
I'm guessing, but I'm pretty sure that "admired" is derived from folks who used a language and who want to keep using it.
Cyberdore 2064 – RPi0 based cyberdeck to handle netrunning tasks on the couch
Did they take down the subdomian?
There's an element of kayfabe to a lot of MrBeast's videos. Harmless kayfabe that most rational adults can see through and not care about (selective post editing to increase tension, etc). This somehow makes MrBeast a bad man.

He also seems to think that MrBeast should be 100% altruistic and that using his videos to promote products to children is bad.
> Can we please move on?

Doubtful. If there's one thing that new developers have always insisted upon doing it's telling the networking and data store engineers that their foundational limitations are wrong. It seems that everyone has to learn that computers aren't magic through misunderstanding and experience.
I'm seriously jealous of the people getting paid to work on this. Sounds great fun and must be incredibly satisfying to move the state of the art forward like that.
> The point of this post isn’t merely to be the ten billionth blog post on the CAP theorem. It’s to issue a challenge. A request. Please, if you’re an experienced distributed systems person who’s teaching some new folks about trade-offs in your space, don’t start with CAP.

Yeah… no. Just because the cloud offers primitives that allow you to skip many of the challenges that the CAP theorem outlines, doesn’t mean it’s not a critical step to learning about and building novel distributed systems.

I think the author is confusing systems practitioners with distributed systems researchers.

I agree in some part, the former rarely needs to think about CAP for the majority of B2B cloud SaaS. For the latter, it seems entirely incorrect to skip CAP theorem fundamentals in one’s education.

tl;dr — just because Kubernetes (et al.) make building distributed systems easier, it doesn’t mean you should avoid the CAP theorem in teaching or disregard it altogether.
Wisdom. I regret having only one upvote. Technology should be to serve, not enslave.
Thanks for your recommendation and sorry for not fully understanding the rules. I tried to fix this but did not see how to edit my submission.
It's not a TypeScript mistake.

You could argue that it was a C++ mistake. It makes parsing harder, but otherwise seems to work as expected, so I don't consider it a mistake, but you could at least argue that way.

But regardless if it was a mistake in C++, it's now a complete standard, used in C++, Java, C#, and other languages to denote type parameters.

I would argue that it would have been a mistake to break that standard. What would you have used, and in what way would that have been enough better to compensate for the increased difficulty in understanding TypeScript generics for users of almost every other popular language?
Southwest is adopting assigned seating (was first come first serve?)

> The research is clear and indicates that 80% of Southwest Customers, and 86% of potential Customers, prefer an assigned seat. When a Customer elects to stop flying with Southwest and chooses a competitor, open seating is cited as the number one reason for the change. By moving to an assigned seating model, Southwest expects to broaden its appeal and attract more flying from its current and future Customers.
This is a fun result for AI, but a very disingenuous way to market it.

IMO contestants aren't allowed to bring in paper tables, much less a whole theorem prover. They're given two 4.5 hour sessions (9 hours total) to solve all the problems with nothing but pencils, rulers, and compasses [0].

This model, meanwhile, was wired up to a theorem proover and took three solid days to solve the problems. The article is extremely light on details, but I'm assuming that most of that time was guess-and-check: feed the theorem prover a possible answer, get feedback, adjust accordingly.

If the IMO contestants were given a theorem prover and three days (even counting breaks for sleeping and eating!), how would AlphaProof have ranked?

Don't get me wrong, this is a fun project and an exciting result, but their comparison to silver medalists at the IMO is just feeding into the excessive hype around AI, not accurately representing its current state relative to humanity.

[0] 5.1 and 5.4 in the regulations: https://www.imo-official.org/documents/RegulationsIMO.pdf
Yes. The question is where you do the conversion and how much of a conversion to do. This allows a key conversion (type stripping) directly at load time by Node rather than needing an extra step (an external type stripper such as Typescript or esbuild) sometime before passing the file to node for loading.
Not my cup of tea personally, but I recommend watching his interview with Lex Fridman for some behind the scenes insight. He comes across as incredible smart and knows exactly what he's doing. Also not afraid to re-invest millions of dollars into producing these videos. Obviously it's very much a for-profit endeavour. Not sure, don't think he's fooling anyone and his accomplishments deserve at least some respect I think.
"Total number of places across all Guides: 300"

These limits wouldn't be an issue if Google Maps API actually allowed fetching saved list features.
If they are fake why were they so quick to ban the leakers? They would let Community Notes do their job, something tells me they panicked.

Regardless, there definitely exists a hidden whitelisting to "protected users" spread their hatred, otherwise accounts like this that explicitly use slurs (https://twitter.com/NsPostingFs) would be banned long ago.
I get your point, but I also still think you are wrong. there is no one measure for 'strength'.

humans can throw a punch much harder than a chimp even though a chimp's arm is stronger. humans can kick harder, etc, even though a chimp would usually tear a person up in a 'fight'.

humans can throw a ball faster and harder than any other primate, likewise we can swing a stick harder and with more precision.

some people will play down human skills saying, 'thats because they are trained and specialized, the average human cant do that'.

THATS LITERALLY OUR SPECIAL ABILITY. Humans are adaptable both physically and mentally to do virtually any task. adaptability means we aren't inherently good at any one of those tasks without training and practice. Its a feature, not a bug.
I wouldn't even really call that loop example an "optimization", it is just the obviously more efficient implementation.
> they instead invest in a traditional company because then they can extract as much as possible from their investments

Sure. And workers extract as much as possible from their employers. And customers go for the lowest price possible, and sell their stuff for the highest price possible.

That's how people are.

In the 50s, my dad was in Italy watching the news on TV. A man had just won the lottery. The reporter asked him what he was gonna do with the money. Before he could reply, another man stepped in front of him, saying "he's a loyal member of the Communist Party, and he's going to give it to the Party!" The winner pushed him aside, announcing "Oh no, I'm not a Communist anymore!"
thankfully your great grandparents had better morals than you do
While connecting say two systems of 99% reliability will be better than say connecting two systems of 50% reliability I don't think that's the real issue.

I find the real issue is that there is no error propagation nor audit trail. Somebodys system notices a problem and does like `throw new IllegalStateException("Invalid Arg")` and good luck figuring out what happened. A lot of system/code aren't designed to be tested easily and they just accumulate bugs because nobody can fix them.
Twice I’ve had to take an Ethernet cable from an IT lead and throw it away. “It’s still good!” No it fucking isn’t. One of them compromised by pulling it out of the trash and cutting the ends off.

When there’s maintenance going on in the server room and a machine they promised not to touch starts having intermittent networking problems, it’s probably a shitty cable getting jostled. There is an entire generation of devs now that have had physical hardware abstracted away and aren’t learning the lessons.

Though my favorite stories are the cubicle neighbor who taps their foot leading to packet loss.
Homesteading Later in Life
I think that's a thing? It's been a while since I've looked. Even if not, multi-AZ replication with failover is a standard setup and it has the same issues. Suppose you have some frontend servers and an RDS primary instance in us-west-2a and other frontend servers and an RDS replica in us-west-2b. The link between AZs goes down. For simplicity, pretend a failover doesn't happen. (It wouldn't matter if it did. All that would change here is the names of the AZs.)

Do you accept writes in us-west-2a knowing the ones in 2b can't see them? Do you serve reads in 2b knowing they might be showing old information? Or do you shut down 2b altogether and limp along at half capacity in only 2a? What if the problem is that 2a becomes inaccessible to the Internet so that you can no longer use a load balancer to route requests to it? What if the writes in 2a hadn't fully replicated to 2b before the partition?

You can probably answer those for any given business scenario, but the point is that you have to decide them and you can't outsource it to RDS. Some use cases prioritize availability above all else, using eventual consistency to work out the details once connectivity's restored. Others demand consistency above all else, and would rather be down than risk giving out wrong answers. No cloud host can decide what's write for you. The CAP theorem is extremely freaking relevant to anyone using more than one AZ or one region.

(I know you weren't claiming otherwise, just taking a chance to say why cross-AZ still has the same issues as cross-region, as I have heard well meaning people say they were somehow different. AWS does a great job of keeping things running well to the point that it's news when they don't. Things still happen though. Same for Azure, GCP, and any other cloud offering. However flawless their design and execution, if a volcano erupts in the wrong place, there's gonna be a partition.)