skysight-inc/HackerNews huggingface dataset:
You can scale Spanner up/down based on demand although there is a lag time with it.

I built a system that relies on a high-performance database and tested with both AWS DynamoDB and Google Cloud Spanner (see disclaimer) and was able to scale Google Cloud Spanner much higher than AWS DynamoDB.

DynamoDB is limited to 1000 WRUs per node, and there isn't an obvious way to get more than 100 nodes per table, so you're limited to 100,000 WRUs per table (= 102400000 bytes/sec = 97 MiB/sec = 776 Mib/sec) -- even if you reserve more than 100,000 WRUs in capacity for the table. The obvious workaround would be to shard the data across multiple tables, but that would have made the software more difficult to use.

Google Cloud Spanner was able to do much more than 97 MiB/sec in traffic (though the exact amount isn't yet public), and also was capable of much larger transactions (100 MiB versus DynamoDB's 25 (now it is 100) items * 400KiB of ~10 MiB) which was a bonus.

Disclaimer: The work was funded by a former Google CEO and I worked with the Google Spanner team on setting it up, while I am a former AWS employee I didn't work with AWS on the DynamoDB part of it, though I did normal quota adjustments.
It's worth noting that both Dawn and wgpu (the two primary WebGPU implementations currently) disagree on key parts of that API - particularly around instance creation, and so they are not ABI compatible today.

If you're building an application, you'd better make sure you are using _the implementation's version_ of the webgpu.h header today.

Hopefully one day it does become fully standard.
Promptflow
Wow, our referral program is $1500 for most roles. Managerial and higher is $3500. I haven't referred anyone.
What do you expect to see on a resume or cv? DSM-5 like breakdown of personality traits and characteristics? Maybe some startup can sell that as a service. The toxic positivity or virtue signaling on LI posts crosses the border from "showing my best self" to delusional. The crying posts are particularly cringy.
Thanks for explaining in such a straightforward way, appreciated!
Not sure about overall prospects for successful business, but current revenue is a lot higher than I realized:

> The Wall Street Journal reports that Starlink's revenue for 2022 was $1.4 billion, up from $222 million in 2021. It is not known how much profit or loss the division made, but SpaceX President and COO Gwynne Shotwell said in February that Starlink is expected to turn a profit this year.

https://www.datacenterdynamics.com/en/news/spacexs-starlink-...
My understanding is that LLMs are more useful for making sense of unstructured information than making sense of structured information. Based on your explanation, I now understand why you chose to do this experiment.

In the conclusion, the next steps you described were:

- Automatically detect column types

- Parse datetime

This is pretty easy to do with existing tools for a structured data set. What value is there to having an LLM do these tasks? I'm curious about how you might use an LLM for some more interesting use cases.
This is why I do my own secrets backup: VeraCrypt volume syncing between several devices and cloud storages.
"legally pirate" is an oxymoron.
In the age of digital projection, it doesn't really cost the movie studio any more to distribute their movie to a theater than to a home streamer. Yet I think it's clear why they charge the theater more: one is viewing for themselves and perhaps a handful of friends, the other has the intention of distributing a playback to thousands whom they themselves are making money off of. They aren't charging for the actual cost of distribution, they're charging for the intellectual property and the cost it took to make the product in the first place. If the fonts aren't worth what the creators are charging, then the large companies wouldn't be paying for them.
You meant zink, I think. I am looking for lean (SDK included), namely plain and simple C without the latest ISO tantrums on the C syntax implementation.

The main issue is the glsl compiler: we are missing a lean, namely plain and simple C without the latest ISO tantrums implementation.
In my opinion, the problem arises from the belief that "I have control over how others think of me."

One way to think about the nature of this question is to consider:
"Do I also believe that 2 different people will think the exact same thing of me in the same situation? What about 10 different people?"

