skysight-inc/HackerNews huggingface dataset:
I absolutely love their design language. I'll never have a need to own any of their products but I wish I could buy the gadgets I do need/want with this kind of design/style.
I think that oversimplifies the dynamics drastically.

First off, even if buying the shares at the reduced rate is highly profitable, you do need the cash to buy them. With the 50% that are floating around here that's a significant amount of cash.

Furthermore, with the dilution that's happening the stock price would also drop so while you gain on the reduced shares, you loose on money on your old shares unless Elon keeps buying.

I just don't see that it's the same as giving away shares for free (which is just adding dilution without additional capital costs for the existing shareholder). Feels to me like an all parties lose situation if it's triggered.
i wonder if this counts?

https://twitter.com/FedorovMykhailo/status/15164744873818972...

> Is Starlink that important? It wouldn't be possible to restore 10 km of cable connection between villages in Chernigiv region after serious battles so quick. Normally it takes few months. Another case: provider Baryshivka-Net resumed the network for 5 villages by using only 1 .
Weibo is bigger. Wechat too.
Of course I cannot prove that she still works with intelligence. The funding and direction of such assets is understably obscured. My statement is merely logical conclusion that you can choose to agree with or not.
There's no reason Twitter can't hypothetically make a lot of money.

> While Twitter does not report its average revenue per user, one independent analyst pegged Twitter’s ARPU at about $17 in 2020, around one third of Facebook’s.

Twitter is being mismanaged or at least not living up to the theoretical potential when compared to its peers. It might never get to facebook ARPU levels, but it can approach it

https://digiday.com/media/the-rundown-twitter-bets-on-long-f...
All secure encryption has an output size greater than its input size.
"A judge in Brazil has ruled Apple must pay a man over $1,000 for not including an iPhone charger in the box."

I think the solution here is that the default is no charger, but if you want one, they have to give you one for free.
Their business model is basically doing that + envy and fomo.

Not criticizing it.
Graphics Research Samples
I've come to expect Teenage Engineering's products to be expensive, but I have definitely underestimated them once again.
US Banks are so bad that this scenario would be believable? Any security problem where I am would get fixed either via resets on pre established channels or via a visit to the actual bank with ID verification.
Not my words but yes. Giving a corporation money encourages them to keep going that direction further. I would spend more money on Linux certified computers from (e.g. Lenovo, Dell, Purism, System76, Tuxedo...) which hopefully encourages this companies to keep going and improving. A single customer of course doesn't change much but 10.000 do.
Why would you place stock in anything Marc Elias has to say? He is, at the very least, a partisan ideologue. And he’s certainly not a journalist unlike “the pillow guy, but with tenure”.
Luck is a thing. A great product is another thing.

My take is marketing is a lot of work, a lot more work than many people want to do.

When I was in college I ran for election to be the PR director of the college radio station because I wanted my own set of keys to the station. It was my job to promote dances, but KTEK dances had an awful reputation of having no attendance.

For the first few dances, I resolved to do a massive promotion campaign that involved printing several hundred 8.5x11 poster for a campus that had about 2000 students. That brought a big crowd and fortunately my mates had my back because they did a great job of DJing and it was a big hit.

After a year of this our dances had a great reputation. We slacked off on the promotion a little but not much.

I'd be loathe to delegate this kind of task: if I told many people to print 400 posters many of them would print 4 or 40 and already think they were working too hard. It just takes a lot of work to get results, possible 10x or 100x what you're thinking.

I've worked for startups that were well funded and well-connected could "pull strings" to get mentioned in TechCrunch and frequently they'd get some special opportunity and fail to capitalize on it.

There are thousands of places where you can promote online. Although paid marketing can be effective it is worth posting links to sites like HN, forums, emailing bloggers, etc.

