Arlémi Turpault

PiWings Takes Off Like a Rocket: Fully Funded in Record Time (less than 12 hours) https://lnkd.in/g4t3Ag3e Hey PiWings Family! 🚀🎉 We’re absolutely over the moon (and maybe somewhere beyond Pluto) to share the incredible news: PiWings has been fully funded in less than 24 hours! Can you believe it? We’re pinching ourselves so hard, we might need drone assistance for rescue! 🤖🤯 We’re bursting with joy and gratitude for each and every one of you. Your enthusiasm and support have turned our dream into a reality faster than you can say "Raspberry Pi Pico!" This isn’t just a win for us; it’s a win for all of you who believed in the magic of PiWings from the start. 🌟💖 Here’s what’s coming next: Stretch Goals Galore: We’ve got some amazing stretch goals lined up. Think of these as extra sprinkles on an already delicious cupcake, or like finding out your drone has a hidden turbo boost. We can’t wait to unveil them and make PiWings even more awesome! 🧁✨ Behind-the-Scenes Fun: As our VIP backers, you’ll get exclusive behind-the-scenes looks at our journey. Expect fun team videos, drone bloopers (yes, we crash too!), and sneak peeks at the cool stuff we’re working on. Warning: You might see us doing the happy dance. A lot. 💃🕺 Community Challenges: Once you receive your PiWings, get ready to show off your skills and creativity. We’re planning some fun contests where you can win cool PiWings swag, share your unique projects, and maybe even get featured in our updates! Think drone races, light shows, and who can make the drone do the funniest trick! 🎨🏁 Your support means the world to us, and we can’t thank you enough for helping us reach this milestone so quickly. You’ve made our hearts soar higher than PiWings itself. We’re committed to delivering an amazing product and experience to you. 💌 Let’s keep this momentum going and continue to spread the word. The sky isn’t the limit—it’s just the beginning! 🌈☁️ From the bottom of our hearts (and the top of our propellers), thank you for believing in PiWings. We’re on this incredible journey together, and we can’t wait to see where it takes us. 🌟 With endless excitement, gratitude, and a whole lot of happy dancing, The PiWings Team 💃💃💃

4

Explore how OpenCV object detection and recognition enhance computer vision applications. From cutting-edge techniques to real-world applications, see how these technologies are transforming industries. Read More: https://lnkd.in/gN2qu_2N #opencv #computervision #objectdetection #machinelearning #technology #deeplearning #objectrecognition #oditek

19

We need hybrid neuro-symbolic reasoning because traditional programming languages, as purely symbolic systems, were designed as contracts between the programmer and the runtime. In this arrangement, both sides operate within a shared symbolic framework. However, the advent of AI introduces a new, transformative element into this equation: the machine no longer follows deterministic rules alone but engages in probabilistic and dynamic reasoning. To fully harness the power of AI, we need a new kind of contract—one that integrates three key parties: AI, the human, and the runtime system. All three must understand and collaborate within a shared reasoning framework. This fusion enables AI to assist in sophisticated problem-solving while remaining interpretable and reliable for humans. Symbolic reasoning provides structure and clarity, while neuro-based models offer the adaptability and pattern recognition required in complex tasks. Together, they form a system that is more powerful than either alone. An interesting analogy can be drawn between hybrid reasoning and the development of jet engines, which fueled exponential growth in aviation. Just as hybrid engines combined the strengths of propellers and jet propulsion to create a more efficient and scalable technology, hybrid neuro-symbolic systems blend structured symbolic logic with the flexibility of neural networks. This combination enables breakthroughs in automation, reasoning, and decision-making, much like how jet engines revolutionized aviation. This approach is essential to bridge the gap between human and AI understanding, ensuring that both can work effectively within a runtime environment capable of executing highly complex and adaptive tasks. https://lnkd.in/gCQvsmhD

3

Take a moment to delve into an informative article crafted by our RTian SIDHARTH DHAMMI on 'Unveiling the Power and Versatility of C++'. We encourage you to engage with the material to gain deeper insights and remain up-to-date with industry advancements. 💫 #informativearticle #technologyinfluencerprogram #c++ #softwaretechnology #technopower #RTians #RealThingks

