Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods
Link: https://queue.acm.org/detail.cfm?id=3712057
Discussion: https://news.ycombinator.com/item?id=43547593
Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods
Link: https://queue.acm.org/detail.cfm?id=3712057
Discussion: https://news.ycombinator.com/item?id=43547593
Weee! is hiring Manager/Senior Manager of Machine Learning
#python #aws #azure #gcp #machinelearning #seniorengineer
Fremont, California
Full-time
Weee!
Job details https://jobsfordevelopers.com/jobs/manager-senior-manager-of-machine-learning-at-sayweee-com-feb-24-2025-fac2de?utm_source=mastodon.world&utm_medium=social&utm_campaign=posting
#jobalert #jobsearch #hiring
Das #BSI kooperiert nicht nur mit #Google.
BSI und #AWS kooperieren für mehr Cybersicherheit und digitale Souveränität in Deutschland und der EU
https://www.aboutamazon.de/news/amazon-web-services/bsi-und-aws-kooperation
MongoDB is hiring Senior Software Engineer
#csharp #golang #java #typescript #react #aws #azure #gcp #mongodb #seniorengineer
New York City, New York
Full-time
MongoDB
Job details https://jobsfordevelopers.com/jobs/senior-software-engineer-at-mongodb-com-feb-20-2025-229335?utm_source=mastodon.world&utm_medium=social&utm_campaign=posting
#jobalert #jobsearch #hiring
Personally, I'm thrilled to get back to work supporting these builders and their critical projects. Our doors are always open if you need #AWS support, or if you have ideas about how we can do more.
Until next time — build on, friends! and be excellent to each other
Today, #AWS announced an extended $3 million annual commitment to @kubernetes.io and reaffirming our commitment to supporting open source projects with the vital infrastructure they need to operate at global scale. For free.
aws.amazon.com/blogs...
#OpenSource #Kubernetes #CNCF #OSS
AWS Cloud Credits for Open Sou...
Today, #AWS announced an extended $3 million annual commitment to #Kubernetes, reaffirming our commitment to supporting open source projects with the vital infrastructure they need to operate at global scale. For free.
https://aws.amazon.com/blogs/opensource/aws-cloud-credits-for-open-source-projects-affirming-our-commitment/
Le Québec sous espionnage américain Nos données entre les mains des Américains
« Les révélations d’Edward Snowden en 2013 nous ont renseignés sur les méthodes du gouvernement américain pour espionner, par l’entremise d’entreprises, des citoyens et des organisations, même dans des pays alliés. »
https://www.lapresse.ca/actualites/souverainete-numerique/nos-donnees-entre-les-mains-des-americains/2025-04-01/le-risque-est-maintenant-reel.php
#USA #Québec #espionnage #infonuagique #CAQ #AWS #Dell #Microsoft #IBM #Oracle #Amazon
2 more #IPv6 updates from #AWS
RAM endpoints are now dualstack. yay, but also meh.
Bigger news is that API gateway is now dualstack. Not sure that it justified a full blog on just turning it on tho
https://aws.amazon.com/blogs/aws/amazon-api-gateway-now-supports-dual-stack-ipv4-and-ipv6-endpoints/
Yay, another of my packages is getting $ on Tidelift.
apig-wsgi bridges some AWS services, like AWS API Gateway and Lambda, with WSGI apps, like Django projects. I wrote it when deploying Django on AWS Lambda and have maintained it since.
Some of my colleagues at #AWS have created an open-source serverless #AI assisted #threatmodel solution. You upload architecture diagrams to it, and it uses Claude Sonnet via Amazon Bedrock to analyze it.
I'm not too impressed with the threats it comes up with. But I am very impressed with the amount of typing it saves. Given nothing more than a picture and about 2 minutes of computation, it spits out a very good list of what is depicted in the diagram and the flows between them. To the extent that the diagram is accurate/well-labeled, this solution seems to do a very good job writing out what is depicted.
I deployed this "Threat Designer" app. Then I took the architecture image from this blog post and dropped that picture into it. The image analysis produced some of the list of things you see attached.
This is a specialized, context-aware kind of OCR. I was impressed at boundaries, flows, and assets pulled from a graphic. Could save a lot of typing time. I was not impressed with the threats it identifies. Having said that, it did identify a handful of things I hadn't thought of before, like EventBridge event injection. But the majority of the threats are low value.
I suspect this app is not cheap to run. So caveat deployor.
#cloud #cloudsecurity #appsec #threatmodeling
CookUnity is hiring Engineering Manager, Growth
#kotlin #swift #typescript #react #android #ios #aws #mysql #postgresql #engineeringmanager
Buenos Aires, Argentina
Full-time
CookUnity
Job details https://jobsfordevelopers.com/jobs/engineering-manager-growth-at-cookunity-com-dec-19-2024-4107a2?utm_source=mastodon.world&utm_medium=social&utm_campaign=posting
#jobalert #jobsearch #hiring
MCPツールを使う汎用的なStreamlitチャットアプリを作って、いろんなMCPツールを使ってみた。
https://qiita.com/moritalous/items/1591ab48f1ffda299719?utm_campaign=popular_items&utm_medium=feed&utm_source=popular_items
AWS CloudTrail network activity events for VPC endpoints now generally available
How do you use cross-account CodeArtifact repositories
https://stackoverflow.com/questions/67911411/cross-account-access-to-a-codeartifact-repo
Discussions: https://discu.eu/q/https://stackoverflow.com/questions/67911411/cross-account-access-to-a-codeartifact-repo
Free Open Source App (made by me)
https://github.com/notyouritguru/aws-cli-gateway/
Discussions: https://discu.eu/q/https://github.com/notyouritguru/aws-cli-gateway/
"It's five grand a day to miss our S3 exit"
https://world.hey.com/dhh/it-s-five-grand-a-day-to-miss-our-s3-exit-b8293563
Living-off-the-land Dynamic DNS for Route 53
https://www.new23d.com/living-off-the-land-dynamic-dns-for-route-53/
Discussions: https://discu.eu/q/https://www.new23d.com/living-off-the-land-dynamic-dns-for-route-53/