skysight-inc/HackerNews huggingface dataset:
that's why i always make sure to have small change, so i can pay exact amounts. that doesn't stop me from giving a tip if it's warranted, and it also helps to not to get cheated where they take your money and then don't give you change.
Austin is full of startups. It is no more a "startup desert" than Seattle or Boston.

The culture, size, and types of companies are different, as you'd expect when comparing completely different cities, but you certainly wouldn't feel like there's nothing going on. In fact, I think you'll be very pleasantly surprised coming from Davis.

It's definitely not like the Bay Area, but I'm not sure anywhere else (in the US) is yet.
good resource. I wish the decks had some metadata:

1) A date as there's a fashion to these decks and what worked a few years ago might be all wrong today
2) Did they get funded from the deck?
3) revenue (or user count) at the time of the deck
4) Market Size
5) Founder's previous exit (or connection to Google/FB etc..) I know this is difficult, but some founders can get money on an envelope sketch because they made VCs wealthy in the past.

I realize this is difficult data to get, but it would make the decks much more informative.
I live in Venezuela (which is Cuba lite) but earn a foreign salary.

"It’s nothing for you" compromised around half of my expenses before I started budgeting.

I hate forced charity.
If you are on an older version of node and want ESM, but don’t want to use .mjs, you can try:

https://www.npmjs.com/package/esm

The package.json should have something like this if they are going to use import/export statements so anyone on older versions don’t have to worry about it (it’s not native to Node yet without .mjs extension).

We can blame whoever didn’t set that up, or the instructions should have been to just use require().
So this is like the printer model, sell the printer (library) for free and charge for the toner (model).
> Totality is orthogonal to dependent types. You can absolutely have non-total programs at the type level: Rust has such programs today in fact!

Absolutely, the talk I linked to gets at this to some extent. In rust, partiality causes type checking to fail. You could use it on purpose!

> You can have an infinite loop in a total language like Agda or Idris: coinduction is the mechanism.

For sure, but the totality checker is appeased by sized-types, or at least that's how I know to do it in Agda. I've heard it can be done without them, but I'm not familiar with the approach. This is what I intended w/r/t structural recursion.

> This doesn't make a whole lot of sense to me.

This is because, as the authors state, to type check the program is to evaluate it, so before it can run you have proof that it is correct.

By opting out I'm more talking about the converse, to opt in when you need it. Kind of the opposite of Idris's %partial directive.

> You can be total over IO, and effects do not imply non-totality either.

That's fair, you're right. This is poorly stated.
AS/400 lives on today as IBM i, the lifeblood of my employer (our billing system) runs on a POWER8 box running i and while I’m not a huge fan I appreciate the thing staying running without any fuss for years at a time (IPLs for periodic system updates and just to make sure it still boots notwithstanding).
Especially if you have a cute story like the MikeRoweSoft guy did.
Linus Torvalds Switches to AMD Ryzen Threadripper
What about .sucks? Couldn’t one claim free speech? https://www.forbes.com/sites/rogerkay/2015/06/29/saga-of-suc...
Rofl chill out. There are a million shades of grey between your midnight black and Christian white.

First, this was not shady as hell. Shady as hell would be selling your data to a 3rd party and never telling you. Not-shady is building a feature, seeing negative feedback, and cancelling that feature.

It’s more than likely they had discussions and came to a decision through thoughtful discourse, rather than knowingly saying “fuck the user”.
Thanks, a really neat tool to create some interesting music piece.
I mostly work in my backyard these days. My #1 tip: Get a big sun hat!

If you don't tan well you might want additional protective sun gear. Devices get a bit dustier/dirtier so be prepared for that.

