Tools I Use Every Day
A comprehensive overview of daily development tools used by a professional developer, covering code editors (JetBrains Rider, VS Code), collaboration platforms (GitHub, Teams, Slack, Discord), productivity apps (Notion, ChatGPT, Feedly), AI tools (LM Studio, Azure Local AI Foundry), and utilities (Windows Terminal, Postman, NordPass). Includes cost breakdown showing monthly expenses ranging from $50-100+ depending on licensing tiers, with many tools offering free alternatives
❤6🔥2
Wave UI
Wave UI is a flexible and customizable framework that offers improved control over CSS, especially when using Sass. It provides modern design features, is fully responsive, and ensures accessibility.
🔥2
My Engineering Craft Regressed
The author shares their journey of investing significant time in open source projects post-university, only to find job recruiters did not value it. Despite a strong skill set, they struggled to secure lucrative roles, and eventually shifted focus to Leetcode, which resulted in a significant salary increase but caused a regression in their technical skills. Now, they receive high-paying job offers without the same fulfillment they had from their open source work
❤4🔥3🗿2
ImperialCollegeLondon/FLT: Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Imperial College London is leading an open-source project to formalize the proof of Fermat's Last Theorem using the Lean theorem prover. The multi-author effort, funded by EPSRC until 2029 and led by Kevin Buzzard, follows a modern variant of the original Wiles/Taylor-Wiles proof approach planned by Richard Taylor.
❤2🔥2
url.town
url.town is a community-curated web directory organized by the omg.lol community, featuring categorized links across diverse topics including computers, arts, games, internet culture, and more. The directory includes sections for educational resources, open source projects, blogging tools, and various specialized interests, with recent additions like MIT OpenCourseWare highlighting its focus on quality resource curation.
❤2👍1🔥1
How to style console logs in Chrome DevTools: Color and more!
Discover methods to enhance the appearance of console logs in Chrome DevTools by using specifiers, ANSI escape sequences, and CSS styling techniques.
❤13👍3
Own Your Email Domain
Owning your email domain provides crucial benefits such as disaster recovery and branding, especially for business users. Rather than relying on email providers' domains, which can jeopardize access if their terms are violated, owning a domain allows flexibility and control over your email. The process involves registering a domain, choosing a suitable email provider, and configuring DNS records, which incurs costs but offers enhanced security and independence.
❤7👍1
Google just killed another product
Google officially confirmed plans to merge ChromeOS into Android, creating a unified platform across phones, tablets, and laptops. The merger aims to reduce development costs, create a cohesive ecosystem to compete with Apple, and enable better cross-device experiences. ChromeOS features like windowed multitasking, desktop mode, and Linux support will be built on top of Android. Developer previews are expected in late 2025, with consumer devices potentially shipping in 2026. While the move promises better app ecosystems and developer efficiency, challenges include potential hardware compatibility issues for older Chromebooks and the risk of Android fragmentation affecting the desktop experience.
🗿13😁4👍3👎1
AI for grown-ups
AI tools can speed up processes but may add technical debt in professional workflows. Developers, designers, and marketers face challenges with AI-generated outputs that don't fit seamlessly into existing systems. For AI to be useful for mature teams, builders need to respect existing tools and frameworks, while professionals need to provide context. Builder.io is working towards AI tools that integrate better with professional workflows, focusing on removing drudgery while respecting the intricacies of design, code, and marketing
❤2
Odyc.js
Odyc.js is a lightweight JavaScript library designed to help users create interactive narrative games without requiring extensive programming knowledge. The library aims to make game development accessible to beginners while leveraging JavaScript's capabilities for creating engaging interactive experiences.