I had a mentor who really worked with me to develop the belief that "what other people think of me, is none of my business." It isn't easy to do but for me it is very helpful.
This being about 32km^2, combined with this: https://worldbuilding.stackexchange.com/questions/9582/how-m... and ignoring the "round-robin" nature of the per-day restriction, it seems this might help to feed 50,000 people per such installation
Static means only visible for that translation unit. So they are not global. Only global inside the file.
That's a really cool note. I am currently non-technical and working to find a B2b Sales job selling to mid-market and enterprise organizations so it's good to know that having these skills would be a superpower for a startup.

I know I want to be a founder one day and since I'm 27 years old I've thought that instead I can learn sales skills until I figure out the startup idea worth pursuing.
Ugh, never thought about that this way!

I believe it is a habit back from my journalistic days, when there were "insets" besides the main text with "things that deserve mentioning here, but kinda out of the main flow... but more related to it than footnotes." I miss the richness of markup of paper magazines!

Does it harm the reading experience significantly?
If I understand what you are asking about correctly, then I do think you are mistaken.

As a sibling comment observed, you would be proving something about a program, but proving things about programs is both possible and done.

This ranges from things like CakeML (https://cakeml.org/) and CompCert (compilers with verified correctness proofs of their optimizations) to something simple like absence of runtime type errors in statically strongly soundly-typed languages.

Of note is that you are proving properties of your program, not proving them perfect in every way. The properties of your program that you prove can vary wildly in both difficulty and usefulness. A sufficiently advanced formally verified compiler like CakeML can transfer a high-level proof about your source code to a corresponding proof about the behavior of the generated machine-executable code.
Why is it just T-Mobile in the US? Is there something about that carrier that supports this service, or could Verizon get this capability too?
pet insurance man... get it... for $80 a month I have a $250 deductible, 90% reimbursement and unlimited annual coverage. Not to mention they cover EVERYTHING including hereditary conditions.

I hope I never have to use it. my buddy came home to his dog having his back legs paralyzed. No idea what happened. Did he jump off the bed or get hurt playing with the other dogs? Anyway, surgery was going to be 20K with a 90% chance of the dog walking again OR he can take steroids' and nerve medicine and hopefully regain the ability to walk within 10 weeks OR put the dog down. He couldn't afford the surgery so they went the medicine route. Luckily the dog can wiggle his toes right now at the 2 week mark, we will have to wait to see if he can walk.

Point being... if he had pet insurance the entire thing would have been $2250, a no brainer in my book so putting the dog down is off the table. At that point you just have to decide whether you want to do the operation or do a round of medicine. you have a lot better opinions.

Paying for insurance sucks... You pay every month and you might use it a couple of times in your life, but when you do need to use it, you are so glad that it is there.
PaulHoule has talked about YOShInOn previously: https://news.ycombinator.com/item?id=36668157
Vercel but for AI Software Development
Build out your codebase in minutes. Iterative and rapid software development, powered by AI agents.

0. Connect to Github,
A. Start a Development Cycle
B. Clarify your objectives with AI
C. Watch your app get built in real time, with your input in the process
D. Then give feedback and iterate.
BEGIN/END needn't be a showstopper for one-line lambdas. Ruby has nice one-line lambda expressions where you can substitute `{` ... `}` for `do` ... `end`. A Pascal implementation can't do exactly that, but it could use an alternative syntax.
Malabaric seems to be both Malayalam and Tamil here.

Malabaric 2 is from Tranquebar -- the Danish factory in modern Tamil Nadu.

Malabaric 3 could read as Tamil, and I believe could read as Malayalam too, but I'll ask the Malayalam speakers here to comment.

Malabaric 4 looks like a strange form of either the Malayalam script or the Grantha script. (Modern Malayalam has a very curved ka -- this one looks more like the Tamil ka, but Tamil does not have the same repretoire of characters that Malayalam does. Grantha (traditionally used in Tamil Nadu to represent Sanskrit, and with a greater visual similarity to Tamil) does.

They also list Tamoulic (Tamil in French is "Tamoul") on page 293, which is somewhat like modern script but not really.

Talenga is listed right above Tamoulic (presumably a corruption of Telugu), but it also states that this language is also called Badega. Badaga is a minority Dravidian language in the area, but closer to Tamil and Kannada.

They made lots of mistakes.
> The rule for mutexes is, never take more than one.

Ideally the actual rule is, never take a mutex while holding another mutex. You can take multiple mutexes simultaneously if the API supports it. (The problem is the API usually doesn't support it unless you implement the mutexes yourself using lower-level primitives, but that requires not actually using mutexes as your primitive.)

( > the technical rule is always take mutexes in the same order.

As you note, this doesn't actually work in practice, since you've given youself the opprotunity to get the order wrong every single time you do it.)
We shared some details about Gmail's migration to Spanner in this year's developer keynote at Google Cloud Next [0] - to my knowledge, the first time that story has been publicly talked about.

[0] https://www.youtube.com/watch?v=268jdNwH6AM
> I will go out of my way to make sure I consume nothing generated by AI just to spite people like you.

I don't know you.

I don't interact with you.

I have no stake in what entertainment you consume.

Your decision does not impact me.

I feel no spite when you make these decisions.
After a certain amount of downvotes a post gets flagged and can no longer be seen.

A post must be flagged separately from downvoting to become dead. It might look like heavily downvoted posts get killed automatically, but those are just correlated events. A post that attracts a lot of downvoting is also more likely to attract flagging. A post that is already in the most-downvoted-possible state (-5, I think) can get more downvotes but those just won't do anything at that point.

I have not flagged or downvoted your posts. I just want to clarify this point of HN comment logic.
> After they introduced Google Cloud they got bored of App Engine and 10x’d the price.

I don't know about "got bored of"; I'd say more "effectively deprecated, using increasing costs† as an implicit push toward rewriting your service for more modern parts of their platform."

Specifically, Google want you to rewrite your GAE apps for Cloud Run (https://cloud.google.com/appengine/migration-center/run/comp...):

> Cloud Run is the latest evolution of Google Cloud Serverless, building on the experience of running App Engine for more than a decade. Cloud Run runs on much of the same infrastructure as App Engine standard environment, so there are many similarities between these two platforms.

> Cloud Run is designed to improve upon the App Engine experience, incorporating many of the best features of both App Engine standard environment and App Engine flexible environment. Cloud Run services can handle the same workloads as App Engine services, but Cloud Run offers customers much more flexibility in implementing these services. This flexibility, along with improved integrations with both Google Cloud and third-party services, also enables Cloud Run to handle workloads that cannot run on App Engine.

Anyone who's still on GAE (rather than having moved over to Cloud Run) at this point is a "legacy enterprise customer"; and so Google have at this point moved GAE pricing beyond just a monetary disincentive to use, to being "fired-customer pricing" — i.e. the price you charge when you don't really want to work with a customer any more, a price that says "go away", but if they still want to pay you even at that price-point, then sure, why not?
Data Processing benchmark featuring Rust, Go, Swift, Zig, Julia etc.
Shopify is probably the most obvious example.
I can't find anything public about Starlink purchasing Loon IP, could you share more?
I always wanted to die clean and pretty

But I'd be too busy on working days

So I am relieved that the turbulence wasn't forecasted

I couldn't have changed anyways

I am relieved that I'd left my room tidy

Goodbye
I just gave up and use tcc.

Forces me to use a better algorithm when it matters. Which more often than not, does not.

;-)
Would love to know more about this. I thought I had successfully neutered the Roku spyware on my TV by not giving it my network password.
I didn’t review all of the bugs, but the ones I looked at are unlikely to be leveraged: FTP, Gopher, ESI, Digest Authentication…. These things are rare in the wild (Except perhaps FTP but I believe squid must be configured to allow FTP proxying anyway).

That is probably why they have not been fixed. The best solution is to drop support for these technologies from squid altogether, rather than someone waste precious time fixing them.
The most likely competitor is Kuiper but they're way behind. There's also OneWeb but they've had a lot of business issues. They're not selling service direct to consumers AFAIK. China is planning a constellation but I don't know much about it and I would never use an ISP from China in any case.

SpaceX's reusable rockets give them kind of an insurmountable launch cost advantage for now, and also for the foreseeable future assuming Starship achieves second stage reusability.
This is for very low bandwidth text communications when you're out in the country and can see the sky.

Stuff like this has existed from companies like garmin for some time. This is very cool, though.

Here is when this was announced: https://www.youtube.com/watch?v=Qzli-Ww26Qs

Pretty cool! Also kindof funny to see the TMobile CEO trying to hype people up and Elon sortof reigning it in.
Yes, it’s almost like a post to explain why you wouldn’t be getting the most out of this model phone if are you aren’t doing high end photography.
Qualcomm to Take on Apple Silicon Chips with Snapdragon X Series for PCs
"but I've gotten very into birdwatching."

Haven't you heard? Birds aren't real.

I've always been into electronics related projects. I'm currently working on setting up a FLIR lepton on a Pi Zero 2 and mini lcd screen. It's taking me forever.
It kinda seemed like creating automatic garbage content-churning machines for children was already a solved problem and I'm not sure what new AI would add to it.

There were content farms pumping out "finger family" videos where the same video would be uploaded thousands of times but with a different JPEG swapped in so this video is "Spider-Man" and this video is "Joker" etc. And kids gobbled them up apparently. They'd sit there watching finger family videos on autoplay for hours.
elixir allows one-line lambdas with `fn ... end`. they don't look as nice as they would have with braces but the parser handles them fine.
By all means, those who are downvoting, explain the specific thing that's wrong about what I commented. Deciding from specific, circumstantial privilege about the wrongness or rightness of others necessities in the wider world is indeed an inherently shitty habit. So too is ignoring one's own hypocrisy in deriding certain broadly used things.
This is the AI Effect: https://en.wikipedia.org/wiki/AI_effect

It was coined by John McCarthy, one of the founders of the term AI.
Why would you think that nobody has ever used Rust there ? Somebody has obviously put in the work to support that platform, rustc doesn't just blindly inherits the list of target triples from llvm.

While it's safe to assume that C gets a decent amount of use on every platform, you can't expect all platforms to be as well-supported as the major ones. Undoubtedly, some of those platforms would be listed as low-tier if the C compilers cared to maintain a platform tier list. But a platform being low-tier doesn't mean you shouldn't use that compiler there.

As for trusting Rust or C on niche platforms, C is so full of UB, platform-specific choices, and vendor extensions, that it's hard to ever fully know how well this or that project will work. Rust is much less surprising, if it works at all I expect it to fully work. I'd definitely pick Rust on niche platforms if I have the choice.
And it did that by extending itself into the future first thereby entangling all time and space and creating a time chain block universe distributed computing architecture that can simulate any point along its existence which is coupled to multiple spacetime simultaneously since it exists everywhere moving forward. It’s also unfortunately an accelerant towards a black hole
Due to incentivized maximum of using all spacetime coordinates for computronium-or-similar space filling requirements.
What's your definition of competing? The 2 big satellite internet companies Hughesnet and Viasat both appear to have larger revenues.
The one that you are currently using is the best one to learn. They're all different and they all work slightly differently. You need to learn generalities, not specifics, until you're working with a specific RDBMS.

SQLite is fine. The biggest issue to be aware of with SQLite is that SQLite's type affinity system is completely different from how other SQL RDBMSs function. The norm is for columns to have much more rigid data typing.
Wow, I basically disagree with every word you said.

> The quote "history is written by the victors" seems relevant.

Yes, history is written by the victors. But what the victors write doesn't make it fact. They may influence how difficult it is to investigate the facts, but they can't change the facts.

> But, history moves so fast right now that SBF is no longer a victor but the villain.

He was never a victor. He just posed as one. He was a villain the whole time.

> I'm also sad that Lewis can't back away from his work, but after all, he is writing books to sell them. I bet he made a good decision financially to release the book now rather than waiting a few years and write up what he recently learned.

As explained in the post, he didn't just "recently learned". Lewis made it his explicit goal to defend Bankman. I'm glad he can't back away from that. It's public record, and everyone can see how morally bankrup he (Lewis) is.

> Another good quote my dad stole is "why ruin a good story with the truth."

Your dad was either dishonest, or he was being humorous and you're misunderstanding him. Fortunately the US justice system isn't as dishonest and they try and dig out the truth behind the story.

Not everything in life is fake it till you make it. Facts matter.
There's a case study [1] from the UK when they phased out "coal gas" which contained carbon monoxide, and which many people were using to painlessly kill themselves via their ovens (Silvia Plathe being the most famous to do so). The conclusion was that removing this method of suicide did decrease the suicide rates over that time period.

[1]: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC478945/
Lamport’s Computation and State Machines[0] is an interesting take on relating mathematics to computer programming. Lamport appears to treat programs as state machines, making it possible to reason about those with pure mathematics (in a way independent of programming language syntactic constructs).

[0] https://research.microsoft.com/en-us/um/people/lamport/pubs/...
Ah, so more like a LoRa level connection. Would still work for receiving telemetry and sending autopilot commands I guess.

I would've thought that an LTE tower would have more throughput, but I suppose they might need far more error correction than usual?
see also Lund, "Talkin' Veterinarian Blues", https://www.youtube.com/watch?v=JChwFoCxVC8
Well, the thing with Google is whenever their service does not get enough users to reach their target revenue then they can suddenly shutdown in the following year. This is the reason why I would always go with AWS or Azure and GCP the last choice.
In early 2020 I was doing a data science boot camp and one project was feeding in a bunch of scientific paper titles in a given area, then "predicting" a "next" future title, the idea was I could come up with ideas for future projects.

What we have now is exactly the same except with a MUCH bigger training set. I am using GPT4 everyday but still can't believe the nonsense hype around it. ALL of AI would be lucky to generate a few $million a year of actual income for people. At BEST these LLMs are great spell checkers and code template fetching assistants but thats as far as LLMs on their own will ever go.

Microsoft Word and Google Docs will have a built in "AI" spell checker that will dissapera into the background, and google search might get SLIGHTLY more relavent but thats it. No "AI revolution" is coming. I'd love to be wrong but looking at the details its hard to understand where people think this future revenue will come from.
I don't agree. It is fine if you use a multi-instructions-per-line assembler.
The question is not if there are competitors in the "satelite ISP" space, but rather how Starlink compares to other ISPs. Reason being that the market where Starlink, or satelite communications in general, have a unique selling point is rather small, especially compared to the global communications market.

We'll see, so far I think Starlink is SpaceX's way to keep investor money flowing, valuations high and the point of general profitability (pinky promise) in the future without raising any eye brows.
I don't see it as any more or less cringey than the always-smiling interview bullshitter or the every-word-is-designed-to-make-me-sound-good resume writer. I don't enjoy it, but to imagine a world where it wasn't neccesary is to imagine a radically different world.
Is this as good as it appears? Is the answer to connectivity to every remote deployment of tech just "use starlink direct"?
The starlink website directly says "texting, calling, and browsing"
very cool! I've been using pyQtGraph for real-time data coming out of microcontrollers. learning to use it was an uphill struggle, and I can't imagine how difficult it must have been to make datoviz

The way I've been working with pyQtGraph, I have an object reading data from a serial port. That object parses the raw data and sends it to a buffer. The pyQtGraph runs in a separate thread, which consumes the buffer, generates a new frame, then displays that frame.

How does datovis handle real time data streaming? It seems like your digital signals example is similar
I wonder can it do “&nbsp;&nbsp;&nbsp;” (3x &amp;nbsp;)?

EDIT apparently not