It'd be nice to not have to recharge inside but even with my late 2013 Macbook, I still get a few hours of work done before needing a recharge.
What would be a better visualization?
This really needs a (2016) in the title. The recent edit (not even edits) adds little to nothing and the last commit was in 2015.
The Most Mispronounced Word in the World (2018)
Found that, but I don't like not being able to use git for my file. I ended up figuring out how to get started with org-mode in emacs rather quickly anyway.
"Class-less CSS"[1] is probably the modern Bootstrap equivalent, if you don't want to go with Bootstrap or a competitor (like Foundation).

I don't love any of these, but ended up with awsm.css.

Also, re: React: I dislike it for a lot of reasons, but if you're a decent programmer, you can pick it up in under a day. Make sure you start out with create-react-app[2] and use the TypeScript template[3].

1. https://github.com/dbohdan/classless-css

2. https://create-react-app.dev/docs/getting-started/

3. https://create-react-app.dev/docs/adding-typescript/
>How often does the CEO change though?

For S&P 500 companies, average CEO tenure is about 7 years - pretty reasonable thing to happen a few times across your career.

https://corpgov.law.harvard.edu/2018/02/12/ceo-tenure-rates/
While for me, that paragraph highlights his untrustworthiness...

"Money got tight, so we decided to monetise your sensitive data!"
What is Idris?

Critical info missing.
In Postgres, Schemas are intended to solve this problem - enable user account isolation without creating multiple databases:

https://www.postgresql.org/docs/current/ddl-schemas.html

Given how popular Postgres is, I’m sure there are lots of teams using this architecture.
Thanks for the book recommendation. I've found related info, it's on my reading list now.

https://mitpress.mit.edu/books/small-matter-programming

https://en.wikipedia.org/wiki/Small_matter_of_programming

I've long been a fan of end-user programming, and have promoted it in the form of domain-specific languages and visual building of logic. I love that it gives "non-programmer" users the power to (try to) build what they imagine, and have seen it lead to valuable prototypes and successful tools/products/services.

On the other hand, I've come to learn that this is still a form of programming, however higher a layer of abstraction.

Users who attempt a complex problem space will sooner or later run into what experienced programmers deal with every day, the challenge of organizing thought and software.

What typically happens is, as the "non-program" grows larger and more complex, eventually it starts pushing the limits of the abstraction, either of the user's capacity or the system's. That's when they call in a "real" programmer, to get in there and patch up the leaky abstraction, or convert the prototype into actual software in a better-suited language.

I still think low- or no-code programming environments have a lot of potential to change what software means to people, particularly by blurring the boundary between software development as we know it, and forms of "intuitive computing" like putting together mental Lego blocks.
Scheme isn't used to replace Haskell. Idris 1 is written in Haskell and compiled by default to C (it comes with a Javascript backend too and it has an API for making others). Idris 2 is written in Idris 2 and compiles to Scheme so far (Chez by default, there is also support for Racket and Gambit), it's not tied to scheme but there is no pluggable backend functionality yet.

So Scheme is replacing C, and Idris is replacing Haskell. The goal was self-hosting by writing the compiler in Idris. Chez Scheme is a nice compilation target because it's performant and Scheme is a sugared lambda calculus that goes well together with FP languages.
I’ll start with that I am not from Austin. Having said that...

I think you will be fine if you go in with the right expectations. It’s no Silicon Valley. so if you are expecting that kind of diversity and density startups you prolly will fall short of your expectations. Also, Having said that at the end of the day you need one company to work at a time. Also with COVID and wfh on the rise you might find a broader range of startups eventually but you shouldn’t move based on that. If you think In terms of skills development I think there are more than enough startups to cover your basis.
I may just not have enough context on the issue, but i've not had significant issues with SqlAlchemy's hybrid ORM/Query Builder approach.
Devil’s Advocate counterpoint - being able to still run Win1.0 is evidence of the baggage that Windows is carrying around, and maybe it would do them some good to eventually cull out some old cruft. The transitions will naturally be painful, but how much further and faster could they go if maybe they stopped supporting code from 35 years ago?
I think it was GoDaddy not Google Domains.
One way to avoid making mistakes like this would be to run your big ideas by a handful of average users of your product. Take the information that will be in the eventual announcement, show it to 10 users, and ask for their feedback. Better yet, have a panel of trusted users that advise you.

