skysight-inc/HackerNews huggingface dataset:
Show HN: Porter Cloud – PaaS with an eject button
Hi HN! Porter Cloud (https://porter.run/porter-cloud) is a Platform as a Service (PaaS) like Heroku, but we make it easy for you to migrate to AWS, Azure, or GCP when you're ready.

Like Heroku, Porter takes care of a lot of generic DevOps work for you (like setting up CI/CD, containerizing your applications, autoscaling, SSL certificates, setting up a reverse proxy) and lets you deploy your apps with a few clicks — saving you a lot of time while developing. However, as you probably know, there’s a downside: platforms like this become constraining if and when your app takes off and you need to scale. The time you saved while developing can get pretty expensive once you’re paying for a lot of users — and the platforms tend to try to keep you locked in!

Our idea is to give you the best of both worlds: use Porter Cloud for as long as it saves you time and development cost, but at any time you can press the “eject button” to migrate your app to your own AWS, Azure, or GCP account as you please. We make it seamless to break out, so you’re no longer subject to the rigid constraints of a conventional PaaS. You can migrate in a few simple steps outlined here: https://docs.porter.run/other/eject.

A bit of background: we first launched on HN almost 3 years ago with our original product (https://news.ycombinator.com/item?id=26993421, https://porter.run), which deploys your applications to your own AWS, Azure, or GCP account with the simple experience of a PaaS.

Since then, we’ve helped countless companies migrate from a PaaS to one of the big three cloud providers. Most of them had gotten started on a PaaS in the early days to optimize for speed and ease of use, but ultimately had to go through a painful migration to AWS, Azure, or GCP as they scaled and ran into various constraints on their original PaaS.

Interestingly, we learned that many companies that start on a PaaS are fully aware that they’ll have to migrate to one of the big three public clouds [1] at some point. Yet they choose to deploy on a PaaS anyway because outgrowing a cloud platform is a “champagne problem” when you’re focused on getting something off the ground. This, however, becomes a very tangible problem when you need to migrate your entire production infrastructure while serving many users at scale. It’s a “nice problem to have”, until it isn’t.

We’ve built Porter Cloud so that the next generation of startups can get off the ground as quickly as possible, with a peace of mind that you can effortlessly move to one of the tried and true hyperscalers when you are ready to scale.

We are excited to see what people build on Porter Cloud. If you’ve ever dealt with a migration from a PaaS to one of the big three cloud providers, we’d also love to hear about your experience in the comments. Looking forward to feedback and discussion!

[1] By “big three clouds” we mean the lower-level primitives of each cloud provider. We don’t mean their higher level offerings like AWS App Runner, Google Cloud Run, or Azure App Service, since those run into the same PaaS problems described above.
It’s funny that Tech is the source of and solution to all of our problems. But my real critique is that all portable devices these days are around $1000 dollars. I’m sure this display makes the device expensive, why can’t we just have a more humane workflow in our current devices instead of buying a new device?
I am not clear where the sound comes from. Does the thing itself have speakers?
Ohh my, on first blush this looks great.
> Southwest even sues websites that display its schedules and fares without authorization

Why does Southwest even have any jurisdiction here? It seems like they won a preliminary case, but don't we have established president that scraping websites is legal, thanks to hiQ Labs v. LinkedIn?
Best perk on SW is the companion pass. Some well timed credit card sign ups and a few flights and you can have a companion fly free with you for almost 2 years. Especially nice as SW flies to Hawaii.
Yep - that is the issue. You can define it however you want so it's fairly arbitrary. To answer your question - given it was a major life direction change, I consider it a career change. I'd say a career change probably involves a similar life change in all cases.
What facts disprove OpenAI making a voice that sounds like SJ such that the movie Her is referenced by Altman, and why is that actress upset?
counterpoint - it is the first connection made when I heard the voice. I also really enjoyed the movie Her.
Release Notes for Safari Technology Preview 195
San Francisco Hims disrupts Ozempic with $200/month generic semaglutide
Discussions [0](37 points, 5 days ago, 14 comments) [1](18 points,3 days ago, 5 comments) [2](37 points, 3 days ago, 3 comments) [3](23 points, 2 days ago, 31 comments) [4](39 points, 2 days ago, 24 comments)

[0]: https://news.ycombinator.com/item?id=40403492

[1]: https://news.ycombinator.com/item?id=40415982

[2]: https://news.ycombinator.com/item?id=40421787

[3]: https://news.ycombinator.com/item?id=40427296

[4]: https://news.ycombinator.com/item?id=40429247
This exact situation actually happened all the time. The cutting room floor lists about 500, in various states between just a little accidental included code to most of it:

https://tcrf.net/Category:Games_with_uncompiled_source_code
It is sometimes thought that extremely long-running Turing machine programs must be deeply complicated, or "spaghetti code". This new reigning champion program is a counterexample. All things considered, it is relatively simple.

There are three states: A, B, C. (States are just like goto targets in C.) State B passes control to A and C, but states A and C don't "know about" each other; they only pass control back to B. This is a sort of modular construction, whereas in true spaghetti code each state would be able to pass to all the others.

This program has some other interesting features. It never prints a blank (that is, whenever it scans a 0, it prints 1, 2, or 3). Additionally, every instruction changes either the state or the color -- there are no "lazy instructions" like B1 -> 1LB that just move position without changing anything else.
I'll try this, thanks for the tip!
Reddit-free original: https://www.reuters.com/world/europe/russia-says-it-will-str...
Makes sense, however I would clarify that we don't need to make the final decision. If you're using the neural scoring function as an API, then you can just get predictions about how each model will likely perform on your prompt, and then use these predictions however you want (if at all). Likewise, the benchmarking platform [https://youtu.be/PO4r6ek8U6M] can be used to just assess different models on your prompts without needing to do any routing. Nonetheless, this perspective is very helpful.
I imagine they’d only be taken to be proofs if formally verified. Admittedly formal verification needn’t guarantee comprehensibility.
This is infuriating. I bought the CarThing for a Christmas present for someone just six months ago.

I understand it was no longer supported at the time, but there is no reason why it couldn't still function as a controller, there solution is just to throw it away?

Hate the PR speak here "This decision wasn't made lightly, and we want to assure you that our commitment to providing a superior listening experience remains unchanged."

So what superior listening experience are they committed too exactly? When all they are doing is lowering the experience?
Hi. I agree that the pricing on the landing page should provide these details without having to click on it. I'll update this, thanks!

Regarding why not $6 - I've read that .99 converts more, so that's the only reason why I've decided to do it like this.
Curious, how do you measure the time taken for those 4 steps listed in "What takes so long?" section?
Not sure what Chase Travel uses, but I booked a Southwest ticket on that back a few months ago.
I think what they’re saying is directors of films, commercials, etc. probably at least start with a certain type of voice they’re looking for. And might well communicate that to a casting director by naming some specific actors they’re familiar with.
Yeah, category theory is a framework for describing mathematical structure. It's not vacuous -- there are mathematical structures which don't fit into the framework and there are some theorems about what properties a category has. But category theory doesn't do that much on its own.

The geometric Langlands conjectures are a _lot_ more specific, and a lot more focused. They're a big deal, because they're a toy model for the arithmetic Langlands conjectures, which are a generalization of the machinery that proved Fermat's Last Theorem and would give an effective method for dealing with a lot of number theory problems.
Oh, awesome! Thanks for the feedback!

Yeah, that makes sense. I hate Window's file explorer search, but I still end up using it if I'm just looking for a filename, so I definitely understand that as the de-facto standard on that platform. I'm not as familiar with MacOS in general, and especially not spotlight, but it does appear to be a lot more useful.

But yeah, I think storing the files in the device's file system should address this concern. I appreciate you circling back to fill me in, though!
It seems like a scenario where you could have some trauma. I would go talk to a therapist. I recommend one who specializes in schema therapy, DBT, and acceptance and commitment therapy as that is a modern approach for PTSD.
Android 13 with 8GB RAM. I'm not familiar with the MediaTek Helio G99 CPU.

Will this perform well or just be another underpowered tablet for $800?
What're the answers to my own questions though? :-)
I want to do this! Also want to let people submit edits to that AI generated summary (like on github) so it can become as accurate and compressed as possible.
that was the joke...
For some, e-ink displays are the holy grail of tech. I have several e-ink devices but the real hangup is the refresh rate. If this solves that problem in a meaningful way it could be game changing.
Yeah, exactly. They're mostly a front end for Bing. I know they have their fans, and this remark will probably anger them, but I have never understood the point of DDG.
Hi! I'm helping a founder friend to figure out if businesses could take advantage of crypto or if this would turn into an unnecessary risk. What do you think?

He says blockchain has struggled to keep pace with traditional financial systems in terms of accepting recurring payments.
Oh I am sorry, I forgot that we spend hundreds of billions of tax dollars on providing safe spaces for smoking cigarettes, free smoking paraphernalia, treating smoking overdoses in public spaces. Great analogy!
There is a DIY alternative:

https://github.com/witnessmenow/Spotify-Diy-Thing
Alaska also has a companion pass and also flies to Hawaii
Families with young children board together 1/3 of the way through the boarding process on Southwest. They will be seated together.
Are those papers in English? Long scale may be translated to short scale if the paper is translated from the original language where long scale is common.
If you do test it out, feel free to ping me with any questions!
When Crispin Glover Was Replaced by a Lookalike in 'Back to the Future II'
Oh yeah, 100%. This domain should also follow the unix philosophy of a composition of single purpose utilities. It's why I prefer tiling WMs like i3, Sway, and Hyprland. They do very little other than managing window tiling and key bindings. Everything else is roll-your-own. My config for Hyprland uses a couple dozen different programs to get things setup to my liking, e.g. Waybar for the system bar, rofi for launching programs, wlsunset for nighttime color management, swayidle and swaylock for the idle locking and lock screen, sway notification center for notifications, grim and slurp for screen capture, etc...

I share a lot of my config between Sway and Hyprland because of this modularity. They are flexible enough that you could configure them to look and run just like KDE and no one would be the wiser.
This game was such an insane strong part of my childhood that when I think about the present day many years later it feels like a dream. I try to imagine in my current life having the same sort of "connection" to a game and it just feels impossible. Everything around me feels like "just" a game, show, material object, whatever... but space quest 2,3,4 all feel like they are fundamentally part of my DNA, intertwined with it.
His books are filled with assembly code. He created a machine and an assembly language to be vendor independent for his famous book series The Art Of Computer Programming. I first saw this in 1978 when I took data structures and I remember thinking that was a bit idiosyncratic even then.

Among all the things Professor Knuth is famous for is writing an Algol compiler for the Burroughs 205 in assembly on paper over one summer just after he graduated from college. There's a handwritten listing of it at the computer history museum. It's pretty interesting and shows off how he programmed and thought about programming in 1960-1961. It's probably not terribly different from how other people programmed back then but he was better at it than most.

https://www.computerhistory.org/collections/catalog/10272457...
Study suggests YouTubers cheer people up more than casual friends
I meant sexually, rather than scientifically
Which part(s) specifically are you having trouble reading? Are you on mobile or desktop?
Industrialization is like the 1800s-1900s. Not "pre-literacy".
Yeah, Duplication Houses usually duplicate the disk sector-by-sector, instead of on a file system level. (This makes a lot of sense, because it allowed the disk to contain any file system). But that also means that data that was still on the physical sectors of the disk got copied as well, regardless of whether the file system on the disk was still referencing that data.
Go Viral
I remember when Microsoft got sued for including a web browser in Windows. Oh how anti-trust has fallen.

Microsoft Windows enjoyed a staggeringly huge market share at the time.

They even managed to charge PC manufacturers a tax on computers with Linux preinstalled instead of Windows.
Discussion [0] (12 points, 3 days ago, 3 comments)

[0]: https://news.ycombinator.com/item?id=40418624
yes, i'm talking about the scientific community - papers are almost exclusively published in english or with an english version. long scale translated to short scale would be a mistranslation, imo
Yes, I think he'll try with a much higher likelihood of succeeding than when he tried last time.

That's typically how coups go, as far as history go.
There's definitely not enough of these solutions being open-sourced. Definitely makes it more accessible to compliance or restricted environments. More AI should go this route. Definitely will be trying it out in my next build.
I'd bought their kickstarter, and it's a great devoted eReader device. I'm glad I was in before the subscription model was hammered onto the device after the fact.

My ReMarkable is now showing its life - one button has failed, and the device only boots reliably when the battery charge over 70%. Still use it often for fast hand-sketches of ideas, and plan on replacing the battery myself eventually.
B is not true. It's more profitable to extract lots of value in the short term and kill the company and then move on to the next victim, continually showing great profit spikes and cashing out yourself, than to slowly extract value over the years.

The system is full of perverse incentives.
There is no equivalent on Linux. That's why linux has no online antivirus scanners (scanners that scan the file as it's opened) while this is a basic feature of every antivirus program on Windows.

Linux has device mappers (dm-crypt, dm-raid and friends). But those sit below the file system, emulating a device. Window's file system filter drivers sit above the file system, intercepting API calls to and from the file system. That's super useful if you want to check file contents on access, track where files are going, keep an audit log of who accessed a file, transparently encrypt single files instead of whole volumes, etc. But you pay the price for all that flexibility in performance.
Tailwind is changing the landscape of user experience
Today I left major European defense company. It’s fantastic how tax payer pay for real outdated, but properly certified crap. Long story short: Bundeswehr soldier can’t use improvised drone at all. In fact he also needs a license and insurance. This renders earlier mentioned Bundeswehr useless in modern conflict against an enemy with many improvised drones. With certification 500-1000$ diy drone costs suddenly 10 times more. Maybe this is nice business opportunity to team up for?
> Search is a very different story, you wouldn't want to have to do a full directory scan for text based search. So some level of indexing would be useful for a client mail service.

While notmuch and mu exist, I myself use the mblaze suite (https://github.com/leahneukirchen/mblaze) and it's more than enough for me. As a totally unscientific benchmark, it takes 300 ms to find 7 mails out of 24k when searching in headers, 4 seconds when searching in the body.

I myself use a different way: I convert the entire (all 24k of them) list of emails to 1-lines with Sender, Subject, Date, Folder and feed it to fzf which gives me preview as well. The search is then instant; on the given fields only, but I never need more than that. This is my full MUA: https://sr.ht/~rakoo/omail/
Ardupilot is quite good, but I would say it's kinda similar to Linux in terms of an operating system for your drone. It can be configured to work with a wide array of hardware and operations, but its 'off the shelf' interface isn't going to be as polished as some other more hardware specific systems. If you want to build your own, and have full control over your system, Ardupilot is a great place to start.
Is it possible to store my config files under ~.config/amber/ on MacOS?
Sertraline (an SSRI), from a local lab/brand called Insertec, no side-effects in my case after a year+ of treatment.
The program was received no better.
> Alaska also has a companion pass and also flies to Hawaii

Nice!
Scaling linear algebra in the end is probably all we’ll need in the end. Only missing data and compute to get there
Yes, the SI prefixes are one example of something that is scientifically standard. The short scale is another.
Interesting idea, will consider adding this, thanks for the feedback!
What matters is whether OpenAI leadership had the movie Her in mind, and the AI in Her is more similar to LLMs than the Next Generation Star Trek main computer.
SQLite 3.46.0 Released
Version 3.46.0 is an enhancement release. Improvements include:

• Enhancements to the "PRAGMA optimize" command.

• New capabilities in the date and time functions.

• Added the json_pretty() SQL function.

• Allow "_" separators in numeric literals, for human readability.

• Query planner improvements

• JSON processing improvements

Download from the usual place: https://sqlite.org/download.html
> Lots of people have done it.

This is just a generic platitude and means nothing. Lots of people have overcome hurdles yes but not a whole lot of hurdles all at the same and over long periods of time which is what i gathered from your posts. Also as i point out it is quite hard to overcome all hurdles just by one's own efforts but you generally need some outside help whether intentional or luck.

> I went to college but I resent the implication that the only way to make it into one of these fields is through college.

You had mentioned that you were a high-school dropout earlier but are here stating that you went to college? That is a huge discrepancy and if true proves my point.

>It is incredibly difficult to learn advanced math outside of an academic setting, but it is absolutely possible.

That depends on where you are starting from, your support environment and your definition of "advanced math". For some levels you have to go to academia and study. Not everything is possible in the real world.

> Where I work we have invested in programs that take people just like me and give them an opportunity to go through a pretty rigorous 6 month program that teaches them how to develop software, work in a corporate environment, etc.

This just proves my point that you generally need outside support/help/luck to overcome really difficult hurdles. You are providing them with a break.

> There are people FAR more impressive than me who have done more with less, and when they have come out of that program many have been able to go toe to toe with our college grads.

That depends on the nature of the work itself. If it is just a matter of simple programming then maybe so but if the work needs advanced mathematics/statistical knowledge there is no way this can happen. There is a reason Colleges/Universities exist.
hey! so sorry about this - it's fixed now!

also - happy to chat further if you have any questions - evis@neosync.dev
I very much dislike the tweet that OP uses on the Magic UI site that's directed at Linear:

"Companies spend $30,000 and several weeks to get designs like this"

Yes. Because being a first or early mover is expensive. You commoditizing their style after they've put in all the brain work to create or build it isn't the same thing.

Also, isn't the point of design engineering to be capable of coming up with relatively original and innovative UI?
Scheduling with Ice_cube Ruby Gem
Discussion on the article [0] (8 points, 4 hours ago, 11 comments)

[0]: https://news.ycombinator.com/item?id=40454310
If you pair that with nginx reverse proxy you can set all of your homelab stuff up with a dns name and ssl certificate and get rid of those annoying security messages.

Pair that with a URL shortener like Yourls and you can have easy, convenient short names to access your self hosted systems.
These white swans prove there are no black swans! \s
The company wasn't dying, but it was undervalued on the market. It also sounds like the component parts of the company were more valuable separate than together.

>Honestly the higher the price the better it is.

IF you have to buy at $300M, and can only sell for $100, then higher prices are not better.
But isn't a beautiful solution to a hard math problem as enjoyable to some people as a game is to others?
Car Thing is just a bluetooth remote control for Spotify or other audio applications. The music still comes from the phone - to the car's speaker system via whatever method your phone is connected (bluetooth, aux jack, etc..)
Superman Syndrome
Southwest has its faults, but they're far and away the most human-friendly and least-BS domestic airline in the US. The price is the price and you get reasonable accommodations even at the base fare. If your Southwest credits/vouchers expire, you can talk to an actual person who'll extend it by six months after expiration even if you don't have status. It doesn't feel bad giving Southwest your business.

Maybe other companies shouldn't completely optimize away the humanity in their services. Maybe have some core values beyond "make number go up."
>We can spot the orphan stars at this distance.

Can we resolve these individual orphan stars? Or just see the cumulative glow from a lot of them?