frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Kimi K3 is now live

https://www.kimi.com/en
598•vincent_s•4h ago•314 comments

Microsoft Comic Chat is now open source

https://opensource.microsoft.com/blog/2026/07/16/microsoft-comic-chat-is-now-open-source/
270•jervant•3h ago•73 comments

Decoy Font

https://www.mixfont.com/experiments/decoy-font
166•ray__•3h ago•63 comments

Detecting LLM-Generated Texts with “Classical” Machine Learning

https://blog.lyc8503.net/en/post/llm-classifier/
79•uneven9434•2h ago•49 comments

OnePlus halts operations in USA and Europe

https://community.oneplus.com/thread/2170715118587871237
453•pilililo2•9h ago•254 comments

NotebookLM is now Gemini Notebook

https://blog.google/innovation-and-ai/products/gemini-notebook/notebooklm-gemini-notebook/
101•xnx•3h ago•72 comments

Kimi K3: Open Frontier Intelligence

https://www.kimi.com/blog/kimi-k3
14•mfiguiere•42m ago•2 comments

Immersive Linear Algebra Book with Interactive Figures (2015)

https://immersivemath.com/ila/
77•srean•4h ago•9 comments

Goes-19 weather satellite enters Safe Hold mode

https://www.spaceweather.gov/news/goes-19-safe-hold
121•yabones•6h ago•60 comments

The lost joy of music piracy

https://www.pigeonsandplanes.com/read/music-piracy-what-cd-oink-nine-inch-nails-streaming
717•mcgin•14h ago•477 comments

Adaptional (YC S25) Is Hiring

https://www.ycombinator.com/companies/adaptional/jobs
1•acesohc•2h ago

How Our Rust-to-Zig Rewrite Is Going

https://rtfeldman.com/rust-to-zig
287•jorangreef•7h ago•154 comments

How to Train a Gen AI Kick Drum Model on Your Old Linux Desktop with 6GB VRAM

https://www.zhinit.dev/blog/training-a-kick-drum-diffusion-model
55•zhinit•4h ago•37 comments

Launch HN: Traceforce (YC S26) – Company-wide security monitoring for AI apps

15•XiaHua•2h ago•6 comments

Show HN: Leaves – A text-UI disk usage treemap visualizer

https://github.com/patonw/leaves
35•patonw•3h ago•10 comments

Sony deletes more movies from the accounts of people who ‘bought’ them

https://www.techdirt.com/2026/07/15/sony-deletes-a-bunch-more-movies-from-the-accounts-of-people-...
444•nekusar•7h ago•274 comments

Guide to data tools landscape for developers

https://sinja.io/blog/data-landscape-guide-for-developers
67•OlegWock•4h ago•21 comments

Let's Build PlanetScale from Scratch: Infrastructure

https://onatm.dev/2026/07/16/homescale-part-1/
119•onatm•7h ago•16 comments

Ente – Opening Our Books

https://ente.com/open/
189•Sherex•8h ago•68 comments

Cottage Computer Programming (1984)

https://www.atariarchives.org/deli/cottage_computer_programming.php
21•lioeters•4d ago•3 comments

Schema Harness Achieves ~99% on Arc‑AGI‑3 Public

https://schema-harness.github.io/
42•jasondavies•4h ago•10 comments

Optimizing Lua string literals to save 400 bytes

https://purplesyringa.moe/blog/guest/optimizing-lua-string-literals-to-save-400-bytes/
7•ibobev•3d ago•0 comments

Agent-talk: Enabling coding agents to work together

https://github.com/xhluca/agent-talk
22•xhluca•3h ago•9 comments

GC shape stenciling in Go generics

https://rednafi.com/go/gc-shape-stenciling/
34•ingve•4d ago•6 comments

German AI consortium releases Soofi S, an open 30B model that tops benchmarks

https://the-decoder.com/german-ai-consortium-releases-soofi-s-an-open-30b-model-that-tops-benchma...
45•amai•1h ago•6 comments

56,000 lines of DOOM, in a language I made up

https://betlang.dev/about/
27•ghuntley•3h ago•19 comments

42% of adults rely on their parents for financial support