The reality is, pretty much anyone could have told you this was a bad idea, and that should suggest a process that involves asking someone, and listening to the answer. It's a certainty that people within Triplebyte knew this was a bad idea, and may have even said so. I'm sorry to say that most CEOs I've worked under don't really believe anything that didn't come from a business book or their own brain. Anything else is just one poor idiot's opinion. There are many truths known by the team at large, discussed over lunch and around the water cooler on a daily basis, that the CEO has heard before, but just isn't interested in taking seriously.
As a computer scientist who learned JavaScript this year, I strongly agree with the sentiment here. I feel like I often spend more time debugging module errors than my actual project.

Granted, once I understood the ecosystem more, I gradually began to grasp the reason these issues are around. But still, it does make it incredibly frustrating as a reasonably decent coder getting started in JavaScript.
CloudKit actually does this.

https://www.vldb.org/pvldb/vol11/p540-shraer.pdf

> within each container CloudKit uniquely divides the data- space into many private databases that manage user-scoped data

> Each private database belongs to exactly one container and one user
Yes. Someone stating their honest-to-god opinion and how they came to it is not propaganda but organised attempts to push certain narratives are. Individuals can definitely shill for their side, but then they wouldn't be very popular with the audience.
In your hypothetical narrative I would say that Triplebyte's investors would be the Machiavellian operators setting up a situation where they stand to gain from the company's risk and be shielded should it go badly. After all, investors in high growth companies are looking for one or two massive wins out of a portfolio of numerous companies and can justify such risks. The founder and CEO of such a company doesn't have the same risk profile since all of their eggs are in one basket.

To be clear, I don't have any reason to believe that this is what happened and I think such narratives are more appropriate for works of fiction. Reality is far messier.
Actually, I think conventional multitenant (shared database with tenant_id on database rows) is a bad idea (as well as premature optimization) in the previously described context.

One of the companies I am thinking of had no dedicated ops team until 300+ customers, running on 300+ instances of the setup. Probably 40+ employees at the time the first dedicated sysadmin was hired.

The trick is that since the production environment is extremely similar to the developer environment, all the tools to upgrade versions, migrate databases, etc, exist and are constantly used by all the developers.

When the customer base grows, horizontal expansion is baked into the architecture. When your largest customer grows beyond what you can host, you scale up with trivial mechanisms (database replication, multiple application servers). All you need is orchestration of extremely common, well understood and mature tools.

Orchestration is home baked anyway at every company that I've had experience with (there is no off the shelf "multitenant application management system"), but by doing it this way you rely on extremely mature components for all the underlying tools, because they have been used to scale websites since 2000.
Reminds me of a marching band of a college. The drums and the brass section would gradually dis-synchronize, the sound disintegrated into chaos, until the conductor couldn't stand it and shouted at everyone. My guess is that the players weren't paying attention to the conductor at all.

But even with zero auditory latency, musicians (classical musicians at least) don't really use sound to synchronize, because the cue must come before the sound is made.

That's why in any competent orchestra, musicians rely on visual synchronization. For example, the string sections look at the concert master, who in turn communicate with the conductor and the soloist.

In chamber music, the musicians constantly look, nod, and body gesture at each other to synchronize.

The internet is competing with light not sound.
What, just because a feature got cancelled?

Heck, that's every single day at my last job. North of 50% of the code I ever worked on because a C-O insisted it was top priority got thrown in the trash. C-O screwed up, feature won't o to production, hurry up and work on this other thing instead? Oh, I guess it's Tuesday. Paychecks keep coming, I keep workin'....
I have a similar gripe with Eric Weinstein's podcast mentioned in TFA.

I've quite enjoyed the episodes I've listened to, however they can be difficult to parse at times - somewhat defeating the oft-mentioned benefit of listening to a podcast while performing other activities.