The other half of this is generating content which has broad interest. If content is interesting to you because "the cash register rings when people click on it" then it probably won't be interesting to others. Just as many people need to overcome laziness to promote effectively, many people need to escape their own self-centerness and get some insight into what other people find interesting.
> Twitter operating income for 12 m/e 31 Dec 2021 was negative.

Twitter is a lever to all the journalistic organizations on Earth. Its impact is not measured by its operating income.
> libvirt/kvm supports it,

I recall reading somewhere that using UEFI on qemu/kvm caused problems with snapshotting and/or migration; is that still the case?
I've only owned one Teenage product (the Megaman Pocket Operator) but now I really want the comp 1. Cool that they've expanded beyond synths!
The niche application part is a little bit made up by them. Small mixers and audio interfaces are a HUGE market, and a saturated market. By going high end (by milling a case, for example) they shrink their market, but also shrink their competition. The number of portable mixers / audio interfaces / synthesizers (it’s a synth too???) with super fancy cases… they might be the only one? The keith mcmillian k-mix is the only thing even similar I can think of and it’s not that similar (and $699)

Edit: someone in another comment pointed out the 1010 music bluebox, which is definitely more similar to this than the kmix, for $549

Edit 2: I just remembered the existence of zoom recorders. The zoom h6 has 6 tracks, is a portable mixer and audio interface, and also includes 2 good microphones and can record without being tethered to another device. It’s about $400. It’s got a different vibe, but it’s also quite beautiful
He's definitely going to burn a ton of existing employees (basically kick them out), and then incentivize new ones with aggressive packages.

