Paul Schaub: Implementing Packet Sequence Validation using Pushdown Automata
This is part 2 of a small series on verifying the validity of packet sequences using tools from theoretical computer science. Read part 1 here.
In the previous blog post I discussed how a formal grammar can be transformed into a pushdown automaton in order to check if a sequence of packets or token … ⌘ Read more
3 strategies for consolidating your toolkit and boosting productivity
Explore how GitHub Enterprise can help you transform your software engineering organization and practices. ⌘ Read more
Why and how GitHub encrypts sensitive database columns using ActiveRecord::Encryption
You may know that GitHub encrypts your source code at rest, but you may not have known that we encrypt sensitive database columns as well. Read about our column encryption strategy and our decision to adopt the Rails column encryption standard. ⌘ Read more
user/bmallred/data/2022-10-26-03-46-39.fit: 8.51 miles, 00:09:43 average pace, 01:22:40 duration
user/bmallred/data/2022-10-25-13-46-20.fit: 4.59 miles, 00:09:52 average pace, 00:45:19 duration
Why we’re excited about the Sigstore general availability
The Sigstore GA means you can protect your software supply chain today with GitHub Actions, and will power new npm security capabilities in the near future. ⌘ Read more
98.css (again)
I already shared “98.css” on my blog in 2020. It’s a CSS framework that styles semantic HTML to look like Windows 98. ⌘ Read more
**RT by @mind_booster: 🗓️ 21/10/2022
📝 P.R. (L) ➡️ Recomenda ao GOV que estabeleça a obrigatoriedade de sistemas de reciclagem/reutilização d’águas cinzentas em novas construções e considere a elegibilidade desses sistemas para apoios financeiros
✅ PSD, BE, PAN, L
❌
⚪️ PS, CH, IL, PCP
Aprovado 🟢**
🗓️ 21/10/2022
📝 P.R. (L) ➡️ Recomenda ao GOV que estabeleça a obrigatoriedade de sistemas de reciclagem/reutilização d’águas cinzentas em novas construções e considere a elegibilidade desses sistemas para apoios fin … ⌘ Read more
HM [04;01;07]: 13 mile run: 15.07 miles, 00:10:00 average pace, 02:30:47 duration
https://galusik.fr/log/2022-10-23-new-blog-workflow.html New blog workflow: from markdown to gemtext
Protecting Internal Web Resources
BackgroundTL;DR: This blog post is a write-up of the process I went through to setup a set of internal web resources and apps for a small company I am running in my spare time ( providing a Single-Sign-On / SSO experience for internal users with web applications protected by flexible access policies including single and multi-factor authentication / two-factor authentication or 2FA).
As I mentioned in the TL;DR above, I run a small software/technology com … ⌘ Read more
Build a game this November with Game Off 2022
Save the date! Game Off returns on November 1 for it’s 10th year! 🎉 ⌘ Read more
Git Merge 2022 – that’s a wrap! 🎬
Git Merge 2022 just wrapped up bringing the community together for 16 talks, three workshops, one Git Contributor Summit, and lots of great conversations over two days. Read on for more info, photos from the event, and all of the session recordings. ⌘ Read more
user/bmallred/data/2022-10-21-09-45-18.fit: 2.97 miles, 00:13:09 average pace, 00:39:01 duration
Build a game this November with Game Off 2022
Save the date! Game Off returns on November 1 for it’s 10th year! 🎉 ⌘ Read more
賦值算符的方向 ⌘ Read more
Unboxing fork improvements and unwrapping fork docs
We’re always trying to improve the GitHub developer experience in meaningful ways, and we love learning from our customers. In the last several months we released several new fork capabilities, and we’re publishing revised fork documentation that gives more details with clearer explanations to make fork concepts easier to understand. ⌘ Read more
Improving navigation for GitHub Actions
GitHub Actions changed how developers automate workflows with GitHub. Today, we’re introducing a new navigation to manage your GitHub Actions experience, improving discoverability and accessibility as well as opening up future feature opportunities. ⌘ Read more
The Pocket Casts mobile apps are now open source
Good news! The Pocket Casts mobile apps are now open source. ⌘ Read more
user/bmallred/data/2022-10-20-09-09-17.fit: 4.46 miles, 00:09:28 average pace, 00:42:14 duration
user/bmallred/data/2022-10-19-04-15-59.fit: 8.51 miles, 00:08:56 average pace, 01:15:58 duration
Git security vulnerabilities announced
Upgrade your local installation of Git, especially when cloning with –recurse-submodules from untrusted repositories, or if you use git shell interactive mode. ⌘ Read more
Introducing fine-grained personal access tokens for GitHub
Fine-grained personal access tokens offer enhanced security to developers and organization owners, to reduce the risk to your data of compromised tokens. ⌘ Read more
Git security vulnerabilities announced
Upgrade your local installation of Git, especially when cloning with `–recurse-submodules` from untrusted repositories, or if you use `git shell` interactive mode. ⌘ Read more
user/bmallred/data/2022-10-17-14-24-58.fit: 4.32 miles, 00:11:43 average pace, 00:50:41 duration
GitHub at the 77th United Nations General Assembly
Read about how the GitHub Social Impact, Tech for Social Good and Policy teams participated in the 77th session of the United Nations General Assembly, including events we hosted with the World Health Organization and the UN Development Programme. ⌘ Read more
5 tips for embedding security into your workflows
Having a robust security plan is key to innovation. These tips will empower you to gain the upper hand on cyberattacks, so you can ship quickly and innovate with ease. ⌘ Read more
user/bmallred/data/2022-10-16-13-31-45.fit: 0.88 miles, 00:12:35 average pace, 00:11:03 duration
HM [03;04;07]: 12 mile run: 10.46 miles, 00:14:42 average pace, 02:33:47 duration
Fail, oh well.
A long couple of nights. Ran with Beth and started a bit late.
End of block.
#running
Maybe it wasn’t the best decision to name my blog software “GoBlog”, because it has a negative meaning in Indonesian. But whatever, I won’t rename it now… I even bought a domain with the name. ⌘ Read more
GoBlog syncs the editor state between browsers in real-time now. ✨ Thanks to WebSockets! ⌘ Read more
asbjorn: “Ay det gav lige en førsteplads…”
Ay det gav lige en førsteplads til Kalmarunionen i ASIS CTF.
Det putter os tilbage i top 10 hold på verdensplan 🎉 🇩🇰 ⌘ Read more
After all, debugging is still fun!
One reason I use an Android smartphone is that there are apps like Indigenous (a MicroPub-compatible app for posting from your phone to a MicroPub-compatible blog). And even if the app ever disappears from the store, there’s still the option to manually install the app. And if you need to, you can also develop your own apps without having to invest nearly $100 a year. ⌘ Read more
OSI’s Deep Dive is an essential discussion on the future of AI and open source
GitHub is sponsoring Open Source Initiative’s Deep Dive: AI because we think it’s important for the community to unpack how open source software, process, and principles can help best deliver on the promise of AI. ⌘ Read more
user/bmallred/data/2022-10-14-11-04-28.fit: 3.13 miles, 00:07:59 average pace, 00:25:01 duration