1. 8

    traveling to Denmark to spend the week in a remote house near the sea.

    pandemic prevented us from taking any kind of vacation. so, really looking forward to it.

    1. 2

      I did that about a month ago and it was great. Enjoy!

      1. 2

        this sounds wonderful!

        1. 1

          Which part of Denmark? My wife is danish, so I know well the zone where she come from (Central Jylland)

          1. 1

            Rømø :)

            1. 1

              I went there. It’s a very nice place. Let’s hope you can find good weather. Have fun

          2. 1

            If you don’t mind sharing, how did you find the place? Are those listed on the airbnb or?

            1. 1

              You can find rentals on https://www.dansommer.dk/

              It seems to combine all the different rental services in their search.

          1. 1

            Start biking again. I am leaving up to the hills in Tuscany, so having the opportunity to ride a bike an hour every day it’s a very good experience. It’s a big help to relief working stress.

            1. 1
              • Painting my new office for fully remote work.
              • Biking if the weather will be good
              • Try to understand eBPF + XDP
              • Spending time with my wife
              1. 4

                I had a Python script that is getting data from Airtable, crunch them and send a report via email through Firefox Send. Unfortunately Firefox Send is no longer working, so I had to migrate. I would like to migrate over Lambda + S3, so I can take advantage of serverless.

                1. 7

                  OSCP Exam, think kind thoughts of me

                  1. 1

                    Break a leg! You got this!

                    1. 1

                      Good luck for that. Please share your experience when you recover, I am preparing for that as well

                    1. 3

                      I will be in holiday 1st and 2nd (it’s Italy republic day). My plan is hiking on my neighborhood and I trting to understand eBPF and XDP.

                      1. 1

                        I was an happy user of InoReader, but when they change licensing model it was not enough for me. So I stumbled upon Feed Wrangler and I subscribe it.

                        Pros

                        • Very simple and clean UI
                        • Very easy to use
                        • Good Price

                        Cons

                        • No Android app
                        1. 3

                          There is also https://feedbase.org/ that regularly fetches Atom/RSS-feeds and exposes the items using the nntp protocol, allowing you to follow the feeds using a news reader.

                          1. 3

                            From a long term NNTP user this is a fantastic product.

                          1. 2

                            Trying to implement a POCSAG/DAPNET decoder in GNURadio. Experiencing with radio listening while waiting my HAM radio callsign

                            1. 3

                              I’d give Tanenbaum’s Computer Networks a shot, for 2 reasons (I didn’t read it).

                              • I loved Operating Systems and how it was written
                              • I didn’t like Kurose’s book on Networking that was our official book at university
                                • I probably have to add that I wasn’t a total beginner when I took this networking course, I had been working as developer for years already, so a lot of the material wasn’t new to me. I simply didn’t like the presentation.

                              Also Beej’s guide to network programming.

                              There’s a few points to add, though

                              • if the revision of the book is “kinda” old: TCP/IP didn’t change except for specifics, still read these books
                              • top layers have changed, but it’s absolutely fine to e.g. learn about HTTP/1.1 and then additionally, later read about HTTP2
                              • iirc there’s not much about P2P networking, but it builds on the basics
                              • “carrier-grade” routing like BGP or OSPF might be seen as mandatory by some, but I’d still call it advanced and so you should probably postpone this. Also the chances might be low you ever need it, if all you do is administering stuff “in a building” or “inside the data center” :)
                              1. 2

                                I did read Tanenbaum’s Computer Networks and highly recommend it for self-study.

                                1. 1

                                  +1 The best book about networking. If you want something more work oriented, you can read Cisco CCNA preparation books.

                                2. 1

                                  I own a few of his books including Computer Networks and Operating Systems. In every case, his style is to be pretty thorough. His books are like reading a (guided) encyclopedia. It’s easy to read, but it’s too slow for me.

                                  I’d prefer a slightly faster path to get to the most important information.

                                  For this reason I don’t really recommend Computer Networks unless you want the comprehensive, but still easy to read version. For most developers today, starting with High Performance Browser Networks and then going to the TCP/IP layer is a good use of time. However I haven’t yet found a good book on TCP/IP (including TCP/IP Illustrated).

                                1. 4

                                  Why still using twisted in 2020 when asyncio is part of the standard library or you can use more advanced async libraries like Trio or Curio?

                                  1. 3

                                    What’s wrong with twisted? It’s battle tested and works well.

                                    1. 1

                                      I have been used heavily years ago and I hate him :) The deferred/callback/errback mechanism is very powerful, but the code readability and code maintenance is terrible.

                                      I find asyncio easier to mantain and I really love Trio

                                      1. 1

                                        For a while now you can use async/await with twisted. Makes the code a lot more readable.

                                        1. 1

                                          And the article shows that… :)

                                    2. 1

                                      Odds are, if it’s a networking or network-related problem, and someone else has encountered it in the past, Twisted will already have the solution either in Twisted itself or in its ecosystem.

                                      That’s pretty hard to beat.

                                    1. 3

                                      I am in Italy (green zone, 300km far away from COVID infection center). I am just think that the government is supporting hysteria and increasing panic with exaggerating countermeasures. I am working from office without any changes, my company (US based global company) suggests persons that was in the red zones and people with healty problems (like diabetes or cancer) to work from home.

                                      1. 2

                                        Trying to understand Deep Learning with PyTorch for images classification and text generation. Not easy at all, lot of mathematics.

                                        1. 2

                                          I have an Huawei P30 Lite as personal phone. I am very happy about it.

                                          As work phone,I have an iPhone8.

                                          1. 1

                                            Good question! Zig and Elixir probably. Maybe Pony. I should also practice more Danish. Want to also do more stuff on Webassembly.

                                            1. 1

                                              I should also practice more Danish

                                              Are you living in Denmark? My wife is Danish and she always tell that you need to live in Denmark to learn Danish. I tried to learn Danish, but it’s quite hard, specially pronunciation. I experienced Mandarin easier to learn than Danish

                                              1. 1

                                                No, but my mom is Danish so I grew up speaking a little bit, and I’ve lived in Denmark before. So, I usually know what it should sound like which makes pronounciation easier – though it’s still not easy. I mostly learn from books and Duolingo and movies, and I can practice with family. I find the language itself not too hard compared to stuff like French or Arabic.

                                            1. 15

                                              I will learn:

                                              • More number theory and error analysis so that I can implement the Elusive Eight.
                                              • More about BATMAN and mesh networking, so that I can keep improving my home network.
                                              • More about implementation of databases so that I can implement a proper categorical database system.
                                              • More about Z3’s internals. I think that I have an improvement on the state of the art for 3-SAT but I’m not sure yet because I haven’t grokked every internal representation of Z3.
                                              • To get better at proposing simple natural arguments which infuriate bigots, so that I can more effectively create self-doubt and insecurity amongst fascists.
                                              • One additional algorithm for a non-standard Rubik’s Cube. Probably parity fixes for 4x4/5x5 or last-layer for Megaminx.
                                              • To keep Venus flytraps alive. Surprisingly picky plants, and I don’t have a green thumb.
                                              1. 4
                                                • More about implementation of databases so that I can implement a proper categorical database system.

                                                Can you tell me more about “categorical database system”? I stumbled upon http://math.mit.edu/~dspivak/informatics/talks/CTDBIntroductoryTalk it looks interesting. Thanks!

                                                1. 5

                                                  Imagine a database that is not built on relational logic, but on categorical logic. Imagine not just graph databases, but databases which store hypergraphs with path equivalence; that is, databases in which categories are the objects being searched and stored.

                                                  Alternatively, imagine a language for expressing categorical ideas. I keep coming back to Hagino CPL, a language in which one writes lengthy categorical expressions, and retrieves a canonicalized shortened categorical expression.

                                                2. 2

                                                  More about BATMAN and mesh networking, so that I can keep improving my home network.

                                                  Are you using mesh network at home? Which devices are you using for it? Is there a real advantage using a mesh network at home instead that using a traditional network?

                                                  1. 2

                                                    More about Z3’s internals.

                                                    Z3?

                                                    1. 7

                                                      The Z3 Theorem Prover, an efficient SMT (Satisfiability Modulo Theories) solver very popular and widely used in Formal Methods and PLT (Programming Language Theory) research communities.

                                                      Programming Z3 is a nice tutorial with references to other great resources about Z3.

                                                      1. 11

                                                        A roadster built by BMW in the 90’s and early 2000’s. I also have a somewhat broken one that I need to learn more about it’s internals to get it roadworthy again.

                                                        1. 1

                                                          A SMT/SAT solver by Microsoft

                                                        2. 1

                                                          3-SAT is, as far as I can tell, mostly a theoretical device. SAT solver implementations deal with arbitrary clauses (but have special optimizations for 2- and sometimes 3- clauses). I’d recommend looking at minisat/glucose/cadical rather than Z3 if you’re into pure SAT because Z3 is a SMT solver and is literally orders of magnitudes more complex than a SAT solver.

                                                          1. 1

                                                            To keep Venus flytraps alive. Surprisingly picky plants, and I don’t have a green thumb.

                                                            I was endlessly fascinated by these as a young man and killed a great succession of them, probably due to over-feeding.

                                                            1. 1

                                                              To get better at proposing simple natural arguments which infuriate bigots, so that I can more effectively create self-doubt and insecurity amongst fascists.

                                                              This is something I’ve been thinking about for a while as well. Do you think they are open to the voice of reason/argument?

                                                            1. 2

                                                              WORK:

                                                              • Go deep in AWS
                                                              • Being proficient with Golang
                                                              • Prepare for OSCP certification

                                                              HOME:

                                                              • Improve my Mandarin skills
                                                              • Finish my home automation projects
                                                              • Learn a bit of frontend development
                                                              1. 2

                                                                I miss the https://en.wikipedia.org/wiki/CHIP_(computer) - I wish this cheap, small SoCs could lead to similar, and fully open, SBCs

                                                                1. 2

                                                                  if anyone is interested, i still have one or two chips somewhere and in the eu shipping them shouldn’t be too expensive.

                                                                  1. 1

                                                                    I am actually! Might even take your offer on both of them if nobody else voices their interest! I’m located in Berlin. Currently out of town but should be back soon.

                                                                    How can we organise this?

                                                                    1. 1

                                                                      Might even take your offer on both of them if nobody else voices their interest!

                                                                      maybe i’ve even got three, i have to check the box first. :)

                                                                      checked the box, it’s three, one with the baseplate-“case” and one spare baseplate: https://imgur.com/a/VUWpCXA

                                                                      How can we organise this?

                                                                      i guess the easiest way would be using lobsters-pm to discuss further details.

                                                                      1. 1

                                                                        Oh yeah perfect CHIP HA cluster here we come :D

                                                                  2. 1

                                                                    Not sure if it quite meets the goals of “fully open”, but I recently learned about https://wiki.pine64.org/index.php/ROCK64 and it seems to be going in the right direction. They use closed-source CPU’s and such, natch, but they seem to put work into making open-source drivers for them and publish all of the specs and designs.

                                                                    1. 1

                                                                      I actually got my hands on 4 of the suckers and two pocketchips! It’s a shame that my kernel hacker alpha board is stuck in a bootloop. I have an arduino coming home for Christmas, so hopefully I can debug it back to life over serial.

                                                                      I still use one of the chip boards for testing WebAssembly stuff. Go’s cross-compilation powers are great.

                                                                      1. 0

                                                                        My Docker Swarm home cluster run over a bunch of CHIPs

                                                                      1. 2

                                                                        Working with motion and some cheap Chinese cams.

                                                                        1. 1

                                                                          I can’t host much stuff at home because I live in a remote-ish place with no landline Internet. I only self-host a few services on an RPi and a (discontinued) Chip board to stream music, and “daily” jobs about the weather, work, or local news.

                                                                          Email (postfix, dovecot, …), plus a bunch of other services (nextcloud, znc, some ruby/go things) run on an old Kimsufi server (1 core, 2gb RAM, 1TB disk) ; a.k.a. SoYouStart in the new world.

                                                                          1. 2

                                                                            a (discontinued) Chip board

                                                                            I have a cluster of 7 (+3 on the way) CHIP running Docker Swarm. I hosted my DNS infrastrcuture (DoH proxy + unbound + ELK + custom scripts that I am going to migrate to DoH proxy + know resolver + Prometheus + custom scripts), motion to control webcams, Home Assistant, an Instagram bot, a Wiki and a Mercurial repository for my scripts. Next step is adding public blogging, ELKflow and an RSS reader (problably Miniflux).

                                                                            1. 1

                                                                              Which firmware are you using these days on the Chip?

                                                                              1. 1

                                                                                I am using this: http://www.chip-community.org/index.php/Flash_from_command_line

                                                                                The main problem that I have is that several repositories are not available anymore. Anyway I found some mirrors that are working fine. If you want I can share my first setup.

                                                                                1. 1

                                                                                  Thanks, but I found the same resources. I was wondering if there was more advanced community projects around that little board.