32

“Proof of Compute” is the methodology for quantifying and validating the #GPU power contributed and used within our ecosystem. As the foundational pillar of the Copute network, it establishes a standardized framework for assessing the computational capabilities provided by GPUs. Through this verification method, the potency and reliability of GPU resources are accurately measured, ensuring transparency and efficiency in resource allocation. By anchoring the Copute ecosystem on Proof of Compute, we cultivate a dynamic environment where the provision and utilization of GPU power are seamlessly integrated, driving the innovation and growth of our platform. Here is how Copute uses “Proof of Compute” to decentralize and secure our #DePIN platform: https://lnkd.in/gJCfuHpm

1

🚀 Unpacking the Game-Changing GitHub Updates from Universe 2024! 🌐 This year’s GitHub Universe showcased some jaw-dropping updates that every tech enthusiast needs to know about. From supercharging GitHub Copilot with more AI model choices to pioneering new ways to bring ideas to life, GitHub is setting the stage for the future of development. Let’s break down the biggest announcements from Universe 2024 and why they matter! 🎉 💡 Choice-Driven AI: Copilot Gets an Upgrade GitHub Copilot now lets developers pick the perfect AI model for their needs with Anthropic’s Claude 3.5 Sonnet, Google’s Gemini 1.5 Pro, and OpenAI’s latest models. Imagine choosing the right tool for each coding challenge, making workflows smoother and more tailored than ever. Multi-model Copilot is available across tools like VS Code and Copilot Chat—finally, freedom to code your way! 🧩🤖 🔥 GitHub Spark: Let Your Creativity Run Wild Ever had a small, quirky app idea? Now you can bring it to life with GitHub Spark, a natural language-driven tool for building fun, personal micro-apps. Whether it’s a mini-game or a productivity hack, Spark makes it easy to experiment directly from your phone. This is development made fun, accessible, and creative! 📱✨ 🛠️ Speedy Code Reviews & Fixes with Copilot Copilot now steps in right when you need it, giving instant feedback on pull requests, reviewing code, and even suggesting fixes through Copilot Autofix. No more waiting on feedback loops—GitHub’s AI has your back for faster merges. 🕒💨 🔐 Making Security Simple with Copilot Autofix With Copilot Autofix, security is baked right into your workflow. Vulnerabilities get identified and patched in record time, all with easy-to-understand fixes. Plus, you can run security campaigns to handle alerts on a massive scale. It’s a smarter, faster way to keep code safe from start to finish. 🔒💡 🎮 A Playground for AI Enthusiasts: GitHub Models GitHub Models is now open for everyone! Experiment with AI models, compare them side-by-side, save prompts, and even try out multi-modal models. It’s like a sandbox for AI enthusiasts, offering the tools to build and test right from the terminal. 📊🤓 🌍 Enterprise Features for the Pros For enterprise devs, GitHub rolled out EU data residency options, enhanced governance controls, and Arm64 runners to boost CI/CD workflows. This is GitHub embracing enterprise needs, from security to performance insights, with a seamless developer experience. 🏢⚙️ GitHub Universe 2024 Has Us Pumped! Whether you’re a developer or simply tech-curious, these updates show how GitHub is transforming the developer journey. AI, security, and flexibility in one powerful platform—it’s all about enabling the next wave of innovation. Ready to dive into these features? Let’s build the future of software, together! 💻🌌

2

1 commentaire

Image compression is key in computer vision, making it possible to store and transmit images efficiently while preserving quality. Learn all about image compression with OpenCV in this latest article by Jeremy Morgan. 🔗 Read here: https://hshno.de/01euoNm

2

