Minutes 2024-11-14: Difference between revisions

From MTU LUG Wiki
Jump to navigation Jump to search
(spiced some stuff up)
m (added link for Chomsky hierarchy)
 
(5 intermediate revisions by the same user not shown)
Line 18: Line 18:
#### <code>L(r) = {"a", "b"}</code>
#### <code>L(r) = {"a", "b"}</code>
#### The language contains both "a" and "b"
#### The language contains both "a" and "b"
### Kleene star (''*'') [https://en.wikipedia.org/wiki/Kleene_star]
### Kleene star (''*'') [https://en.wikipedia.org/wiki/Kleene_star] [[https://archive.is/ApuRV archive]]
#### Only way to represent an infinite number of an expression
#### Only way to represent an infinite number of an expression
#### <code>r = a*</code>
#### <code>r = a*</code>
Line 61: Line 61:
## Regular Automata
## Regular Automata
### Limited state, can only read input once
### Limited state, can only read input once
## Chomsky hierarchy [https://en.wikipedia.org/wiki/Chomsky_hierarchy] [[https://archive.ph/w6HQw archive]][[File:Chomsky-hierarchy.svg|alt=Image of the Chomsky hierarchy|thumb|331x331px|Chomsky hierarchy]]
## Chomsky's hierarchy
### Regular expressions are at the bottom of this pyramid
### Regular expressions are at the bottom of this pyramid
### Context-free, Context-sensitive, and Recursively enumerable expressions sit above regular expressions, in that order
### Context-free, Context-sensitive, and Recursively enumerable expressions sit above regular expressions, in that order
### Turing machines above all of those
### Turing machines above all of those (not pictured)
### Regular expression cannot replace your programming language
### Regular expression cannot replace your programming language
### Some regular language implementation decide languages that '''aren't regular!''' >:(
### Some regular language implementation decide languages that '''aren't regular!''' >:(
Line 72: Line 72:
## Does Tech teach anything that covers beyond context-free in undergrad?
## Does Tech teach anything that covers beyond context-free in undergrad?
### no :(
### no :(
# What WM does Ron use?[[File:Ron Xmonad Screenshot.png|alt=Screenshot of Ron's XMonad setup|thumb|515x515px|Ron's XMonad setup]]
# What WM does Ron use?
## Xmonad [https://xmonad.org/], customized in a weird way exactly to his liking
## Xmonad [https://xmonad.org/] [[https://archive.is/IEYAl archive]], customized in a "weird way exactly to his liking"
### A true gentoo user
### A true gentoo user
# Why do people call gentoo a "meta-distribution"?
# Why do people call gentoo a "meta-distribution"?
## They call themselves that [https://www.gentoo.org/get-started/about/], but they're really more like a regular distribution
## They call themselves that [https://www.gentoo.org/get-started/about/] [[https://archive.is/FqmsU archive]], but they're really more like a regular distribution
## Only time Josh ever heard of "meta-distribution" was in reference to Bedrock Linux [https://bedrocklinux.org/], since you can install other distributions inside it
## Only time Josh ever heard of "meta-distribution" was in reference to Bedrock Linux [https://bedrocklinux.org/] [[https://archive.is/6v9Er archive]], since you can install other distributions inside it
# Does Tech teach pumping lemmas in CS curriculum?
# Does Tech teach pumping lemmas in CS curriculum?
## They were supposed to
## They were supposed to
Line 87: Line 87:
## How are you going to get around anticheat?
## How are you going to get around anticheat?
### "idk"
### "idk"
# Domino's BOGO deal for more LUG Pizza parties? [https://store.dominos.cards/45683]
# Domino's BOGO deal for more LUG Pizza parties? [https://store.dominos.cards/45683] [[https://archive.is/PKPk5 archive]]
## WMTU is using this for K-Fest
## WMTU is using this for K-Fest
## Might make sense for us to use it too, even if we'd be buying fewer pizzas than them
## Might make sense for us to use it too, even if we'd be buying fewer pizzas than them
# Wrapped up briefly talking about recent FOSS drama
# Wrapped up briefly talking about recent FOSS drama
## Stallman report [https://stallman-report.org/]
## Stallman report [https://stallman-report.org/] [[https://archive.is/QjlKO archive]]
### Drew report [https://dmpwn.info/] (lol)
### Drew report [https://dmpwn.info/] [[https://archive.is/Jev2r archive]] (lol)
## Linus is back to his old self on the Linux mailing list
## Linus is back to his old self on the Linux mailing list
### Russian maintainer stuff [https://lore.kernel.org/all/CAHk-=whNGNVnYHHSXUAsWds_MoZ-iEgRMQMxZZ0z-jY4uHT+Gg@mail.gmail.com/]
### Russian maintainer stuff [https://lore.kernel.org/all/CAHk-=whNGNVnYHHSXUAsWds_MoZ-iEgRMQMxZZ0z-jY4uHT+Gg@mail.gmail.com/] [[https://archive.is/msHvh archive]]
### Bcachefs driver shenanigans [https://lore.kernel.org/all/172816780614.3194359.10913571563159868953.pr-tracker-bot@kernel.org/T/#t]
### Bcachefs driver shenanigans [https://lore.kernel.org/all/172816780614.3194359.10913571563159868953.pr-tracker-bot@kernel.org/T/#t] [[https://archive.ph/apHhh archive]]
### Recent drama surrounding Rust support in the kernel [https://lore.kernel.org/lkml/20240828211117.9422-1-wedsonaf@gmail.com/]
### Recent drama surrounding Rust support in the kernel [https://lore.kernel.org/lkml/20240828211117.9422-1-wedsonaf@gmail.com/] [[https://archive.is/cRIjN archive]]
# eboard Taco Bell trip
# Eboard Taco Bell trip
[[Category:Meeting Minutes]]
[[Category:Meeting Minutes]]

