skysight-inc/HackerNews huggingface dataset:
Compared to what IronCalc made in RUST is talking about, ZetaOffice is very miserable.

https://news.ycombinator.com/item?id=42095292

I think people involved in LibreOffice should realize that LibreOffice is outdated.
I think you're right about obscurity preventing a lot of low-grade issues.

There's an interesting building right in downtown Minneapolis that takes up an entire block that I'd passed several times a week for years without even noticing it—it's the operations center for Wells Fargo (and actually it just recently has been sold).

Zero signage and very nondescript, but when I found out what it was some of the physical security around it started to become super obvious. Big bollard "planters" and protection from large vehicles, a lot of cameras, no real obvious lobby.

This is the building, it's fascinating to check out the street view all the way around the block: https://maps.app.goo.gl/UYKnA2Bs9gMQsSwo9
> The problem seems to be most of these cases are argued in front of bench trials and not jury trials.

That's a feature of all arbitration dictatorgreements I've seen.
If it were an option you could contextually disable it via Apple Pencil it would be cool.
Oh dear, your connecting flight has been cancelled, so now you die.
Rabies vaccine is about 10 USD in Thailand.

Source: https://www.thaitravelclinic.com/cost.html

I have first hand experience at this clinic. It is part of an excellent medical school in Bangkok.
Accepting the eventual collapse of any given civilization is one thing, that’s kind of a “death or taxes” thing… accepting the imminent collapse of a dominant civilization is another, especially when it’s something a minority of the population (but a majority of the actual voters) in that civilization seem to “democratically” want.
Timely and Important article.

In this day and age where you have limitless distractions/entertainment we often ignore our "less sexy" biological needs to the detriment of our mind and body. We need to treat Sleep/Nap/Rest as a "job" and not as something extraneous.

Instead of the current practice of arranging our biological needs around our work we should revert back to pre-industrial era practices where our work was arranged around our biological needs and nature's rhythms. A good way to start is to eat only when feeling hungry, nap/sleep when feeling tired/sleepy and in general listen to the body/mind needs irrespective of context.
I read your other comment. It seems you went through a difficult situation. I'm genuinely sorry that happened to you.

I hard disagree on treatment for BPD. It's known to be treatable, but treatment options are different than other mental illnesses.

And please don't share that link. It is just doing more harm to people with BPD. I know because I witnessed first hand how hurt and hopeless my SO was on finding that subreddit. In the midst of trying to diagnose themself on the path to finding a working treatment, the found that subreddit (or a similar one) that told them they are monsters. I don't think its a helpful message to go out to the world.

I understand it if people go on there to find support after a bad situation like yours happened to them. I don't blame you or anyone. But I implore you to find some compassion, not for the person you were with, but for those who you've never met, who haven't done anything wrong, and who still have the chance to have a good life.

There is variety in people's conditions and personalities. I don't think it is fair to judge everyone just by their label.

2 more small things:

1. I couldn't care less if my SO found someone else local. In fact I hope they do, so the emotional burden can be spread out over more people.

2. The person you are asking to read "real life accounts" is married to someone with BPD, they are not just an academic. They know their stuff.
I've read about the Russian Revolution and changed my mind. Anarchy was exploited by the Bolshevics to gain power then pourge all of their opponents.
I want to see more threads like this one – people using Math Notes for all kinds of needs. :)
I keep computer use simple, in service to my two top hobbies.

For photography, Preview.app does nearly all my everyday chores. I use GIMP for anything more complex. I get such great results from Nikon jpegs that I haven't needed to do raw processing yet.

GIMP lets me adjust light along a curve, something that the old xv program did. It's really useful.

For music, I use ForScore. After countless years, I still haven't figured out all the gestures and such, but it does the job and almost all my music is either off copyright or scanned from my printed copies. The space and weight saving is enormous.

