Switched from Markdown to Typst for note-taking

GitHub - rvben/rumdl: A Markdown Linter written in Rust, https://lnkd.in/et4cFWbe IA Summary: Discover rumdl, the high-performance Markdown linter and formatter engineered in Rust to elevate your documentation quality and consistency. This tool offers 54 lint rules, automatic fixes, seamless CI/CD integration, and a VS Code extension, making it an indispensable asset for any developer working with Markdown. #rumdl #markdown #linter

Shipping another free community tool: Slickshot (https://ss.outstep.co) My favorite screenshot beautifier went down recently. I loved it, used it daily, and didn’t want to lose the workflow. So I dug into their public GitHub repo and rebuilt my own version for the community. Credit to the original repo I used: https://lnkd.in/ezVkchw8 Sticking to my "free tools for community" mission, I first launched QuickNote - a fast, minimal scratchpad for ideas: https://lnkd.in/eJe7MRPs Now, Slickshot - a simple, clean way to make screenshots look great in seconds: https://ss.outstep.co If you build products, design, code, or share visuals regularly, try Slickshot (https://ss.outstep.co) and QuickNote (https://lnkd.in/eJe7MRPs). Tell me what breaks, what’s missing, and what would make them 10x more useful for you. I’m keeping these tools free, lightweight, and fast, so the community can move quickly.

💻 Coders, let’s settle this! Which tool boosts your productivity the most? 👇 1️⃣ VS Code 2️⃣ GitHub 3️⃣ Jupyter Notebook 4️⃣ PyCharm Drop your answer in the comments — we’re curious to see which tool takes the crown! 👑 #IngrydAcademy #CodingLife #SoftwareDevelopment #NigeriaTech #ProductivityTools #IngrydOnTech

💻 Coders, let’s settle this! Which tool boosts your productivity the most? 👇 1️⃣ VS Code 2️⃣ GitHub 3️⃣ Jupyter Notebook 4️⃣ PyCharm Drop your answer in the comments — we’re curious to see which tool takes the crown! 👑 #IngrydAcademy #CodingLife #SoftwareDevelopment #NigeriaTech #ProductivityTools #IngrydOnTech

I’ve started a Logic Building Playlist on YouTube to help beginners and aspiring developers understand programming concepts step by step. Each video focuses on building logic from scratch — breaking down problems, understanding patterns, and thinking like a programmer 👩💻 Whether you’re starting with C or Java, this playlist will help you: Improve problem-solving skills Understand how to approach coding challenges Build confidence for technical interviews 🚀 Watch the playlist here 👉 https://lnkd.in/gGCJtMwZ If you’re a beginner trying to master logic building, this series is for you! 💬 Comment below if you’ve checked it out — I’d love to know your feedback! #Programming #LogicBuilding #CodingJourney #LearnToCode #Developers #CProgramming #Java #CodingCommunity #ProblemSolving

💡 Make your Confluence formulas readable! If you work with mathematical expressions, LaTeX can make adding and editing formulas much easier. In our latest guide, we show how to use LaTeX Math for Confluence to work with: - Summations - Integrals - Math functions The app helps your team create clean, easy-to-follow pages with formulas directly in Confluence. Check out our guide👇

📘The user manual for B Method, the B WORKBOOK, is now available on CLEARSY's GitHub: (https://lnkd.in/e75mggTG). ⏳After several months of effort, this first version (122 pages) can now be used as a resource for training in formal methods and for teaching the B method. 🙏We warmly thank the contributors and reviewers such as the IMD/Universidade Federal do Rio Grande do Norte (Natal, Brazil), the Universidade Federal de Pernambuco (Recife, Brazil), the Heinrich-Heine-Universität Düsseldorf (Düsseldorf, Germany) and Télécom Paris (Paris, France) who made this release possible. ✅ The B WORKBOOK currently offers 7 exercises of increasing complexity, providing a step-by-step introduction to the tool Atelier B. 💡It covers the main phases of development with B Method : formal specification, implementation, proof, code generation, and compilation of the final executable. 📂Each exercise comes with: * modelling files * proof files with automatic demonstrations * complementary manual source code and Makefile for Unix environments (Windows WSL, Linux, MacOS) * instructions for animating models with the dedicated tool ProB 🔎 A next iteration (planned for 2026) will extend the scope with new exercises on: * Event-B formal system modelling langage * graphical animation with the tool VisB * Rust code generation * interactive proofs, proof tactics, and rule writing 🌍 We welcome error reports, suggestions, and new exercise ideas through GitHub collaborative network. #FormalMethods #BMethod #AtelierB #Education #CLEARSY #ProB #EventB #SIL4

Last up in the series on Getting Started with GitHub Copilot, using MCP tools. In today's lesson, Pablo Lopes teaches how to make #GitHubCopilot work with #MCP (Model Context Protocol) and how to use it in #VisualStudio. Watch here ➡️ https://msft.it/6042sFUiO

GitHub Copilot Daily Tips #12: GitHub Copilot Code Review (now in JetBrains IDEs and Visual Studio!) 🚀 GitHub Copilot Code Review is here to help you write better code — even before you open a pull request! It gives you smart feedback right inside your editor, helping you catch logic, security, and performance issues early. 🛠️✨ (FYI this feature is basically available for Pro/Pro+/Business/Enterprise plan users, but Code Review for selected code is available for Free plan users!) 🆕 Now available in JetBrains IDEs (like IntelliJ, PyCharm, WebStorm) and Visual Studio! Just update your Copilot plugin, stage your changes, and click the Copilot Code Review button. Super easy! 😄 💡 Whether you're just starting out or already coding every day, this tool can save you time and help you learn faster. 👉 Give it a try and see how it helps your coding journey! 🔗 https://lnkd.in/g7z8RSuT 🔍️Want to learn more in depth? Join the GH-300 course, Microsoft's official training for GitHub Copilot beginners! https://lnkd.in/gEqzk6Y7 📜GitHub Copilot Daily Tips series: https://lnkd.in/g3mKSZm5 #GitHub #GitHubCopiot #VSCode #AI #MTT #SkilledByMTT