Lambros Petrou

Missed one aspect of writing the TLA+ spec yesterday. How to gain confidence it is correct. https://lnkd.in/dQn2VUUq

8

"Running Redis on Windows: Setting Up with WSL" is your step-by-step guide to effortlessly integrating Redis into your Windows environment. Discover how to leverage the Windows Subsystem for Linux (WSL) to run Redis seamlessly, combining the power of Linux with the flexibility of Windows. Whether you’re looking to enhance application performance, manage data more efficiently, or simply expand your tech toolkit, this guide has you covered. Elevate your development game with Redis on Windows today! Dive into the full guide here: https://lnkd.in/d4GrUB9S Authored by: Muhammad Aaliyan Khan, Software Engineer at Qavi Tech Looking to bring innovative ideas like this to life in your IT projects? Get in touch with us! Qavi Tech specializes in cutting-edge development and is always excited to work on interesting, impactful projects. #Redis #Windows #WSL #SoftwareDevelopment #TechTips #Innovation #WebDevelopment

23

I just updated my first table format comparison blog post to fix some missing details of Apache Hudi. https://lnkd.in/dwSUS6qS

5

Diary entry 4 of my Kafka transactions formal verification work. This entry is all about the initial Fizzbee spec and some benchmarks comparing it to TLC (the TLA+ model checker). https://lnkd.in/eifEayC7

13

This guide demonstrates using Terraform's lifecycle meta-argument to ignore changes to parameter values, enabling seamless integration with other processes that modify these values. https://lnkd.in/eK8QYnVv

1

Amazon SES feedback events can now be sent to EventBridge 🌟 🚀 This is such a cool and convenient feature and was on the AWS wishlist for a long time 👏 If you worked with SES, you know the struggle filtering from the dozen or so feedback events you can receive for every email sent to Firehose or SNS. The EventBridge option now makes it easy to have filters for the different types of events and perform downstream analytics and suppression lists. https://lnkd.in/eineVREt #AWS #serverless #SES #email #EventBridge #eventdriven

12

Pretty interesting about moving from cloud back to on-premise setup

10

1 Comment

S3 finally gets conditional writes, joining Azure and Google Cloud storage with this capability. This will make a lot of distributed data system people happy. https://lnkd.in/e6qqVh87

143

3 Comments

The Next Chapter in the Sordid Love/Hate Relationship Btwn DBs & OSes https://lnkd.in/dMica_HW A fantastic talk about the various possibilities that eBPF enables for database systems.

3

Anyscale's own Sam Chan and Cindy Zhang delve into the technical nuances of multi-application serve architectures with diverse dependencies. Discover how different containers can now be deployed on the same serving cluster in this week’s Ray Spotlight interview: https://lnkd.in/gfv6QZwD

43

With SLMs demonstrating capabilities at the size of 7/8B, 2B is the next one, targeting on-device use cases.

7

I wrote a piece on consuming AWS S3 events with Knative and Apache Camel K in an on-premise world: https://lnkd.in/evpa4GAQ

20

With the announcement of S3-native-streams (Freight clusters), here is a commentary on Confluent strategy regarding object storage, streaming and an open data architecture. https://lnkd.in/dTg6DKVy

49

6 Comments

Check out this AWS blog about how Rufus build an LLM application at scale with high scalability, availability, throughput and low latency. It’s a combination of great technologies in infrastructure, software and hardware. We use AWS ECS as deployment and serving infrastructure, NVIDIA #Triton as server layer, #vLLM as inference engine, #Neuron SDK as inference backend, and #Trainium #Inferentia chips for compute developed by #Annapurnalabs. This is made possible by the Rufus team members and our great Amazon partners from AWS and #Annapurnalabs.

39

We've launched an Arctic Shores Engineering Blog 🎉 🎉 In the coming weeks we'll post interesting snippets on how we've built UNA, from the base AWS infrastructure right up through our Scala services and our Assessment itself. First though me and Ravi Ramanuj have talked about our security posture, and how we've moved from a classic public/private network architecture with TLS offloading at the load balancer to full mTLS encryption in transit. All with no downtime and not too much effort: https://lnkd.in/dyvf9RAT

35

🚀 Exciting News! 🚀 Ever wondered how to effortlessly publish your private Android library with Bitbucket and AWS S3? Well, wonder no more! I've just published a comprehensive guide that breaks down the process step-by-step. Whether you're pushing or merging code into the master branch, our automated setup has you covered. 📦💻 Check out my latest blog post: "Publish Your Private Android Library with Bitbucket and AWS S3: The Simple and Automated Way!" 🌟 https://lnkd.in/gvPMNvzD Let's make library publishing a breeze! 🛠️✨ #AndroidDevelopment #MavenPublishing #Bitbucket #AWSS3 #TechBlog #CodingLife #Cars24 #Kotlin

22

Possibly the best explanation of direct-style Scala that I have read till date. Personally I still favor the more FP, more compositional effect based programming model. But looks like direct-Scala is a definite step towards democratising functional programming without the learning curve of monads and applicatives. ZIO had done a lot in abstracting away the algebraic structures from the programming model through use of powerful combinators. Direct-style may be the next logical step .. and definitely Scala 3 may prove to be the right vehicle to drive this adoption.

19

New blog post! A commentary on BYOC, the Warpstream acquisition and Confluent as an everywhere platform. https://lnkd.in/dZ9RhckN

39

9 Comments