https://www.cnbc.com/2026/07/16/42percent-of-adults-rely-on-their-parents-for-financial-supportth...
102•root-parent•2h ago•110 comments

1,300 Beautiful Wildlife Illustrations from the 19th Century Now Restored

https://www.openculture.com/2026/07/explore-1300-beautiful-wildlife-illustrations-from-the-19th-c...
224•gslin•16h ago•45 comments

Show HN: A modern port of Linux to a ten-year-old QWERTY phone

22•tmzt•3h ago•4 comments

Show HN: Galois connections for composable numeric casts in Rust

https://github.com/cmk/connections
14•partialsolve•2h ago•1 comments
Open in hackernews

SPCX is now Wall Street's most shorted new stock

https://invezz.com/news/2026/07/16/the-worlds-most-valuable-ipo-spcx-is-now-wall-streets-most-shorted-new-stock/
45•lbrito•1h ago

Comments

himata4113•1h ago
Hasn't the stock already collapsed below IPO price? Does that mean the IPO was simply overpriced? Do these people expect the stock to go down even further? Shorting is way more risky I don't see why this would be the case unless my questions turned out to be predictions.
hattmall•1h ago
Yes, people expect it to trade much lower, around $40 per share, still would be a huge valuation for what the company has done. Goldman Sachs analysts had an extreme range, of like $6 Billion to $5T, but the consensus $2T required 100x revenue multiple by 2030. If revenue was less than 10x by 2030 it's less than $100B company, and only $6B if it remains flat. So a lot of downsides and the upside requires a continuation of some insane magic.
kirubakaran•1h ago
> Goldman Sachs analysts had an extreme range, of like $6 Billion to $5T

What a weird way for them to say "we don't know"! It's like saying this house has 0 to 100 bathrooms.

hattmall•46m ago
True, but it's the range from different analysts. Saying "we don't know" isn't really an option. Gotta say something when your IPOing a trillion dollar company.
PaulDavisThe1st•36m ago
"So you're saying there's a chance? It might actually be possible to have 100 bathrooms! I knew it!"
marcosdumay•20m ago
To keep the proportions correct, it's between a model house the size of a piece of paper or a normal 2-bedrooms.
AviationAtom•1h ago
I haven't seen anything saying $40. The lowest I have seen is $70.
rconti•36m ago
From TFA:

> "I think it could be half over the course of the year," Noble said, adding that he believes a fair value for the shares is around $30, implying a decline of roughly 78% from current levels.

AviationAtom•32m ago
That's an absurd valuation. Typically stocks are valued at what people are willing to pay, with earnings partially driving that value.
mattas•3m ago
A rational person isn't willing to pay more than the present value of future cash flows. Just like how a rational person wouldn't pay $101 for a $100 bill.

Where it gets fun is that: (1) we have people selling $100 bills for more than $100 and, (2) we have people gladly buying $100 bills for more than $100.

downrightmike•1h ago
JPM still thinks its a $300 stock
jgalt212•1h ago
so does Jack Grubman, after being instructed to take a "fresh look" at it.
ryandvm•50m ago
It is... as long as somebody else thinks so.
mikeryan•1h ago
I think the pullback from the initial IPO bump was expected. I think the news here is expectations that it has a lot more downside to come.

Particularly once it gets past the lockup period. If I had to guess I say a lot of folks are thinking a lot of people will sell post lock up and they’re timing their shorts around that date.

anthonj•1h ago
Tbh I'm no5 sure I've even seen an IPO where the price didn't collapse initially.
dofm•28m ago
More than half of IPOs fall below their price in the first year and AFAIK it’s something like more than half underperforming market over the first five.

Basically an IPO is a bad bet for a five year position. But SPCX is especially bad.

mrweasel•49m ago
I wouldn't say that it collapsed, it's only slightly under its IPO price, $134 vs. $135.

However it's not going up and later this month the first lockup period ends and people who got stock options are allowed to sell some of their stocks. These people don't care if the price is $134 or $135, because they go in much much lower, down to $30, from what I can tell. So starting this month there's going to be new shares available to buy, and the sellers are less critical of the price your offering.

