Skip to content
View haller33's full-sized avatar

Block or report haller33

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
haller33/README.md

Hello, this is Eliseu Lucena Barros

I'm a passionate software developer living in Fortaleza, Brazil. I love being part of development of Back-end technologies. I like to organize conferences and give talks. I love open source development and functional programming, I build things on my GitHub profile (here). I love C programming and Odin programming language (which is similar to Go and C/C++). I have over 6 years of professional experience with programming.

The past inspires me http://worrydream.com/dbx/

  • 🌱 I’m currently learning Golang and Erlang
  • 👯 I’m looking to collaborate on Open-Source Projects
  • 🤔 I’m looking to help with any technical step in the process of software-making
  • 💬 Ask me about my computer setup with NixOS (heheheh)
  • 📫 How to reach me: https://www.linkedin.com/in/eliseulucenabarros-3333/
  • 🎓 A updated version of my EUROPASS CV: CV
  • ⚡ Fun fact: I'm still playing Portal 2

Do not forget to view my open source projects below 👇🏻

typewriter-song - Using the eBPF framework(linux kernel bytecode 'interface', with bpftrace) with a websocket on C to do typewriter strokes on the keyboard, has been a consequence of learning/searching the DTrace tracking system stuff on the OpenIndiana/OpenSolaris Operating System.

Kernel Patch (RR Schedule) - Over 6 months searching for a Kernel patch with found problems on load-average on my Linux system, trying all sort of things to solve, and finally changed the default kernel scheduler to minimize my problem of playing games and freezing/high CPU usage

dequeued_language - A Double queue ring buffer-based language, inspired by Porth (a asm clone of Forth) to deal with playing ideas of a old custom-made language implemented by myself on Haskell and try to see what we can achieve with concurrency paradigm and distributed / RPC (future!) on this little toy language with the core have been created on little sort of a week.

spawn-rune - A 24h/weekend project that take solve the pain of my Mate Desktop usage and create a bloat free launcher of programs using Odin and Raylib, a marathon which also have C bindings for a custom tiny C library of my own for this project.

csv-parser-c - A pure C, tiny, bloat-free, leak-free CSV parser, using only STB-style libraries and custom allocators to have memory management and streaming capabilities to read CSV files from disk, is a portable drop and using library, can be just included and used on C/C++ projects!

dama-odin - A Checkers Game made with Odin using Raylib library binds that creates a board for playing the game with a custom debug system and handmade interface, inspired by the idea of immediate mode interfaces and good usage of resources from Data Oriented Design capabilities on the Odin programming language.

Presentations Talks Given

Down bellow are some of my presentations that have be done and they repos as well as they URL for the content

nixOS Presentation, Talk - NixOS presentation describing and explaining what is nixOS and what it accomplishes as an operation system and package management, that solves the problem of duplication of versions from the same package (NOT YET FINISH)

RDF Presentation, Talk - RDF presentation, the turtles(triples) representation of information for semantic web and semantic desktop, a way mechanicaly simplify the way to represent a ontology of a information, that a machine can understand and use to search, agregated and use on a distributed environment (INCOMPLETE 50%, WORKING ON PROGRESS)

CONTECSI USP - International Conference on Information Systems and Technology Management - ISSN 2448-1041, DOI 10.5748/16CONTECSI/CID-6076 - Speaker substitute selected to talk about "RESIDENTIAL AUTOMATION SYSTEM VIA APPLICATION USING INTERNET OF THINGS", represent the DAG (Data Analysis Group ~ Estácio) on 16CONTECSI, presenting the way of view of use of a automation, to expand the concept to ideas for a social impact on who we live your lives as a daily bases, base on a prove of concept using simple microcontrollers and bibliographical research papers, to support the paper (DONE)

Haylang Presentation, Talk - A Hylang presentation, trying to unify the ideas from the old Lisp language to the new, modern Python language and see if we can introduce this ideas and the use of then from the past, with they sintax, to the new, programming languages, presenting possibilities for the future (FINISH)