He is obviously very intelligent, but often uses language and analogies that appear to be aimed more at showing off this intelligence than engaging the guest or audience. It distracts from the point he or his guest is attempting to make, which is frustrating.
https://news.ycombinator.com/item?id=23279837
https://www.actordb.com/ check this out
They can trade with the rest of the world, right?
From my experience, risk analysis or threat modelling for most software is done in approximately.. 1 of the customers I've dealt with. And they had a big bankroll, with bigger compliance/regulations/security reqs than most (incl typical F&I and HealthCare orgs).

n = 1 and I don't live in NA or EU, but security isn't even an afterthought.
Ask HN: How often do you think about death as a concept?
I'm not talking about suicide here - please don't worry! This post is about "the thought of death as a concept." Sometimes I can't help but think about it and all its mysteries, with the tech world evolving constantly and our understanding of death staying the same: "When we die, we die - that's it."

- Is it a "reset" button for our consciousness, where we are reborn as someone else, somewhere else in the world after dying?

- Can we overcome it? Do we want to overcome it?

- Let's say we find a way for our cellular structure to "resist" aging. Will we be hampered instead by how our brain only gets worse over time? (I'm actually not sure about this point, but I haven't found a concrete research paper)

These are all hypothetical questions of course. I can't help but be fascinated by how absolutely nobody has any clue of what happens after we die. I personally think there's something more to it, but of course we have no way of knowing just yet.

Do you find yourself thinking about death itself often, HN?
500 hours of video is uploaded to YouTube every minute; it's impossible to moderate all of that. "Lots of users reported it in a short timespan" is a reasonable heuristic to quickly remove ISIS beheading videos and whatnot.

It's not perfect, but nothing YouTube does at this kind of scale will be.
This right here.

Cuba is under a DICTATORSHIP. Stop defending the damn thing. The embargo is NOT the reason they're poor. Ask any cuban.

But PLEASE if you're not going to bother to listen to the people who actually live in the place, just be kind and shut up. Your support literally kills people over there.
There is a service ran by ICANN called the “trademark clearlinghouse”. It is a subscription service that trademark owners, e.g. Netflix, can use to be notified of any domain that is registered and may infringe on their trademark. It even allows for wildcard patterns in ongoing searches.

How do I know this? Because i received a takedown notice regarding a domain I run to sell background job licenses (oban.dev). The business is entirely unrelated, but the clearinghouse alerting system still brought it to the trademark holder’s attention.
Why spend 8 office hrs + commute when I can spend half that working from home? That's an absurd amount of wasted hours that I can now reap.
As someone with little experience in Rust, I can say that I have had no trouble downloading, compiling, and running binaries from a crate. The only hard part for me is organizing my own crate correctly.
My friend and I decided to start a project. This friend and I have had discussions where he espoused how libraries like Webpack, React, Redux, etc. just overcomplicate the web. I decided to humor him and do a "simple" stack of lit-html, vanilla JS and ES6 modules (since they landed in browsers). It took us maybe...a day to pedal that back? The first thing to go was doing ES6 imports in the browser. I forget the exact sequence of events but the MIME issue definitely showed up, along with maybe an untrusted source issue. Say what you will about Webpack, but native ES6 modules are definitely not here yet.
I feel like the tremendous popularity of node caused the development team to self-reinforce bad habits, but it’s just a theory.

I often wonder what the js ecosystem would look like with Google-working-on-Go levels of runtime and package management design discipline.

One would really think Google would do this, especially considering that Microsoft now has veto power over the npm repository and package format. Yarn was a huge improvement but is still dependent upon the same broken backend model.

AFAICT the success of the JS ecosystem is entangled with Google’s success.
So people have a tendency to read a headline/submission title like this and without reading the article they launch onto their soapbox about their pet issue like, for example, equity compensation at startups should be treated as being worth $0 if the company is not listed.