chuckadams•1h ago
It's almost as if the market is returning a verdict on Elon's unilateral decision to burn barrels of company cash on xAI.
AviationAtom•59m ago
Anyone that thinks Musk approaches anything for short-term results doesn't understand Musk.
sneurlax•52m ago
anything nonhuman*
CamperBob2•49m ago
What's the long game behind alienating well over half of Tesla's customer base by throwing Nazi salutes? How does that pay off in the end?
Rover222•31m ago
it's so weird and kinda disturbing how many people really believe that was a Nazi salute. It's so easy shape public opinion with media and algorithms.

Same thing happening with "datacenters will destory the world because of their water use" BS

dofm•27m ago
It was plainly obviously fascist signalling, whether trolling, joking or serious. Nazi? The detail doesn’t matter. But he knew what that looked like and he did it deliberately. It’s just not really plausible to pretend that he he wouldn’t have known what it looked like.
quantummagic•1h ago
Every single shorted stock, was purchased by someone else who is taking the long side of the trade. So there's as many people betting the stock will go up. This says more about volatility and volume of trading, than anything else.
tpurves•1h ago
You are assuming there are not naked shorts out there.
quantummagic•1h ago
They're illegal, and you can look at them just as the broker making a long bet themselves. Since they'll have to pay off the short seller, if the stock goes down.
koolba•1h ago
There’s always a buyer on the other side of a short, naked or located. The question is whether the originating broker actually borrowed the shares.

They are supposed to verify that before they place the trade and generally do follow the rules. Because if they don’t, they will be not allowed to allow any short sales for that security.

chuckadams•51m ago
Given the continued downward trend, it may be the buyers may just be disagreeing on how fast it drops, not necessarily taking a long term buy and hold position. I don't know much about option pricing, but aren't put options basically betting on the spread?
quantummagic•
orsorna•1h ago
Over two weeks ago, calls outnumbered puts 5 to 1 according to an article by SeekingAlpha. I am wondering if this flip is too reactive. I can't discount the "Musk premium" that keeps people enamored with his securities and cause unpredictability.
fsuts•1h ago
In a few weeks the pre-ipo share owners can offload the first batch of their shares (after q2 results release)

So guessing they are shorting for this event

echrisinger•50m ago
Typically this would be prohibited (at least as an employee)
cj•45m ago
If you have holdings that are locked up, are you allowed to short stock or use options to hedge your position?
axus•42m ago
I'm not an employee :)
s1artibartfast•32m ago
Sorta, there are no SEC requirements for lockup. It is all depends on the agreement between the IPO company and the IPO underwriters syndicate. Spotify and Slack notably skipped lockup entirely.

Goldman Sachs, Morgan Stanley, BoA, ect are the ones who set the IPO lockup terms based on their risk and exposure post IPO.

Indexes, exchanges, underwriters, ect are all private institutions who mostly can and do set their own rules.

hnburnsy•1h ago
From Matt Levine just today...

https://www.bloomberg.com/opinion/newsletters/2026-07-16/sho...

  Right now, SpaceX has provided 639 million shares to trade. People want more.
  In a month, there will be 1,583 million shares to trade.
  But right now, there are actually 820 million shares to trade: the 639 million provided by SpaceX, plus another 181 million provided by short sellers.
downrightmike•21m ago
$4T was 20% of all US currency ever printed in 2020. What makes this worth 10%? China and Japan are already catching up.

This was just a bag drop on retail and trying to force it into retirement funds proves it.

glimshe•49m ago
SpaceX's core business is transferring money from believers in Elon Musk's enrichment schemes to banks and short sellers.
kibwen•46m ago
Not quite, it's also about transferring money to the Saudi princes who financed his buyout of Twitter.
ge96•35m ago
I just hope this doesn't destroy the company that would suck lose their edge and then China comes in
mattas•22m ago
No one forced them to IPO well above the present value of their future cash flows. Or claim their TAM was $28 trillion.
Rover222•33m ago
There's another Starship launch today. It'll be interesting to watch the stock price react to the failures and successes of their testing campaign.
ChrisArchitect•25m ago
Related:

SpaceX stock erases all its gains and slides below IPO price in intraday trading

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