Functional Programming, Talk - Explaning the underlining ideas of functional and combinatory programming using python on a Python conference ministred on Brazil, using a composition of functions to do the polymorphism and inheritance that we always talk about on OOP (FINISH)

Git Upstart, Talk - Presentation on initial concepts of using Git, as well as the introduction of commands for a good workflow, lectures given mainly at Odonto System, as well as other places such as online forums for discussing technology (DONE)

Docker Startup, Talk - Lecture, introduction to Docker technology, as well as its initial commands, and its main features, as an introduction to the technology sector in the OPOVO newspaper (DONE)

Online Youtube Courses Done

Complete Basic and Advanced Hardware Course - IT for Competitions - By João Antonio - (2 months) - end on ~2013

Basic Networks Course - By Paulo Kretcheu - (1 months) - end on ~2016

MIT 6.001 Structure and Interpretation of Computer Programs SICP, 1986 - By Harold Abelson and Gerald Jay Sussman - (6 months) - end on 2019

Parallel and Concurrent Haskell, presentation for Facebook Infrastructure Team - By Bartosz Milewski - (2 months) - end on 2020

CEB - Binary Exploration Course, Mente Binaria - By Fernando Fresteiro (M4st3r3k) - (1 month) - end on 2021

CERO - Online Reverse Engineering Course - By Fernando Fresteiro (M4st3r3k) - (2 weeks) - end on 2021

Category Theory I - By Bartosz Milewski - (3 months) - end on 2021

The Current Circumstance and the Path of True Education, Instituto Borborema - By Mateus Mota Lima - (2 months) - end on 2024

Category Theory II - By Bartosz Milewski - (5 months) - 50% done, ongoing

Important Talks waches

Down bellow are some talks that change my way of view about programming

TALK: Preventing the Collapse of Civilization / Jonathan Blow (Thekla, Inc) - (2 days) - 2020

TALK: Civilization: Institutions, Knowledge, and the Future - By Samo Burja - (1 day) - 2020

TALK: 1177 BC: The Year Civilization Collapsed (Eric Cline, PhD) - (3 days) - 2020

TALK: The Thirty Million Line Problem - By Casey Muratori - (2 days) - end on 2020

TALK: Barrelfish: A Study In Distributed Operating Systems On Multicore Architectures Part - 1, ETH Zurich and Microsoft Research - By Rebecca Isaacs - (1 week) - end on 2020

TALK: Barrelfish: A Study In Distributed Operating Systems On Multicore Architectures Part - 2, ETH Zurich and Microsoft Research - By Rebecca Isaacs - (1 week) - end on 2020

TALK: 2015: Power of Simplicity - By Alan Kay - (1 week) - end on 2021

TALK: Advice for Writing Small Programs in C - By Sean Barret - (3 days) - end on 2022

TALK: Performance Optimization, SIMD and Cache - (4 days) - end on 2022

TALK: Immediate-Mode Graphical User Interfaces - 2005 - By Casey Muratori - (3 days) - end on 2022

TALK: How I program C - By Eskil Steenberg - (1 week) - end on 2022

TALK: "Clean" Code, Horrible Performance - By Casey Muratori - (1 day) - end on 2023

TALK: The Clean Code Debacle and Rhetoric Tricks - Casey Muratori vs Mr "Uncle Bob" Martin - By Ginger Bill - (2 days) - end on 2023

Pinned Loading

  1. MyDotFiles MyDotFiles Public

    Repository dedicated to my configuration files of my Desktop environment

    HTML 2

  2. Erlang-Stuff Erlang-Stuff Public

    Erlang Stuff

    Erlang 2

  3. fritzroy fritzroy Public

    a Church complete, continuation passing by environment, scheme interpreter in scheme

    Scheme 3

  4. haskell-learn haskell-learn Public

    code for my streams

    Haskell

  5. dequeued_language dequeued_language Public

    testes for creating a double ended queue/ring-buffer based language

    Odin

  6. typewriter-song typewriter-song Public

    a Typewriter song for linux using bpf framework, tinycthread and write on c language

    C 2