C++Now 2024 - Michael Park: "Glean: C++ Code Indexing at Meta" youtu.be/BAxoeCEfb1I Code indexing is an important technology the powers many essential developer tools. Code navigation in IDEs, to symbol search, to semantic analysis tools such as dead code elimination, etc. Glean is a system built at Meta to accurately index multiple languages of very large codebases. This includes the very large C++ codebase at Meta, but also the build system (Buck2) definitions, and the RPC protocol (Thrift) definitions which we can tie together to get an understanding of the full codebase. This talk will focus on the the intricacies of indexing C++ itself, such as collecting accurate information of macro definitions and their usage. --- Michael Park is a Software Engineer at Meta, working on developer productivity efforts. He has been working on a C++ code indexer for Glean, a system for collecting, deriving and querying facts about source code.

17

1 commentaire

Are you curious about what it’s like to intern at Microsoft as a Software Engineer? 🤔 Our latest blog post dives into commonly-asked questions about Microsoft SWE internships, featuring answers from Crystal Chong! Check it out here: https://lnkd.in/g67Qq3YP Whether you’re preparing for an interview or just want to learn more about the internship experience at one of the world’s biggest tech companies, this Q&A covers it all, including:     1️⃣ What values/qualities do Microsoft interviewers look for in candidates for internships?     2️⃣ How did you make connections throughout the summer?     3️⃣ Any tips for converting an internship into a return offer for a full-time role? Head over to the post now and get insider tips directly from someone who’s been through the internship process and succeeded! Big thanks to Crystal for her time and advice! 💻 Get more tips like this in our complete guide to securing a Tech internship 📝 Sign up for free at: https://lnkd.in/eK5wJeyp #InternshipPlaybook #TechInternship #SWEInternship #TechInternship2025 #SoftwareEngineering #StudentResources #TechCareers

2

C++Now 24 - Steve Downey: "Concept Maps using C++23 Library Tech - Indirection to APIs for a Concept" youtu.be/H825py1Jgfk C++0x Concepts included a feature called "Concept Maps," which allowed a set of functions, types, and template definitions to be associated with a concept and the map to be specialized for types that meet that concept. This allowed for open extension of a concept. A definition could be provided that allows an algorithm to operate in terms of the API that concept presents, and the map would then define how those operations are implemented for a particular type. This is similar to how typeclasses work in Haskell. The feature was very general, and was lost as part of the Concepts-Lite proposal that was eventually adopted. This loss of a level of indirection means that the APIs for a concept must be implemented by those names for a type, even when those names are not particularly good choices in the natural domain of a type rather than in the domain as a concept. The proliferation of transform functions for a functorial map is such a problem. It is also a problem when adapting types that are closed for extension or do not permit member functions. In this talk, I will demonstrate a technique using inline variable templates that deliver many of the benefits of concept maps -- at the cost of some syntactic noise in the use in algorithms -- and some advanced machinery which allows minimal definitions of a basis set of operations that can be used to implement the rest of the map. In particular, we will discuss using deducing this (P0847) in addition to -- not as a replacement for -- the Curiously Recurring Template Pattern, which allows syntactically checked definitions of the minimal basis set. To make the technique concrete, I will present a simple binary tree data structure that uses tags to classify the nodes. The tags are required to model the monoid concept, which requires that the tag type have a binary operation and an instance that is an identity for that operation. Integers with the identity element 0 and the operation plus form a monoid. Using different operations and identity elements, the tree can represent a data structure that provides sequenced indexed access – like std::vector or std::deque, a priority queue – like std::priority_queue, or searchability – like std::map, without changes to the core data structure. The binary tree operations are modeled after the more complicated fingertree data structure, which shares the flexible characteristics provided by tags with much greater efficiency. --- Steve Downey has been a programmer for more than 30 years. Steve graduated from SUNY Purchase with a BS in Mathematics. A Computer Science degree would have involved two classes before 11:00 am, so was impossible. He has worked at Bloomberg since 2003, and is currently working as an Engineer on the C++ Infrastructure team.

13

Did you know? C++ was called "C with Classes." Its creator, Bjarne Stroustrup, later renamed it C++ to signify an enhanced version of the C language. The "++" symbolizes the increment operator in C, highlighting its evolution and improvement over its predecessor. #funfact #DidYouKnow #programminghumor

3