SpaceX bond worth 10% less than issue price – heading for junk bond status

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

chuckadams•19m ago
I personally think he really is a fascist, but I still don't think he was deliberately throwing out a Nazi salute. Just naive about waving to a crowd in front of a camera, which is very on-brand for him.
Larrikin•19m ago
It was a Nazi salute.
s1artibartfast•18m ago
Under this analysis, what was the short term motive? How does that pay off?
klaff•41m ago
I don't think Musk understands Musk.
mjhay•28m ago
It must be some 5-dimensional chess he’s playing, it couldn’t be that he’s just an edgelord Nazi whose brain has been liquefied by ketamine abuse
dofm•21m ago
Someone who really understood long term results wouldn’t keep repeatedly promoting absurdly short timescales for major developments.

He has a malignant narcissist’s distorted grasp of time: any future he promises is always nearer than is plausible, but the past is never finalised.

M3L0NM4N•28m ago
I would argue the current price action isn't even driven by any company decisions. The stock needs to settle for a while after IPO.
46m ago
Regardless, you can't short anything without someone taking the opposite position. It's really independent of the overall downward trend.
WarmWash•48m ago
This isn't saying anything, anyone selling a stock is selling to someone going long.
quantummagic•44m ago
That's exactly the point. The clickbait title wants you to forget that fact and draw an incorrect conclusion. It could have also been, "SPCX is the most purchased new stock", but that wouldn't have fed the desired narrative.
M3L0NM4N•30m ago
You're conflating two things though. Shares are being borrowed to sell in this instance, referred to as short-selling. These shares can theoretically be borrowed multiple times over to sell (ex. Gamestop fiasco). This is not current owners of the shares selling to new buyers, they are selling already-owned shares of SPCX.
quantummagic•26m ago
It has nothing to do with the shares being borrowed. That's a separate transaction that comes with a fee. The point is that the share is then sold. It's sold to someone who is taking the long position. The original owner of the share, from whom it was borrowed, makes their money in fees, and by investing any security deposit given by the borrower. They are not taking a long or short position.
M3L0NM4N•15m ago
Yes, that is how short-selling works, but you're claiming that the only reason the headline isn't "SPCX is the most purchased new stock" is for narrative reasons, which is patently false. Shorting necessitates that someone decides to sell a stock they do not own, which creates downward pressure on the price. Saying "there's always someone on the other end of the transaction" is true, but not at the same price. If what you were implying were true, the price of shares would never change. You probably understand this, but share prices decrease and increase due to the number of buyers and sellers. Hence, the more people that short-sell a stock, the lower the share price goes until it can find buyers.
quantummagic•4m ago
I never intended to imply that the law of supply and demand was nullified. And I didn't say that the price was unaffected, just that there is as much money thinking they're getting a valuable long term investment, as there is as money shorting the stock.
seanhunter•47m ago
That is true for the stocks but not options. Anyone with a brokerage account can write some calls and if they get exercised it’s up to them to find the stock to buy. Most pricing models assume the liquidity is always available but that’s not necessarily the case.
maxcan•34m ago
true, but the other side of that trade is almost always an options market maker who will hedge their delta by trading the underlying stock. so, yes, buying a call doesn't directly represent share ownership, but it almost always results in a commensurate share purchase. not 1:1, but reflecting the delta of the option.
Terr_•42m ago
> Every single shorted stock, was purchased by someone else who is taking the long side of the trade.

> So there's as many people betting the stock will go up.

The first sentence is a useful reminder, but second has a error: A single person can have multiple bets, and not all bets are the same volume.

For example, Alice has a budget of $10 and believes the coin-flip will land Heads. Alice makes a $5 wager with Bob and a $3 wager with Carol and a $2 wager with Dan. The equilibrium is in money, rather than opinion-havers.

quantummagic•30m ago
You're absolutely correct, and I should have been more precise. The value is always identical, but the number of participants, need not be the same for each position. Mea culpa.
u1hcw9nx•23m ago
Almost all lenders are institutional funds like Vanguard and Fidelity, also QQQ Trust,

As index funds they were forced to buy. Forced. They are not taking any view. No view.