Forwarded from Hacker News (yahnc_bot)
Programming with Categories http://brendanfong.com/programmingcats.html
Brendanfong
MIT 18.S097: Programming with Categories
In this course we explain how category theory—a branch of mathematics known for its ability to organize the key abstractions that structure much of the mathematical universe—has become useful for writing elegant and maintainable code. In particular, we'll…
augustbradley 的 Youtube 视频
🔥Hot & Cold Knowledge Topics – Notion Personal Knowledge Management
🔥Hot & Cold Knowledge Topics – Notion Personal Knowledge Management
YouTube
🔥Hot & 🧊Cold Knowledge Topics – Notion Personal Knowledge Management
Today we add 🔥Hot & 🧊Cold Knowledge Topics to our Notion personal knowledge management system (the Mind Expansion Dashboard + Knowledge Vault Database). This enables us to more quickly access and retrieve information and knowledge resources.
Get my NOTION…
Get my NOTION…
Forwarded from Hacker News (yahnc_bot)
On modern hardware the min-max heap beats a binary heap https://probablydance.com/2020/08/31/on-modern-hardware-the-min-max-heap-beats-a-binary-heap/
Probably Dance
On Modern Hardware the Min-Max Heap beats a Binary Heap
The heap is a data structure that I use all the time and that others somehow use rarely. (I once had a coworker tell me that he knew some code was mine because it used a heap) Recently I was writin…
Forwarded from Hacker News (yahnc_bot)
Hints and Principles for Computer System Design [pdf] https://www.dropbox.com/sh/4cex542zznbjh7b/AADM59pqAb9YBy4eeT1uw0t8a?dl=0&preview=Hints+190+full.pdf
Forwarded from Hacker News (yahnc_bot)
Why is OOP still so widely spread? https://stackoverflow.blog/2020/09/02/if-everyone-hates-it-why-is-oop-still-so-widely-spread/
Stack Overflow Blog
If everyone hates it, why is OOP still so widespread?
OOP has been wildly successful. But was the success just a coincidence? And can it still offer something unique in 2020 that other programming paradigms cannot?
Forwarded from Hacker News (yahnc_bot)
Automatic SSL Certificates for internal IP's for home k8 setup using LetsEncrypt https://www.techprowd.com/automatic-ssl-certificates-for-home-microk8s-setup-using-letsencrypt/
Forwarded from Hacker News (yahnc_bot)
Using Vim for C++ Development https://gist.github.com/p1v0t/42a34744b5e4f5980e5f4e1c980ec859
Forwarded from Hacker News (yahnc_bot)
Show HN: Automated Health Dashboard https://github.com/TwinProduction/gatus
GitHub
GitHub - TwiN/gatus: Automated developer-oriented status page with alerting and incident support
Automated developer-oriented status page with alerting and incident support - TwiN/gatus
Forwarded from Newlearnerの自留地 (初学者 | newlearner.site)
#APP #macOS #GitHub情报
📅 Itsycal:一个简洁而开源的 macOS 日历软件
GitHub | Web | Wiki
👉 Features:
- 常驻 MenuBar,主界面简洁明了
- 支持通过自带「日历」软件导入日历事件列表
- 支持任意星期月视图高亮,便于标注
- 支持添加新的事件,并可选择主界面展示事件的时间跨度
- 支持 MenuBar 自定义日期/时间展示,非常灵活
- 支持 Dark Mode,对于新老系统都很友好
❤️ 最近看见后,我非常喜欢这款小巧简洁的软件,它也很好地解决了我的问题:不想额外打开「日历」 app 看日期。安装之后,在 MenuBar 点击即可看到当月的月视图。随后将「中国节假日」导入 Itsycal,调整显示事件列表跨度为 31 天,即可看到全部的节假日信息
不仅如此,可自定义 MenuBar 显示的日期和时间也非常棒,参考了 Wiki 之后我成功设置,替换了系统自带的模块。虽然可以提供日程安排,但 Itsycal 跟「效率管理」扯不上太大关系。这款软件对我而言,就是便于节假日查看、进行日期与星期判断等
Itsycal 也已经走过了 5 年的历史,最近半年更新放缓。作为一款开源免费的软件,它也有自身需要改进的地方,譬如引入公历、支持日程提醒等。就付费方案来看,大家也可以选择小历等日历软件。而 Fantastical 更偏向于基于日历的日程管理,较重,可结合需求谨慎考虑
👀 回顾:
1️⃣ 时光进度 bProgress:一个简单的 iOS 进度管理 App
2️⃣ OpenHappyHackingCalendar:生成 2020 年编程日历
频道:@NewlearnerChannel
📅 Itsycal:一个简洁而开源的 macOS 日历软件
GitHub | Web | Wiki
👉 Features:
- 常驻 MenuBar,主界面简洁明了
- 支持通过自带「日历」软件导入日历事件列表
- 支持任意星期月视图高亮,便于标注
- 支持添加新的事件,并可选择主界面展示事件的时间跨度
- 支持 MenuBar 自定义日期/时间展示,非常灵活
- 支持 Dark Mode,对于新老系统都很友好
❤️ 最近看见后,我非常喜欢这款小巧简洁的软件,它也很好地解决了我的问题:不想额外打开「日历」 app 看日期。安装之后,在 MenuBar 点击即可看到当月的月视图。随后将「中国节假日」导入 Itsycal,调整显示事件列表跨度为 31 天,即可看到全部的节假日信息
不仅如此,可自定义 MenuBar 显示的日期和时间也非常棒,参考了 Wiki 之后我成功设置,替换了系统自带的模块。虽然可以提供日程安排,但 Itsycal 跟「效率管理」扯不上太大关系。这款软件对我而言,就是便于节假日查看、进行日期与星期判断等
Itsycal 也已经走过了 5 年的历史,最近半年更新放缓。作为一款开源免费的软件,它也有自身需要改进的地方,譬如引入公历、支持日程提醒等。就付费方案来看,大家也可以选择小历等日历软件。而 Fantastical 更偏向于基于日历的日程管理,较重,可结合需求谨慎考虑
👀 回顾:
1️⃣ 时光进度 bProgress:一个简单的 iOS 进度管理 App
2️⃣ OpenHappyHackingCalendar:生成 2020 年编程日历
频道:@NewlearnerChannel
Forwarded from Hacker News (yahnc_bot)
List of YouTube channels for improving web development and programming skills https://devandgear.com/posts/the-ultimate-list-of-youtube-channels-to-boost-your-web-development-and-programming-skills/