The article isn't about that. It's about companies misrepresenting their expenses by not accounting for stock-based compensation ("SBC") costs, which is completely fair. Google and Facebook (quoted in the article) do. Others (eg Workday, Splunk, Okta and Atlassian are quoted) seem to muddy the waters by stating they're unprofitable on a GAAP basis (which includes SBC since 2004) but profitable on a non-GAAP basis (where SBC isn't treated as an expense, I assume?).

So, caveat emptor for investors, basically.
It's a terrible idea in the same way that using PHP instead of Rust to build a production large scale application is a terrible idea (i.e. it's actually a great idea but it's not "cool").
He wouldn't be the first. Speaking of which, whatever happened to Dart?
Hm, that's not how I'm reading this. An infinite loop is, by definition, partial. What I'm gathering from this is that that stuckness that the typechecker can encounter in the face of partiality is okay in Idris, that its typechecker just says, "welp, this is as far as I go."
Rust is definitely known for having a sharp learning curve, but I'm not sure what you mean about the package system. I've onboarded several people onto Rust at my job over the past year, and the package system has never been an issue for any of them.
I had flu-like symptoms for 2-3 weeks in late Jan / early Feb, and you're right, it is not fun at all.

I've been thinking about getting the antibody test. Kind of hoping I've already had it. On the one hand would be nice to know that I "might" have some immunity going forward, but on the other very scary to think covid has been active in my community that long. The first official case in my state isn't until a month later.
Not an app per se, but old school shared hosting does this. Might be worth $5 for a month of poking around to see what they do.
Try different goals until you find a goal you don't want to stop working on.

Goal setting/discovery is a skill. You need to work on it like everything else.

The reasoning will sound tautological but it's true: If your problem is finding a goal you'll stick to, your goal should be to look for a goal you'll stick to.
but it's also what creates the expectation that visitors have a lot of money and it attracts the wrong kind of people. they do not know that the money you give them is nothing for you.

besides, $15 isn't exactly nothing for me either. i would quickly blow my travel budget if i were that generous.
Eh, yes and no- that only gets you started if someone else already picked modules for you. Snowpack and such make modern ES modules with npm bearable, but the sheer volume of modules that rely on webpack's preprocessing bastardization of the module system is really depressing. I really wish they had used comment directives or something other than the import statement for things like attaching CSS files to builds.
> Given the prevalence of comments like this, I wonder why any company would ever bother offering an apology or retraction.

Correct. I don't want apologies or retractions from companies. I want postmortems.

This is really no different from a technical outage, e.g., "As a result of a bad deploy to prod on Friday, all Triplebyte profiles became public." Why was it not noticed in testing? What is the testing process? Is profile privacy part of the testing process or part of code reviews? What are the practices around making changes that affect user privacy - is there a culture of asking questions about it up front, etc.?

Most importantly, what changes are being made to prevent a similar outage from reoccurring in the future? I really couldn't care less about how bad the CEO feels about it - sure, the CEO probably should feel bad, but feeling bad is not a reliable mechanism. If the CEO said "Bwahaha, I wish to profit and I learned over the weekend that my profits were in danger, so I changed course" but then says that in order to maintain his profits in the future he added an external privacy council that reviewed all major new initiatives (or whatever), that would actually be a lot more useful than contrition.

Now, yes, it's true that basically no company does public postmortems of decisions that they needed to walk back (at best you get blameful postmortems that end with a key executive resigning, but most of the time that doesn't help anyway - either the executive wasn't the problem, or they were the problem and they already spread the bad culture to others). But I think it was pretty rare until a couple of years ago for tech companies to do detailed public postmortems of internal outages, and that expectation has slowly changed. I think we should push for the same change for non-technical incidents like this.
And of course it hardly explains what they did. If you lock up a bunch of art students for 8 hours a day for years, surely they do something. (Like glue Pixie cups to their faces, judging by the photo.)