shortj

7 ms·

1.
Developing provably correct Rust code with Verus(amazon.science)
1 points by shortj 1mo ago|0 comments
2.
by shortj 2y ago
As far as I know, fly.io is very much alive?
3.
We replaced StepFunctions ASL with TypeScript by making Lambdas suspendable(restate.dev)
4 points by shortj 3y ago|0 comments
4.
by shortj 3y ago
I caught myself the other day throwing my feed of articles into an LLM to give me summaries and what it thinks are interesting points / facts. I'm not sure how to feel about this.
5.
by shortj 3y ago
Nice catch and very good point. The model actually tried to fix this in a couple cases, but not all, when I was playing with it to see how else it would typo.
6.
by shortj 3y ago
Funny enough, one fo the first things I did with ChatGPT was teach it how to write with charcater keyboard transpositions and subtle typos so people wouldn't think varioius text was AI generated. Works pretty well. (Case in point, the
7.
Rust – What made it “click” for me (Ownership and memory internals)(deavid.wordpress.com)
79 points by shortj 4y ago|74 comments
8.
Software Art: I Can Feel(jpreston.xyz)
2 points by shortj 5y ago|0 comments
9.
by shortj 5y ago
Make sure you have versioning turned on as well. Even if attackers can figure out your naming conventions and overwrite, you just go back to the first version and everything is good.
10.
by shortj 5y ago
Yeet is for distance/power. Kobe is for accuracy/precision.
11.
by shortj 6y ago
> that means there are long-lived credentials (probably written to disk) used to generate short-lived credentials. In terms of local development experience, most mature organizations will have these "long lived" credentials sti
12.
by shortj 6y ago
Yep! They work great in many situations. However, Cloud9 is quite a bit more usable and stable on something like shaky/inconsistent airplane wifi. It’s also way less friction to setup and tear down 3 or 4 Cloud9 instances in a day comp
13.
by shortj 6y ago
Appreciate you!
14.
by shortj 6y ago
RDS snapshot copying, EBS snapshot copies, S3 cross account bucket replication, etc. Write only with no entry points into that account from your other accounts. (Preferably its own locked down IAM role with MFA required)
15.
by shortj 6y ago
Probably the most useful mechanism I have for determining this is “if this AWS account disappears, how screwed am I / can I recover.” I tend to separate all of my projects/services, and each of those to environments. A cold storag
16.
by shortj 6y ago
From my understanding when I first read through Kendra info (albeit that was launch day) it is more enterprise knowledge-base search and not quite the same use case as Algolia.
17.
by shortj 6y ago
Author here. Similar reply to one I did below, but a significant amount of developers I work with in enterprise or corporate contexts don’t have this similar situation. Cloud9 can be fairly liberating for them short term, especially while l
18.
by shortj 6y ago
Author here. HN in a lot of cases has readership that I’d put in the segment of developers that should absolutely not be using Cloud9 daily. I personally take using Cloud9 to the absolute extreme( https://www.trek10.com/blog&
19.
Rules for Data Modeling with DynamoDB(trek10.com)
207 points by shortj 6y ago|80 comments
20.
Best Practices for Secondary Indexes with DynamoDB(trek10.com)
1 points by shortj 7y ago|0 comments
21.
by shortj 7y ago
I'll never understand why they haven't fixed that. A while ago I ended up writing a little patch that parallelized list sends with Redis backing things and some worker processes. Took me maybe a day of work. If I remember right we
22.
Amazon won't spin off AWS, and that's too bad for AWS(forrestbrazeal.com)
2 points by shortj 7y ago|0 comments
23.
by shortj 7y ago
A bit tangential, but please for all that is good in this world, stop depending on static AWS IAM User keys in an integration product. https://docs.sendwithses.com/how/how-to-generate-aws-keys-fo... . You should absolut
24.
by shortj 7y ago
The Amplify naming is a special kind of AWS classicality. Amplify, what a great Netlify like experience! Oh... not that one, you mean the CLI/Framework. Also pretty cool, we'll see how it plays out with the CDK. No? You mean the l
25.
by shortj 7y ago
Yep, and it does so pretty easily. You just connect Amplify Console projects in each of the two accounts to a particular branch (or branches if you want feature branches in dev) of your git repository.
26.
by shortj 7y ago
Amplify CLI and Amplify Console have nothing to do with one another. Confusing naming, I know.
27.
by shortj 7y ago
For anyone else that is looking at rolling your own static hosting like this on AWS specifically (including CloudFront cache invalidations and protected domains), I highly recommend checking out Amplify Console https://aws.amazon
28.
Jsii: Use JavaScript modules naturally from every programming language(github.com)
1 points by shortj 7y ago|0 comments
29.
by shortj 8y ago
I actually went through exactly this with Dropbox a couple weeks ago. It took me two tries, the first time I mis-read / fell into one of the dark patterns. I'd made up my mind long before I ever went to the website to cancel and a
30.
by shortj 8y ago
There are a lot of caveats, good live coding demos seem share some of the same properties: - the presentation is focused on the experience around writing the code. Debugging, tooling, etc. No, I don't want to see you fumble around codi

More ›