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
Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods
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, 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/
@LunaDragofelis because #aws is too cheap and they get $100k+ free credits!
@LunaDragofelis Consider #blackholing entire #ASN|s like #aws and all the ofther #GAFAMs instead.
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
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/
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/
PagerDuty is hiring Senior Security Engineer 3, Product & Application Security
#golang #java #python #ruby #rubyonrails #aws #azure #cicd #kubernetes #terraform #securityengineer #seniorengineer
Remote; United States
Full-time
PagerDuty
Job details https://jobsfordevelopers.com/jobs/senior-security-engineer-3-product-application-security-at-pagerduty-com-mar-18-2025-5eabee?utm_source=mastodon.world&utm_medium=social&utm_campaign=posting
#jobalert #jobsearch #hiring
CLEAR is hiring Staff Software Engineer, Backend (Java)
#java #aws #docker #kafka #kubernetes
Austin, Texas
Full-time
CLEAR
Job details https://jobsfordevelopers.com/jobs/staff-software-engineer-backend-java-at-clearme-com-jan-9-2025-53c5f9?utm_source=mastodon.world&utm_medium=social&utm_campaign=posting
#jobalert #jobsearch #hiring