Others that have made minor improvements include a couple of image resizers (they change names), Clearview for epubs (Why Apple doesn't handle these natively and sends them all to the cloud/ibooks [1] astounds me.) Calibre helps with book conversion. And I rarely use others by comparison, besides the usual builtins.

[1] Anything "in the cloud" belongs to someone else. Disks are basically free. A Shugart 8" floppy cost $350 in 1984.
Hey just having fun. Transatlantic banter and fun facts.

I had to look it up to check: my mental model was that a foot is some king's foot but there is more of a storied history.
Hyperfiddle and Quadratic implement some of the items on your wishlist (richer data types, modern programming languages, working with arrays, better connectivity to data tools).
https://www.softwarepreservation.org/projects/ALGOL/book/pam...

The operator ENTIER (French for “whole”) takes a REAL operand and likewise
yields an INT result, but the yield is the largest integer equal to or less than the operand. Thus ENTIER 2.2 yields 2, ENTIER -2.2 yields -3
Ya, your rate was 10% but your house only cost $100k, at a salary of 40-50k that easily worked out. Now, we are in a lose-lose situation: rate goes up, mortgages are more expensive, but if rates go down, house prices explode so mortgages are still more expensive. Anything less than a surplus of housing is not going to lower or stabilize home prices.
Do you think part of their resistance to the vaccine is that HPV is a sexually transmitted disease? The parent probably wants to believe that their daughter can avoid STIs ... because magically thinking.
I probably do git status; git diff; git commit; 20+ times a day sometimes. Leaving the terminal in the middle for the diff is unfathomable to me.
> before vaccines became unquestionable cult drugs

I don't understand your English. Can you explain it a different way?
Why this comparison instead of USSR and Afghanistan?
I'm not sure I see the total difference between matching parens and matching defs and refs.

Sure, saying "an open paren must have a matching close" is quantitatively different from "a def must have at least one matching ref", but is it really qualitatively different?
Except LLM capabilities have already peaked. Scaling has rapidly diminishing returns.
The article didn't say the picture was from the 60's. But that would answer my question. I thought it would be quite a treasure trove for collectors!
German museum worker fired after hanging his own art in gallery
Two things I remember.

Once went to visit a Raytheon technical support guy in his office. He made a point that it was 'hard to find' and there 'were no signs'. And he was right. Drive to a building. Park. List of business but not Raytheon. Go through a door that looks like it should be locked. Down a hall to the end. Open a door that looks like a utility closet and there is their office.

Company Policy.

Old office in SF two floors were a banking operation. They weren't on the signage. And you'd get in the elevator with people that worked on those floors and they would stand silently despite obviously knowing each other. Double set of doors on those two floors.
“ scanning this much memory space with just an ASCII string and banning off of that is extremely prone to false positives “

I went in wanting to hate the hacker who did this, but the anti cheat system sounds beyond stupid.
Yes, IronCalc is first a spreadsheet engine. Meaning it is a library you can consume from Rust or Python without any UI.
Migration from Outlook Classic to New Outlook starts for business beginning 2025
Does it use jpegli?
As an author of free online books and POD books, I wholeheartedly second everything in this post.
> The Apollo Program was the same; today anyone with the documentation, a small dish antenna, a software radio, and some nerd dedication, would be able to hack Apollo midflight via its radio link. It was the equivalent of a root prompt with no password on an exposed port.

Is this right? In a recent curiosmarc video I got the impression the astronauts on board had to enable remote commands. This was frequently done but they did have a cutoff.
I replied to a comment recommending Twitter be a subsidiary of X.
Not only that, how would the proposed alternative make any sense for Uber? They spend a lot of money to undercut the taxi companies, only to abandon the market as soon as they have no competition?

The predatory practice would be to raise prices at that point, not to abandon the market, but they can't even do that very much because then they'd be undercut by Lyft or the taxi companies actually would come back.
I replied to a comment suggesting X be a parent company to Twitter.
Are you not? Relatively fresh account that's obviously not "real" (a throwaway), and also discussing Russia in a positive light pretty frequently of all the topics on this site.
Can’t remember anymore, but it’s either (a) the gp2 volumes were way too slow for the ops or (b) the IOPs charges made it bad. To be clear I didn’t do it on duckdb but hosted a Postgres. I moved to light sail instead and was happy with it (you don’t get attached SSD in ec2 until you go to instances that are super large).
Great to see more work in automatic git conflict resolution! I'll definitely give this a try. My own attempt at such a tool involved character based diffing and patching. It is able to solve most trivial conflicts that git cannot: https://fdietze.github.io/blend/

I never found the time to make a cli out of this.
Reading about this is fascinating —

Over here they claim HPV is the leading cause of throat cancer (not smoking) - https://www.cdc.gov/cancer/hpv/basic-information.html

Over here is the leading cause of cervical cancers world wide - https://www.cancer.gov/types/cervical/causes-risk-prevention

Then over here:

> Cervical cancer incidence rates decreased by more than half from the mid-1970s to the mid-2000s … in women ages 30-44, rates have increased 1.7% each year from 2012 to 2019.

> Cervical cancer was once one of the most common causes of cancer death for American women. The cervical cancer death rate has dropped by more than half since the mid-1970s

https://www.cancer.org/cancer/types/cervical-cancer/about/ke...

A vaccine for HPV became available in 2006 — https://en.m.wikipedia.org/wiki/HPV_vaccine

So it seems cancer has increased since the introduction of the vaccine. Prior to that it was decreasing.

Further, after reading about HPV generally, there’s no symptoms typically and most forms are not the cancer causing kind. Only certain HPV strains combined with a long term infection (if they estimate 20 years) cause cancer.

IMO there’s a lot of correlation with frankly minimal and confusing causation. Combined with evidence the vaccines aren’t effective at changing the cancer rates at all, seems like a money grab by big pharma to me. “Get vaccinated to avoid this cancer you’re highly unlikely to get and won’t know if you do for 20 years” seems like a stretch…
My story about it is that in Roman times, someone deeply revered or loved a person whose head or skull they possessed, perhaps of a family member, a mentor, or a romantic partner. The individual sought to restore dignity and completeness to the deceased. They turned to a collector of old bones, perhaps an anatomist, who helped them reconstruct a body and bury it, along with the head. This was a personal, unique act of grief or honor, since a whole, intact body was not necessary in Roman funeral rites.
If congress passed a law saying arbitration was illegal the court would have to abide by it. The court has only gotten more power because of a dysfunctional and gridlocked congress.
It sounds like this might be a bit like off-label medicine though. It would need to start with a doctor. Maybe any plan needs an independent sign off from another doctor who is qualified enough.
The bar needs to be broken out into separate tests that credential different aspects of practicing law. There's no reason a criminal attorney needs expertise on securities law unless they practice in that field.
Google sheets. Having a lightweight place to think is pretty cool. Useful for planning and keeping track of all sorts of things.
I think 'without parallel' is an exaggeration.

The Kennet Long Barrow is similar age, shape and construction:

https://en.wikipedia.org/wiki/West_Kennet_Long_Barrow

Similar barrows exist across southern England, and in the wider Atlantic coast region, from Spain to Brittany and Ireland:

https://en.wikipedia.org/wiki/Cotswold-Severn_Group

The only unusual about King Arthur's Hall is the apparent absence of burial chambers.
QR Code Doorbell: Free Doorbell Alternative, Turn Your Phone into Smart Doorbell
If an AI achieved 100% in this benchmark it would indicate super-intelligence in the field of mathematics. But depending on what else it could do it may fall short on general intelligence across all domains.
There might be some tricks from Row Zero that you can borrow

https://news.ycombinator.com/item?id=39551064

https://news.ycombinator.com/item?id=41512270
What method do you use to send articles like this to your kindle?
Thickness (Graph Theory)
The state and federal law don't have to differ at all. The Supreme Court ruled in 2019 that the laws can be 100% the same and you still can get charged by both the state and the government. They ruled that the spirit of double jeopardy only applies within the same government entity.

Some states forbid filing charges if the federal government already did.
as i understand it, it is trivial to make it look like traffic came from an ip by spoofing the reply address. It is much harder to capture return traffic over the internet. (you have to either compromise every router between you and them, or announce new bgp routes)

in this case, as the value is in the reply data it’s not really feasible (unless you are a three letter agency)
Convince the present oriented that the future oriented are past oriented?
It's so fun how different people work.

I can't fathom git diff in the terminal providing me value... ever? It's such a crappy and limited tool. My brain never learned to parse the +/- lines. I want a side-by-side view.

Which the linked tool does side-by-side. But I don't really run a diff unless it's for something non-trivial. In which case terminal still kinda sucks.

I don't see popping into a GUI as a loss. It's fast and snappy. No loss.

There's a class of programmers that seemingly live almost their entire life in the terminal. I've never been part of that class. My career has always been spent in a an IDE like Visual Studio, VSCode, or these days 10x. And that's assuming I'm not in something like Unity or Unreal. The terminal is something I regularly alt-tab to. It's never somewhere I stay.
What I remember from college is that the instructors who wrote their own books had terrible books.

They used their own books because it was theirs, not because it was good.

Most people do not write well, but the people who can become a standard textbook do. The vast majority of people write worse than this. Usually much worse.
Personally I am more excited about HPV caused cancers in my throat, anus and penis, because the only cervix I had contact with was my mothers.

I do not understand this focus on women. Just tell the whole story, that your dick can fall off and every straight frat bro will get vaccinated tomorrow.
Yes 2020.

Does <<the galois theory of algorithms>> throw any light on vNuC? (von Neumann universal constructors, aka(?) the orthographically suggestive “geon”)

P4:
>…we have to construct a Hamiltonian whose ground-state energy is dependent on the outcome of a (quantum) computation. This is possible thanks to Feynman and Kitaev’s history state construction used ubiquitously throughout quantum complexity proofs

[Escape hatches of substance, steadfast in starstorms, abstracting into infinity…]
In it's current form, how would I integrate the engine and UI in an existing software with, say Java backend and React front-end?

I couldn't find docs on how to use it in languages other than rust. Perhaps via IPC?
Why do people still insist that this is unlikely? Like assuming that the company that payed 15M for chat.com does not have some spare change to pay some graduate students/postdocs to solve some math problems. The publicity of solving such benchmark would definitely raise the valuation so it would 100% be worth it for them...
A pity that iOS doesn't support UnifiedPush and probably won't in the foreseeable future[1].

[1] https://unifiedpush.org/users/faq/#will-unifiedpush-ever-wor...
It's an air gapped system effectively
I consider this idiotic policy close to a public health scandal because:

- There are 200+ HPV strains, the vaccine is directed against the worst 9 but even provides cross protection to some more. You might have some of the magnificent 9, but not all.

- HPV strains can be overcome by the immune system and leave your body. You might get the vaccine while you currently have none of them.

- There is tentative evidence that the vaccine has curative effects.
Ask the Brits or Japanese, complex systems don't unravel instantly, takes its own sweet time - https://en.wikipedia.org/wiki/Managed_decline
Launching Framonial – A Testimonial Management SaaS Tailored for Framer Users
Launching Framonial — A Testimonial Management SaaS Tailored for Framer Users

Hi HN! I’m excited to introduce Framonial, a lightweight, tag-based testimonial management platform designed specifically for Framer users. As someone working in the Framer ecosystem, I found a gap in tools to easily manage, filter, and display customer feedback. Framonial is my solution: a micro-SaaS focused on simplifying the process of collecting, organizing, and showcasing testimonials.

Key Features:

Customizable Testimonial Forms: With Framonial, users can create forms tailored to their audience and even collect video testimonials. The forms come with easy integrations, letting users collect feedback right where they need it.

Tag-Based Organization: No more juggling different projects for different feedback. Tags allow users to categorize testimonials in a streamlined way, making it easy to filter and display relevant feedback.

User-Specific Dashboard: Each user has their own dashboard where they can manage projects, review analytics, and set limits based on tier (free or pro).

Easy Embeds for Framer: With seamless Framer integration, testimonials can be quickly embedded into Framer projects without hassle, keeping your brand’s visual style intact.

Flexible Access Tiers: Free users can collect up to 50 testimonials, while pro users get unlimited access, helping scale the platform according to need.

Why Framer Users? I’ve decided to focus on Framer because of its unique needs and growing user base. Rather than building an overly complex, catch-all solution, I wanted to create a tool that feels natural and purpose-built for Framer users. Plus, I plan to expand Framonial with future features and potentially make it available for other platforms based on feedback.

Challenges & Future Plans Building this solo has been a journey, from creating user-specific components to integrating Supabase for backend management. While the platform is fully functional, I’m still refining areas like the onboarding process and exploring how to include CSV/social media import options.

I’d love any feedback from HN on Framonial! If you have ideas, suggestions, or are interested in testing it out, drop a comment. This project is a blend of passion and necessity, and I’m eager to see if Framonial can be a valuable tool for Framer creators and beyond.

Thanks for reading!
I have yet to see any published evidence of that.
No, I did not, and agree it would be an interesting experiment. Daylight Co still claims the absence of blue light, which cannot be achieved in an IPad from what I understand even with a filter.
Yes, all warts are caused by HPV no matter where they appear
Scans help solve a 3,000-year-old mystery of a high-status Egyptian woman
Why did they keep the dot in Struct initialisation? Why not the syntax of just using without dot:
const c1 = Config{
port = 8000,
host = "127.0.0.1",
};
Is there some other use with dotless one?
It will be HN user who dont block the analytics. That is with no DNS or uBlock solution.

I would imagine both solution being much more popular on Desktop / Laptop. Hence 75% of all views counted are actually from Smartphones.
Dev tools:

Familiarity and muscle memory for the layout of the chrome dev tools is what keeps me using Chrome during the day.

That and Chrome profiles!

I do happily switch to another browser for actual web browsing things.
Previously (16 points, 22 days ago) https://news.ycombinator.com/item?id=41884029

Discussion on the same (24 points, 22 days ago, 15 comments) https://news.ycombinator.com/item?id=41883419
Not to mention that math proofs are more than graph trasversals... (Although maybe simple math problems are not) There is the problem of extracting the semantics of math formalisms. This is easier in day to day language, I don't know to what extent LLMs can also extract the semantics and relations of different mathematical abstractions.
Yeah, that's good advice. I will add it to the doc. Thanks!
I think either you are not reading my post or I'm not explaining myself well.

What Ive been trying to do is make the argument why an exponential-like distribution is a more natural representation of intelligence and therefore what the "underlying distribution" looks like.

Clearly, a delta function against a shelf game is not a natural or useful representation of height so I think that counterpoint to your argument is obvious.

According to you, what is the underlying distribution of intelligence and why?
Yeah, like IronPython.
There are two ways to get rid of child labor.

One is to ban it. This has some obvious drawbacks in weak economies, e.g. if the kid's choices are to work or to starve and then you ban them from working, they starve. It also interferes with kids being entrepreneurial. What's wrong with a kid mowing some lawns after school for spending money?

The other option is to create an economy strong enough that parents have no need to put their children to work instead of sending them to school, and then they don't.

What developed countries often do is to do the second one, then the first one, because that has some evolutionary fitness in politics. The more severe drawback of the first method is mitigated when the second one is in place, because then you're banning something people mostly wouldn't be doing anyway. Meanwhile politicians then get to claim credit for "solving the problem" by passing the ban, after it was already solved by something else.

These alternatives generalize to most types of labor restrictions (e.g. minimum wage). The reason only ~1% of people make minimum wage is that minimum wage is dumb so the rate is set low enough to minimize the damage done by the law, while still giving politicians something to claim credit for passing. What you actually want to do is the following: Use transfer payments (e.g. EITC/UBI) to help people making low wages, foster a stronger economy where people get paid more (e.g. make it easier to start a business), and lower the cost of living by preventing market consolidation and regulatory capture (e.g. enforce antitrust and don't allow restrictive zoning to constrain the housing supply).

Then you don't have to ban people from accepting less than a given amount of money because they would be under no pressure to do that to begin with.