Latest revision as of 14:54, 15 November 2024

  1. Came from RedTeam meeting on LLM jailbreaking
    1. We won cool stickers!
    2. LUG is getting stickers #soon
  2. Ron's talk on Regex!
    1. What is an alphabet
    2. Strings are a finite series of characters
      1. We typically use "w" to represent strings, for "word"
      2. Lambda (λ) = empty string
    3. Languages are represented by "L"
    4. Machine takes strings (w) and determines if it's in the language (L)
    5. Finite Automata
      1. Example automata that only accepts an even length string
    6. Regular Expressions
      1. = empty set ={}
      2. r = hello
        1. Only accepts the word "hello"
      3. r = a * b
        1. L(r) = {"a", "b"}
        2. The language contains both "a" and "b"
      4. Kleene star (*) [1] [archive]
        1. Only way to represent an infinite number of an expression
        2. r = a*
          1. L(r) = {λ, "a", "aa", "aaa", ...}
        3. r = (ab + c)*
          1. ab + c matches any instance of "ab" or "c"
          2. (ab + c)* = L{λ, "ab", "c", "abab", "abc", "cccab", ...}
          3. r = (d + ∅)
            1. L(d) = {"d"}
            2. L{∅} = {}
            3. {"d"} ∪ {} = {"d"}
            4. You cannot append "nothing" (AKA ) to a string, but you can append an empty string (AKA λ)
    7. Grep + Regex
      1. Grep uses an 'extended' version of regex
      2. [] - "any of", [abcd], [0-9]
      3. [^] - "none of", [^aeiuo]
      4. ? - "maybe", colou?r
        1. matches both color and colour
      5. |= +
      6. + - 1-or-more
        1. The Kleene star is essentially '0-or-more'
        2. Note post-meeting: I personally use this operator a lot to replace multiple spaces with a single space in text files. For example, in vim, you can do :%s| \+| |g (you need to escape the + in vim)
    8. Live demo!
      1. Grepping for strings inside hamlet
        1. grep hamlet <filename> - searching for the string "hamlet"
        2. grep 'z.*z' <filename> - matching any number of characters between two z's
          1. Specific behavior depends on the implementation, most are 'greedy'
            1. Ron's own term, meaning they grab the first instance of a match
          2. For a line with "zzz", the expression z.*z would likely match "zz", but some implementations may match "zzz"
            1. Note from post-meeting: both Grep (-G, -E, -P) and ripgrep return "zzz", so maybe it's the other way around?
        3. Matching all lines with 13 words in them
    9. Common Extensions
      1. Groups
        1. In Grep, need to use -P flag for "Perl" mode (-E for "extended" does not allow you to use groups)
      2. Lookaround
        1. Matches text without being part of the matched text
        2. Replacing all instances of "John Smith" with "Jack Smith" in a text file that also has "John Cena"
      3. Replacing all instanced of "hamlet" with "bamlet" using :%s/hamlet/bamlet/g in vim
    10. Language Theory
      1. What makes a language regular?
      2. if it can be described using a Regular Expression!
    11. Regular Automata
      1. Limited state, can only read input once
    12. Chomsky hierarchy [2] [archive]
      Image of the Chomsky hierarchy
      Chomsky hierarchy
      1. Regular expressions are at the bottom of this pyramid
      2. Context-free, Context-sensitive, and Recursively enumerable expressions sit above regular expressions, in that order
      3. Turing machines above all of those (not pictured)
      4. Regular expression cannot replace your programming language
      5. Some regular language implementation decide languages that aren't regular! >:(
        1. ^(a(?1)?b)$
        2. More akin to "context-free" expressions
        3. Ron will literally murder them (very real and true)
    13. Does Tech teach anything that covers beyond context-free in undergrad?
      1. no :(
  3. What WM does Ron use?
    Screenshot of Ron's XMonad setup
    Ron's XMonad setup
    1. Xmonad [3] [archive], customized in a "weird way exactly to his liking"
      1. A true gentoo user
  4. Why do people call gentoo a "meta-distribution"?
    1. They call themselves that [4] [archive], but they're really more like a regular distribution
    2. Only time Josh ever heard of "meta-distribution" was in reference to Bedrock Linux [5] [archive], since you can install other distributions inside it
  5. Does Tech teach pumping lemmas in CS curriculum?
    1. They were supposed to
    2. Josh doesn't remember it
    3. Consensus was it was likely taught and Josh just forgor
  6. Allen continues his ventures in gaming on one of the GLRC servers
    1. Why?
      1. Free power
    2. How are you going to get around anticheat?
      1. "idk"
  7. Domino's BOGO deal for more LUG Pizza parties? [6] [archive]
    1. WMTU is using this for K-Fest
    2. Might make sense for us to use it too, even if we'd be buying fewer pizzas than them
  8. Wrapped up briefly talking about recent FOSS drama
    1. Stallman report [7] [archive]
      1. Drew report [8] [archive] (lol)
    2. Linus is back to his old self on the Linux mailing list
      1. Russian maintainer stuff [9] [archive]
      2. Bcachefs driver shenanigans [10] [archive]
      3. Recent drama surrounding Rust support in the kernel [11] [archive]
  9. Eboard Taco Bell trip