skysight-inc/HackerNews huggingface dataset:
Unfortunately there are slightly different but related notions of what spinors are. One key idea is indeed how they transform. A spinor ψ transforms with a transformation S ∈ Spin(n) in a one-sided way: ψ -> Sψ. A vector v in contrast transforms in a sandwich way (with the inverse on one side): SvS^-1. Intuitively this explains why spinors transform "half as much" as vectors, e.g. the 720° vs 360° rotational symmetry that shows up in physics. So for any S ∈ Spin(n) the sandwich-action (S|S^-1) gives you the corresponding element of SO(n). Because a negative sign on S squares away in that case, S and -S map to the same SO(n) action, and therefore Spin(n) is said to be the double-cover of SO(n) (personally I think it would be better terminology to call SO(n) the half-cover of Spin(n)).

So a spinor could be said to be anything whose symmetries are a Spin group. Spin groups are easily constructed in clifford algebras and it turns out that they have matrix representations. Whenever you have matrices (linear maps) you may wonder what the vector space is that they act on (i'm now using the term "vector" abstractly, not in contrast to spinors as above). Well, those are the spinors (technically pinors)! Another definition of spinors is that they live in a minimal left ideal of a clifford algebra. This does not sound very intuitive at first, but it can be understood easily as simply taking the matrices with only one non-zero column. These are really not very different from colunm vectors then.
There seems to be some confusion about pinors and spinors in that perspective though...it just seems to be a somewhat confusing concept in general.

The spinors/vectors relevant to the article are those of Spin(8), which has something to do with triality (still need to understand all of this better myself). The basic idea is that in Cl(8) the vectors and spinors are both 8-dimensional and the algebra can be generated by left-multiplication of octonions. So there are some interesting symmetries occurring. The Baez-article goes into that too but it could have been a bit more explicit for my taste.

I hope some of that made sense, i don't know your background. I'm still trying to wrap my head around this topic myself and have been for about 2 years now.

Maybe check out the "spinors for beginners" series on youtube. It's very good and quite extensive.
Oh well, maybe we'll soon have `defer`? [0]

[0] https://thephd.dev/c2y-the-defer-technical-specification-its...
1. Well I think perhaps then we could reverse it and just see the lack of a regulatory body as a symptom of a culture that cares less about following strict linguistic rules. Compared to French, which also has a ton of slang and experimentation, but notably the power structures underlying the language care enough about maintaining a standard.

3. Loanwords are everywhere but I think they are easier to incorporate into everyday speech in English than in some other languages, especially ones with case endings. A word like taco, for example, has become indistinguishable from other “native” English words. Taco in say, Polish, requires more thinking about how it fits into the case system and what endings should be used. It’s a more complicated process than in English.
Publishers have high priced lawyers on retainer (who will copy and paste the same winning brief they have served anytime they have been challenged before) - individuals are resource constrained.
Show HN: Resyfy AI – careerOS, turn career achievements into opportunities
At least my kind of problems were solved by

https://docs.astral.sh/uv/guides/integration/pytorch/#instal...
George Carlin said something similar:

"Governments don't want a population capable of critical thinking, they want obedient workers, people just smart enough to run the machines and just dumb enough to passively accept their situation."

If true, one could argue it is a real issue, because it is not clear that the country's 'management' is intellectually on the high end either.
Last year I discovered that a new router from our ISP was issuing one-hour DHCP leases, which would frequently bump me out. It occurred to me to wonder whether this was a standard setting for coffee shops.
Hacky and not really fit for production for more reasons than one, but clever and nice nonetheless. Good stuff.
I use it mostly to play music, get the weather report. We used to play Song Quiz but that is not available anymore.

None of this has any privacy implications (assuming it’s not listening in all the time!).
Show HN: Headset Free VR
Every test I've ever tried with an LLM to get it to generate code has produced a complete unworkable mess. I have no idea what people are generating with them, but its always far less work to write something that I understand, rather than spend the time trying to fix up a complete disaster that barely even begins to touch the problem I asked it to solve
LLM generated code is like particleboard
Per capita GDP is a bad measure when so much of it is captured by the 1%
If you want to play with quantum wave packets, I built a quantum Web-based Simulation tool for non-relativistic quantum mechanics in 2016: https://quantum-simulation.de

The split-operator method for the numerical solution of the time-dependent Schrödinger equation is used to simulate the propagation of a Gaussian wave packet in arbitrarily adjustable potentials.
Google is switching legacy G Suite accounts to pooled storage
"If guns are used to shut down crime, I don't see a problem with that."

Is kind of a cogent argument.

In this philosophically exaggerated isomorphism, you seem to be implying that either criminals and crime fighters should both be equally armed or that crime is largely subjective and therefore enforcement is wrong.

It seems like you're ultimately arguing for anarchy (nobody should have abusive technology -- guns), and therefore no institutions are worth protecting with force. It seems equivalent to believing that everyone will respect the commons in the tragedy of the commons without an enforcing mechanism.

Regardless of how you answer, you have run headlong into the paradox of tolerance, and the problem of what to do when people violate the social contract (https://en.wikipedia.org/wiki/Social_contract), which is at the very core of what this country was founded on.

What "opinions I don't like" are you referring to? It's also worth reflecting on that you're writing on a platform where shutting down opinions you don't like is a major part of it, in order moderate extremism and promote curiosity.
Maybe, although the people just getting into the field probably aren’t making the fortunes and there wouldn’t be the satisfaction of building something real.
cost me about 7 bucks.
The jxl compression would compute a base for all sub-images and create better diffs amongst them. The current encoder doesn't support that yet.

With my tiff lzw:2 it only takes the diffs for 2 consecutive lines per each sub-image, which is a shame. But still 50% compression. With jxl it would compress down to 10% or more with a sub-image base.
> If the tool doesn't work well, learn better how to best use the tool

Last night my car broke. It didn't work well. The engine wouldn't start. I learnt better how to use the broken car. It still wouldn't start. What am I doing wrong? Help? /s
I'm reminded of the infamous hn comment when Dropbox was announced

> 1. For a Linux user, you can already build such a system yourself quite trivially by getting an FTP account, mounting it locally with curlftpfs, and then using SVN or CVS on the mounted filesystem. From Windows or Mac, this FTP account could be accessed through built-in software.

https://news.ycombinator.com/item?id=9224
A Search Engine for YC
Outstanding software, incredible. Thank you so much.
>But a cold approach on the street based on nothing but appearance has got to be the worst choice ever.

all of the dating apps are based purely on appearance. This is not by mistake, but because we people judge by appearance first of all.

>higher chance of approaching someone who isn't available

so what? 70% someone isn't available but the 30% that are available you still have higher chance of getting the date than on the dating apps.

> you also signal that ... you are incredibly socially inept...

right... because being charming and speaking to someone in real life with good body language and flirting skills is going to signal you are socially inept.

All I hear are bunch of excuses to be honest.

Approaching on the street has been a game changer for me, I know have a long term girlfriend from street approach
Eh, you can initiate legal proceedings for anything and it's doubtless inconvenient (and expensive) to be on the receiving end from a company doing so. It's also nothing especially new.
I hope they make a movie out of it.
Programming isn't an industry, per se. It's a skill, like accounting, sales, communications or law. There are definitely many businesses for which it's a core strength, but any large company has some need for it.
Waiting on The Social Network pt. 2
Did you consider other compression methods? For us, ZSTD is quite good for TIFF files.
That's funny, but I also don't doubt that the industry, should it pursue this path, is going to be on a hiring spree to get engineers back to fix the mess they've wrought a few years from now.
Thats the wrong question in the first place. Its impossible for something like linear to replace pivotal tracker because part of the appeal of a project tracker is that there is only one view that everyone shares and lives in. If you have different boards and table views and filters and settings a project manager can preset you can never reach this by adding more stuff. As i said before i added a concise list trying to define what a project tracker needs in the hero section of bye-tracker.net If this is not clear i would love to improve it so please share what does not click. I am not 100% sure yet if you need to experience it before its clear or if this is something fully understandable by reading about it.
Well I’m certainly going to be reading it now.
> seed fear in your colleagues’ minds

Jikes
Reminds me of watching The Social Network after hearing that Zuckerberg's "feelings were hurt" by the portrayal of him.
Cool! Buying it on Barnes & Noble now. Hadn't heard of it.
I didn't use an LLM back then. But would totally do that today (copilot).

Especially since the parser(s) I wrote were rather straightforward finite state machines with stream handling in front, parallel/async tooling around it, and at the core business logic (domain).

Streaming, job/thread/mutex management, FSM are all solved and clear. And I'm convinced an LLM like copilot is very good at writing code for things that have been solved.

The LLM, however, would get very much in the way in the domain/business layer. Because it hasn't got the statistical body of examples to handle our case.

(Parsers I wrote were a.o.: IBAN, gps-trails, user-defined-calculations (simple math formulas), and a DSL to describe hierarchies. I wrote them in Ruby, PHP, rust and perl.)
Makes sense. You want to en courage turnover. A single coffee for 8 h of seating is too cheap.
Free speech for me, not for thee.
'How Gratifying': Cheers in China as Trump Dismantles Voice of America
Very interesting perspective, thank you.
Bambu Labs launches 3D-printable toys with reusable electronics
We don't know what kind of devices you have. But probably they won't need external power.

And for a stand it should suffice to use any nearby object.
Will they ever upgrade their PinePhone offer ? I'm desperately looking for a linux smartphone at a mid-price (500EUR for a phone is way too much). I can definitevely live with sub optimal performance, not-so-good camera, etc.
If backslash means less demand that drives down prices, I am all up for it, so I can be productive for cheaper.
Tips for Better Interactions
Life expectancy in Mississippi is 10 years shorter than in Greece

>Mississippi ranked dead last in a CDC ranking of all 50 states and the District of Columbia when looking at 2021 data. The magnolia state had a 70.9-year life expectancy rate, slightly lower than West Virginia's 71.

https://www.clarionledger.com/story/news/2024/12/29/cdc-data...

>The current life expectancy for Greece in 2025 is 83.10 years, a 0.18% increase from 2024.
The life expectancy for Greece in 2024 was 82.95 years, a 0.18% increase from 2023.
The life expectancy for Greece in 2023 was 82.80 years, a 0.2% increase from 2022.
The life expectancy for Greece in 2022 was 82.64 years, a 0.2% increase from 2021.

https://www.macrotrends.net/global-metrics/countries/grc/gre...

Greece has a older population.
Plus we're talking about Mississippi not the entire US.
I hope the "free speech absolutists" in positions of power are able to reclaim some of these retreating powers.
> Would you really want the granularity of your tickets dictated by a pricing model?

I think the pricing is reasonable enough for this not to happen.
If you couple your system to a heat path that is at rest wrt a specific Lorentz frame, you of course lose Lorentz incariance. On the other hand the lagrangian of the standard model itself is to my knowledge fully Lorentz invariant.
Show HN: I made an app that rates your gym progress with AI
I got tired of posting on r/fitness and getting unclear feedback, so I built an app that analyzes physique photos with AI.
It started as a weekend project after I couldn't get good advice on my lifting progress. Upload a few pics and the AI tells you:

Where you rank compared to others (using a gaming-style tier system)
Scores for each muscle group with actual numbers
Body proportions and balance issues
Body fat estimates and body type

I also added some fun stuff like matching you to a "warrior type" based on your build (turns out I'm built like a Viking, not the Spartan I was hoping for).
The whole thing takes about a minute to run. The natural-or-enhanced detector is still a work in progress, but it's been pretty good on test cases.
Would love feedback from HN people. Is this useful? Too weird? Should I add anything else?
> Bill Gates .. was not able to influence the public discourse.

People forget that the MS in MSNBC stands for Microsoft. Bill Gates invested heavily in media and lobbying in the late 90s / early 00s.
The title seems very misleading: It seems to create false and real etymologies for both neologisms and commonly used words.

In other words, a false etymology constructor, not an etymology deconstructor :)
> If AI succeeds in automating away software development, that actually seems pretty bad for Nvidia the company.

You have a hidden assumption there: LLM being the way to real AI.

IMO it is not the case. And I'd go farther in thinking LLM won't even be a component of AGI if we get there.
I would personally put that in the eye roll category.

The problem is that pro-Palestine camp is a pretty active group of evangelists that inserts itself into every discussion and comments on unrelated posts. You have to moderate them to avoid alienating or fatiguing your normal users.

A funny example is LinkedIn of all places. Personally, I constantly see pro-Palestine propaganda liked or shared from connections. Most of that content is demagoguery or outright lies. Has no place on a work-related so I also report it.

I have no dog in this race but the content of the pro-Palestine crowd is simply low-quality.
Yeah, even if the author wanted to, I doubt they could pull it back at this point.
just approach... Aproach in public places, where it's bright best timeing is during the day near other people... If you think she is creeped out say goodbies, most of the interactions you will either click in first seconds or get shut down. Don't be intimidating, don't touch her, chat with her for few minutes then ask her to go for a date... If you seriously decide to do that you will be surprised how many women are available... Most of the receptive ones I found where single and not on dating apps for various reasons... So basically you literally have zero competition, as those girls are not actively dating (especially when out of university)

email in profile
Maybe they want to see the Streisand Effect in action?
That looks just like zig error handling to me. The only missing component being that errors themselves are just a tag without any more data content.
I'm not a parent, but I suspect that if you're driving your kid(s) to the ER, there's a risk of having hours or minutes left with your kid(s) before they perish. So while it is riskier to call on the way, the risk of your spouse missing out on the last few moments of your child's time on Earth is actually greater.

That being said, one would hope that is a seriously unusual edge case for requiring voice commands.

(I personally find it awkward to use them, and still don't trust them to get it right, so I try not to use it ever unless I have no other choice.)
As a tangential hit on this issue, the relationship between the Catholic Church and science [1] is an interesting read. It's nowhere near as antagonistic as contemporary revisionary takes would suggest. In particular the most famed example of this is with Galileo (whose name is mentioned no less than 146 times on that fairly short page...) yet that was far more interpersonal issues than his concepts being an affront to theology. He wrote a book calling the Pope (at the time very much one of his supporters) through hardly veiled proxy, a simple minded idiot. Burning bridges is bad enough, but burning one you're standing on is lunacy.

If one does genuinely believe in a God then the existence of science need not pose a threat to that, since there's nothing preventing one from believing that God also then created the sciences and rationality of the universe. The classical 'gotchas' like 'Can God create a stone so heavy that he could not lift it?' were trivial to answer by simply accepting that omnipotence does not extend to things which are logically impossible, like a square circle.

[1] - https://en.wikipedia.org/wiki/Science_and_the_Catholic_Churc...
There's a lot of subjective judgement going on in this post, but putting that aside: how does all this not apply equally well to most other wealthy billionaires such as Bezos, Ellison, Ballmer etc... ? I'm curious why you're picking on Gates.
Why do you feel the need to carry water for “AI” grifters?
The point is that including the usage of such plastics add little value except to imply you're eating a tire when chewing gum, which is clearly not the case.
In other words, the entire system is rigged against the little guy.
Greece is joining the digital banking revolution with its first homegrown neobank. Snappi, born from a strategic partnership between Piraeus Bank and Natech, has officially opened its waitlist ahead of its anticipated launch in mid-2025.

What Makes Snappi Special?
Snappi isn't just another digital banking app - it's designed to be a comprehensive financial solution that combines the best features of international neobanks like Revolut, Klarna, and N26, while being tailored specifically for the Greek market.

The new digital bank will offer:

A completely branchless banking experienceLocal IBAN accounts and payment methodsConsumer credit optionsCustomer service in GreekUser-friendly interface with streamlined processesBuilt-in investment options for those seeking higher returnsForeign exchange capabilitiesBuy Now Pay Later (BNPL) functionality similar to Klarna
Powered by Innovation and AI
Behind Snappi stands Piraeus Bank, which has committed to a €200 million investment in artificial intelligence over the next three years. This technological foundation has already shown impressive results, with transaction times reduced by 12% (to just 1.09 minutes) and a 26% reduction in calls to support centers.

Ambitious Growth Plans
Snappi has set aggressive targets for its growth:

Reaching breakeven by 2027, just three years after launchAttracting over 1 million customers in Greece by 2027Expanding to 1.9 million users by 2028Planning European expansion starting in 2026Targeting €135 million in revenue by 2028Aiming for €15 million in net profits within three years
Join the Digital Banking Revolution
As the first fully Greek neobank, Snappi represents a significant milestone in the country's financial technology landscape. The focus on younger generations (Gen Y and Gen Z) signals a fresh approach to banking designed for digital natives.

If you're interested in being among the first to experience what Snappi has to offer, now's your chance to join the waitlist and secure your place in Greece's banking future.

Are you excited about having a homegrown digital banking option in Greece? Will you be joining Snappi's waitlist?
I thought this was going to be a type checker :)
Maturity is definitely an issue. If you listen to what the industry is selling these days it's pretty much just AI. Before that it was DeFi and VR. There hasn't been a new smartphone since.. the smartphone.

I have more thoughts here: https://news.ycombinator.com/item?id=41495082
At one time these were called System Analyst. Is that no longer a thing ?
Still not an argument against people being allowed to be mad regarding this. You just can't give a fuck about data privacy and expect people to not oppose this and speak up.
How can you say that the accuracy of AI is far below medical standards without any concrete numbers to back this claim?
> __attribute__((cleanup))

Interesting. I'm not very proficient in C, this looks like some sort of finalizers for local variables?
So we launched on Product Hunt after declining an influencer. Was it worth it?
I assume you've seen this:

https://docs.astral.sh/uv/guides/integration/pytorch/

If the platform (OS) solution works for you that's probably the easiest. It doesn't for me because I work on multiple Linux boxes with differing GPUs/CUDAs. So I've use the optional dependencies solution and it's mostly workable but with an annoyance that uv sync forgets the --extra that have been applied in the venv so that if you "uv add" something it will uninstall the installed torch and install the wrong one until I re-run uv sync with the correct --extra again. (uv add with --extra does something different) And honestly I appreciate not having hidden venv states but it is a bit grating.

There are some ways to setup machine/user specific overrides with machine and user uv.toml configuration files.

https://docs.astral.sh/uv/configuration/files/

That feels like it might help but I haven't figured out how to configure get that to help it pick/hint the correct torch flavor for each machine. Similar issues with paddlepaddle.

Honestly I just want an extras.lock at this point but that feels like too much of a hack for uv maintainers to support.

I have been pondering whether nesting uv projects might help so that I don't actually build venvs of the main code directly and the wrapper depends specifically on certain extras of the wrapped projects. But I haven't looked into this yet. I'll try that after giving up on uv.toml attempts.
I'm sure there's a more formal distinction. But I've noticed younger developers don't call themselves programmers anymore. Computer programmer was always the "what do you want to be when you grow up?" job title for kids into computers and coding, but that's changed.
If they yowl so loudly, it must have hit a nerve.
Its taking 1 hour and 20 minutes to complete a full clean build on my single node.

In fact, I want to use Open Source tools for this purpose, a commercial solution is not an option tbh.

Thanks for suggesting Incredibuild, as I make a fast search, I see that there may be some open source alternatives (eg. FASTBuild) to Incredibuild but not sure this can be used to build the LineageOS.
I’m not making an argument, rather an observation.

A saying I’ve heard from many folks I know who have been in the US military is ‘fair fights are for idiots’. I think it’s a common mindset in any (successful) military.
There is this thing called balance. The middle road. Yin Yang. Entities keeping each other in check.
Tech Giants, Stop Trying to Build Godlike AI
https://archive.is/QYriu
Looks nice but why wouldn't one use Shortcut [0] instead? It's got a completely free tier.

[0] https://www.shortcut.com/