It sucks and I wouldn't wish it on my worse enemy. It does make sense though since the mission and culture will be night and day different and would never mesh.
Ask HN: Any SaaS doing daily subscription, in addition to monthly/annual?
Not many because they have not been around very long. I’d guess few of them would be old enough to drink alcohol in the US. It wasn’t until ~2000 companies started to cross the $100 billion market cap threshold.
It's implied that they meant surveillance cameras.
That is correct. What makes utilities wildly different from e.g. hamburgers is the extent to which legal fictions must necessarily remove skin-in-the-game type problems that are glossed over. (e.g. what if I didn't WANT this wire in my land or over my house, my property?)

Thus why, generally, you want to lean toward public.
The thing about an unrealised gain is … that is hasn't yet been realised. It doesn't exist yet. It could (and often does) vanish like smoke later on, and become a loss. When people propose to tax unrealised gains, do they also propose to reimburse those taxes when the gains become losses? Do they intend to continue taxing realised gains?
Dense areas generally subsidize sparse areas.
I know, I work in the optical industry. Abbe value is one part of it, but thickness is the multiplier. For most prescriptions, you'll never notice. But with a high negative, you have thicker lenses. If you use something with a lower index, they get even thicker. So what you do is use high index material to thin it as much as possible, then use round frames to prevent the lenses from flaring on the sides.
Twitter operating income for 12 m/e 31 Dec 2021 was negative.

The operating income of a superyacht is also negative. But billionaires keep buying them.

Some people get to a point in their lives where the numbers no longer matter.

To its shareholders, Twitter is a business. To someone who can buy Twitter, it's a hobby.
If you get high enough, in many places you’ll eventually hit line of sight to at least some cell tower. I’ve gone deep into wilderness areas and it isn’t uncommon to get cell coverage somewhere on a ridge line or mountain peak. Often strong enough that you can hit Facebook, upload pictures, download offline maps, or even videos.

It’s kind of nuts, really.
When you become a US citizen they ask you to renounce other citizenships. At least it was the case the for me.
he just wants free-er speech for his OWN political views
> And a few, like "Gee, Officer Krupke", just use a ton of chords in a way I don't really understand.

Leonard Bernstein seems to have a knack of writing simple sounding songs but with every chord in the book. I noticed the same in Tonight.
Yeah, fair enough. Musk could either "rent" Twitter and pay the money back with profits or "live in" Twitter and direct it toward some other purpose and use his other activities to pay back the debt. So my mineral rights addendum was unnecessary.

On a related note, I always find the loans where the borrower takes on personal liability are in a completely separate category of risk. Anytime you put yourself in a situation where you could possibly ruin your future prospects or mortgage your future labor to a financial institution is much different than your net worth (and your investors' principal) simply going to zero.
> My short summary of this: pretty much every x86 client system since 2012 has shipped with working UEFI support

That is AFAIK not true for industrial boards. For example current PC Engines APU2 boards just have Coreboot-based BIOS without UEFI.
Pine needle tea is pretty good, though don't forget to wash the needles off first.

It's pretty good for you too. My old college roommate had a saying: "Pine needle tea, free vitamin C!".
Anyone taught cursive does the downstroke stem before the loop.

https://www.google.com/search?q=cursive+p+lowercase
You're reading that chart incorrectly, it was like 5% in the 40s and 50s not 80%. I meant historically tiny, and should have been clear, though it is larger now. Yes, payroll tax is regressive, but only 6.2% and the cap rises every year.

> it's readily apparent that the overall Federal income tax system is regressive

It clearly is not, as 57% Americans paid no income tax last year (up from ~47%), and 19% (up from 17%) paid neither income tax nor payroll tax. So somewhere in the neighborhood of 38% of Americans paid payroll tax but not income tax meaning their federal tax burden was quite low. If you roll in the payroll tax the effective federal rates are still quite progressive[1]. Even Piketty and Saez note that the tax system when everything is accounted for is still progressive in the US[2] and they're accounting for wealth accumulation and not just income. If you want to include things like Piketty and Saez, you should probably include transfers, entitlements, and welfare, which makes the system look even more progressive in total. There's a good wikipedia article on the topic [3].

I'm not sure how you can argue against the conclusions of the CBO, Saez and Piketty who are the most prominent socialist economists in the world right now, and the Brookings Institute. Basically everyone who studies the topic disagrees with you, including people who greatly disagree with one another.

[1] https://www.taxpolicycenter.org/briefing-book/are-federal-ta...

[2] https://eml.berkeley.edu/~saez/piketty-saezJEP07taxprog.pdf

[3] https://en.wikipedia.org/wiki/Progressivity_in_United_States...
It's pretty easy in Lean/mathlib:

import tactic

example (R : Type*) [comm_ring R] (a b c d : R) :
a + b + c + d = d + b + c + a :=
by ring

It takes about 50ms to parse, process, and type check this example, with the ring tactic running using some VM-compiled Lean code (in Lean 4, tactics will be compiled to native code).

The way the ring tactic works is that it puts both sides of the equality into some kind of normal form, and hopefully the normal forms are the same. And, honestly, even without the ring tactic, it's easy to use just the simplifier for this if you know the incantation: simp [add_assoc, add_left_comm, add_comm]. (The simplifier is not a simple piece of software, but it's built-in and it's able to run a rewrite system while being able to normalize things when the rewrites enter loops.)

To write CAS-like tactics, in principle "all you have to do" is write algorithms that simultaneously operate on expressions and construct proofs that the expressions represent what you need them to represent.

One example of this in mathlib is the norm_num tactic, which is supposed to take expressions involving numbers, operators, and other functions, then evaluate everything as far as possible. It's something like Mathematica's evaluator, though it only evaluates using rules specifically developed for norm_num. It turns out that norm_num, even though it is operating on expressions and constructing proofs the whole way, tends to be much faster than using kernel reductions (the gold standard for correctness). That's because it's able to use faster algorithms for various functions rather than the mathematically pristine ones, for example it does multiplication using a base-2 representation of a natural number rather than in terms of its unary representation, which is the definition for the natural numbers as an inductive type.

In fact, by using these sorts of tactics it's possible to calculate things that the kernel can't calculate itself. Here are some examples using top-level commands to invoke kernel reduction and the norm_num tactic:

#reduce 1000000 * 1000000
-- deep recursion was detected

#norm_num 1000000 * 1000000
-- 1000000000000

(This is something that lets you use Lean as a calculator with a "repl".)

Lean also has #eval to VM-compile an expression and evaluate it there, but what's interesting about #norm_num is that while evaluating it's also constructed a proof that the answer is correct. The VM compiler and VM are considered to be untrusted code, and they certainly have not been proved to be correct in any way.
I can’t think of a reason I would need this, but I still want it.
This looks like it's US only right now, is that correct?

What are your plans to offer these services in other countries?
Very interesting. How are you dealing with KYC regulations? Do you provide that, or is it the responsibility of developers calling your API to have already done KYC.
My argument was that _even without overcommit or swap_, we would probably want some kind of OOM killer, because the heuristic of "kill the process which happens to try to allocate first when we have run out" is probably one of the worse heuristics for which processes should be killed.
Wasn't Campion's Power of the Dog an Oscar-rated Netflix film? I agree overall however, Apple is competing with the legacy content monsters the right way. Severance was great art, Slow Horses is compelling, Foundation had its issues but also better moments than any Netflix Sci-Fi show I've seen the past few years (Nightflyers, Another Life, etc don't even come close), and For All Mankind is well-written.
https://twitter.com/2obvious2/status/1516848142775463940?s=2...
Not really. The loan isn't really income: the borrower gets $X, but is also on the hook for $X plus interest. It costs him money.
Although they are both subject to capital gains taxes there are many differences between real estate and publicly traded stock.

As a preliminary matter, as investment vehicles publicly traded stock is a liquid asset, whereas real estate is an illiquid asset. Generally one invests in liquid investments so that they can be readily converted into cash when needed.

From the tax perspective a building/building owner would at all times be subject to continue paying property taxes. If there were some equivalent wealth tax for stock holders then at least society wouldn’t lose out entirely on this kind of tax avoidance scheme designed for the rich, but I’d still probably prefer these billions in bank loans go to qualified home buyers before lending it to the world’s richest man to circumvent a taxable event.
Good luck buying wechat as someone without Chinese citizenship.
How much global news comes out of either of those? That's the point of the parent comment.

Weido and Wechat may have more users, but they aren't newsmakers. Just like there's more people at a Def Leppard concert than in the White House, but the White House makes news.
Thanks! And just in case you haven't seen them, let me know if these FAQ topics help a little:

https://projectionlab.com?help=enter-data

https://projectionlab.com?help=data-security

https://projectionlab.com?help=am-i-the-product

But more directly to your point, if you enable cloud sync, that uses Google Firebase. Firebase encrypts at rest and in transit and has the usual certifications, but the project owner does have an admin UI for Firestore. If that's a concern, there are always the other data persistence options as alternatives: localStorage only, and/or importing/exporting copies of your data to local JSON files.

Perhaps it would also be wise for me to look into integrating with something like GCP cloud kms, that way maybe the user could supply their own encryption key client-side?
The biggest danger of leverage is the "margin call" or calling the loan - the most common form of leverage people are exposed to prohibit this calling - if you buy a house today on a normal 30 year fixed mortgage in the USA, the bank cannot call the loan if you continue to make payments, even if the house value drops way below the original amount collateralized.

In some states, such as California, a purchase loan is non-recourse, so you could walk away (and many did in the last housing downturn) and the bank can't do anything beyond take the house.

This means if you can weather the downturn you don't get wiped out, you borrowed 80% of the house to buy, put 20% down, it went down 30%, you were underwater, but continued to make payments, and now it's up 20% above where you started.

Margin loans against stocks, etc do not have this, so if you borrowed against $1k worth of stocks you had, and they dropped in value below what the bank wants you to keep as collateral, they can force you to sell at the lower price (or produce more cash/collateral). This means that with leverage you could be right in the long term but wiped out in the short term.
YC Founder Firesides: Brex on spend and speed as a strategy
What makes sense? What do you think the plan is?
Ubuntu 22.04 LTS Released
"modern" tends to mean post-industrialization in sociological contexts... so this would also qualify as modern society
I do think conditioning must be a big part of it. I hadn’t ever listened to this song since getting a little familiar with music theory but it was certainly on the types of playlists my parents listened to when I was a kid. Listening to it now, I can see what’s unusual about it but it never would have occurred to me to consider it hard to listen to. Repetition legitimizing and all that. My parents weren’t jazz listeners so it took work for me to appreciate it as an adult, and now I can’t help but wonder if the better path for my kids is to get them used to it early or to let them have that same “whoa” experience later. (Only partially serious; of course they should be exposed to it. :D)
Perhaps its because its a niche that isn't worth investing the resources into? Sometimes narrow problem spaces are harder for a company to justify because of the cost to reward ratio. I agree with what you want and would like it myself for music (Spotify, Amazon Music, etc.) but it's a complex problem (recommenders, custom UI and the glue between) that is hard to justify compared to incremental small improvements to existing general purpose recommendations.
Great find! Is this normal policy at other companies? On the surface, it seems like a good idea. If you pledge 100%, and the company share price takes a dive, you might be inclined to do crazy things with the company to try to recove the share price!
Fair, but packing more people into a small space is only going to drive up land and rent value. Not everyone can live in Manhattan or downtown Chicago.
Drama Queen! Imagine Jobs or Page behaving like this.
that is modern, post-industrialization, society
Jackie Robinson was a radical – don’t listen to the sanitized version of history
> "For example, in December 2020, Tillis introduced legislation to make it a felony to run a pirate streaming site. Just two weeks later, the proposal was attached to the massive 5,600-page, $900 billion COVID spending bill. As a result, Tillis' bill became law before most lawmakers—to say nothing of the general public—had time to read it."

Is it just me, or democracies have been flirting quite often with authoritarianism? Canada, for example, has been taking some worrisome measures recently. Now US is following suit, although in a much smaller scale.
At the point where he's at, what exactly is rational? It's all up to what he wants to achieve. Money is not the end goal for anyone. It's what you want to do with the money. What does he want to do? Only he knows but my guess is influencing the world towards what he believes is better. Twitter seems like a interesting tool for that.
The articles of confederation was the Confederacy’s foundation document that codified how the Confederacy would be run.

AKA “The South” in the US civil war.

Edit: Yup, as pointed out by replies, I got my documents backwards. Sorry!
You left out the portion where you get the money to pay the principal and interest. Either you actually sell some of that stock, or you work a job to get that money. Either way you that income will be taxed.
> Do you make extensive use of `unsafe` Rust?

Yes. Glidesort moves data back and forth between partially initialized buffers a lot, so unsafe code is unavoidable. I also need to concatenate slices that are adjacent in memory, which is impossible to do with safe slices (due to pointer provenance). Mixing pointers/slices in general is just a bad idea, so for the most part I simply use pointers.

I use no other special (unstable) features, just pointers and ptr::copy(_nonoverlapping).

> If you would ever be interested in a collaboration proving your algorithm correct let me know :)

I might take you up on that, or at least ask you to take a look once I'm done polishing the code.
From the specs:

> to keep the battery healthy, the unit should be charged at least every 6 months. if not used for a long time, it may not charge again.

..... why is that?
We don’t try to deal with that issue. If something breaks because of the merges, it’ll be the next persons problem (when they make a new feature branch off of master and have a few failing tests).

Our test suite takes about 30m to finish.
Question is why aren't you building something real, tangible, and permanent, like a mine tunnel?
Purchases like Twitter aren't about a return on investment.

Purchase like Twitter are to seize the platform; period.

Dissenting opinions, and bans, then become whatever the owner of the platform desires.

How do people not see the actual value of Twitter, which goes well beyond money.
Because Jan 6 was completely normal.