profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/odanoburu/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.

fccoelho/Curso_Blockchain 179

Indtroductory course to cryptocurrencies and applications of Blockchain technologies.

fccoelho/crypto_algo_trading 44

Experiments with algorithmic trading on various cryptocurrencies and tokes using python tools

odanoburu/conllu-mode 10

CoNLL-U major mode for emacs

fccoelho/pypixplorer 8

Explore PYPI's collection of packages in unusual ways

legal-nlp/oab-exams 6

data about OAB Exams

GrammaticalFramework/gf-emacs-mode 4

A major mode for editing GF code.

NAMD/corpushash 4

The corpushash library enables the performance of common NLP tasks on sensitive documents without disclosing their contents. This is done by hashing every token in the corpus along with a salt.

fccoelho/corpushashD 3

D implementation of corpushash python library

arademaker/CS-FP 2

Course on Computational Semantics

GrammaticalFramework/gf-summerschool-2018 2

GF Summer School 2018 in Stellenbosch

startedtonyday567/hecklist

started time in 15 days

startedstackbuilders/hspec-golden

started time in 16 days

startedkoka-lang/koka

started time in 17 days

PR opened agrafix/elm-bridge

Convert IntMap to Dict Int

Since Dict k accepts any comparable k (not only strings), translate those too.

Note that I haven't tested this at all. Because Haskell takes too much time and space to build stuff on my poor laptop, I didn't even compile this change in the package (I'm counting on Travis here), but a similar change in the hooks servant-elm provides works fine.

+13 -13

0 comment

1 changed file

pr created time in 22 days

create barnchodanoburu/elm-bridge

branch : feature-intmap-translation

created branch time in 22 days

fork odanoburu/elm-bridge

Haskell: Derive Elm types from Haskell types

fork in 22 days

startedmeedstrom/eva

started time in a month

issue commentGrammaticalFramework/gf-core

Next-generation PGF

@krangelov I see, thanks for the explanation! and daison looks interesting indeed!

johnjcamilleri

comment created time in a month

issue commentGrammaticalFramework/gf-core

Next-generation PGF

Hi @krangelov, pretty cool work! I remember hearing something about using SQLite for this work, which would give you transactions for free and also a platform-independent format (I'm assuming it would take the role of the .ngf files). Have you decided against it? I'm just curious and would love to contribute (I don't think I can, but I'll follow the discussion and if it turns out I can I'll say something!)

johnjcamilleri

comment created time in a month

startedlovasoa/TPCH-sqlite

started time in a month

startedziglang/zig

started time in a month

issue openedEvgSkv/logica

Expected ‘undefined’ error, but Logica compiles fine

A bit of context: I was translating TPC-H's 10th query, and forgot to put into scope the value of l_orderkey from the lineitem table. Logica thus took the l_orderkey == o_orderkey to mean an assignment, while I meant it as an equality test.

That Logica makes no syntactic distinction between the equality and assignment operators is explained in the Appendix of the Logica tutorial, but maybe this example shows why this can be confusing; if we had different operators the error would be clearer and easier to report to the user. Another option is to detect that l_orderkey goes unused, and therefore either it's a spurious assignment of which we might warn the user, or else it was meant as an equality test, but for some reason (a user mistake in this example) it can't be performed as intended.

@Engine("sqlite");

Query(c_custkey:, c_name:,
      revenue? += l_extendedprice * (1 - l_discount),
      c_acctbal:, n_name:, c_address:, c_phone:, c_comment:) distinct :-
  customer(c_custkey:, c_name:, c_acctbal:, c_address:,
           c_phone:, c_comment:, c_nationkey:),
  orders(o_orderkey:, o_custkey:, o_orderdate:),
  lineitem(l_extendedprice:, l_discount:, l_returnflag:),
  nation(n_nationkey:, n_name:),
  c_custkey == o_custkey,
  l_orderkey == o_orderkey,
  o_orderdate >= Date(cutoff_date),
  o_orderdate < Date(cutoff_date, "+3 month"),
  l_returnflag == "R",
  c_nationkey == n_nationkey,
  cutoff_date == "1994-10-01";
@OrderBy(Query, "revenue desc");
@Limit(Query, 20);

created time in 2 months

startedmunificent/craftinginterpreters

started time in 2 months

issue commentEvgSkv/logica

Sqlite: Tutorial. OperationalError: no such function: APPROX_COUNT_DISTINCT

I think this has been fixed recently. Maybe it hasn't been released yet, in which case you could call the latest version from source after cloning the repo. If it has been released, it could just take a re-run of the cell that installs logica using pip.

RAbraham

comment created time in 2 months

starteddanielleberre/satpractitionermanisfesto

started time in 2 months

startedmgree/ffs

started time in 2 months

startedfbanados/research-howto

started time in 2 months

startedEvgSkv/logica

started time in 3 months

pull request commentEvgSkv/logica

Parse all whitespace

@googlebot I signed it!

odanoburu

comment created time in 3 months

PR opened EvgSkv/logica

Parse all whitespace

Fixes #130. Also includes a few typo fixes.

+7 -7

0 comment

6 changed files

pr created time in 3 months

push eventodanoburu/logica

bruno cuconato (@odanoburu)

commit sha 50672cb06d283cd2398c791175db5fd777fdfb64

* Strip all whitespace Not just space and newlines. Closes #130.

view details

push time in 3 months

create barnchodanoburu/logica

branch : feature-parse-all-whitespace

created branch time in 3 months

fork odanoburu/logica

Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.

https://logica.dev

fork in 3 months

startedtbarnetlamb/hyphen

started time in 3 months

issue openedEvgSkv/logica

Improve parser whitespace robustness

This predicate parses:

Human(name: "Socrates", iq: 250, year_of_birth: -470, location: "Athens");

but this one doesn't:

Human(name: "Socrates", iq: 250, year_of_birth: -470, location: "Athens"

	    )	;

even a tab appears to hinder the parsing:

Human(name: "Socrates", iq: 250, year_of_birth: -470, location: "Athens"	);

(example inspired by the Logica Postgres quick start)

tested with

logica test.l print Human

where test.l has the contents of the source blocks above.

created time in 3 months

startedcwida/tpcds-result-reproduction

started time in 3 months

issue commenttutao/tutanota

Plaint text URLs hyperlinked incorrectly

They have a demo in their website (https://soapbox.github.io/linkifyjs/) and it seems to work there. But it doesn't work on the tutanota web client; I just got a new email today which did not have the proper link. Example emails whose links don't work properly are those from wikipedia's daily article mailing list (https://lists.wikimedia.org/postorius/lists/daily-article-l.lists.wikimedia.org/)

odanoburu

comment created time in 3 months

issue openedtutao/tutanota

Plaint text URLs hyperlinked incorrectly

  • [x] This is not a feature request (existing functionality does not work, not missing functionality). I will request features on forum or via support.
  • [x] I've searched and did not find a similar issue.

Bug in web app

Describe the bug A URI such as <https://www.ietf.org/rfc/rfc2396.txt> enclosed in angle brackets (as permitted by https://www.ietf.org/rfc/rfc2396.txt) is hyperlinked to https://www.ietf.org/rfc/rfc2396.txt>, not https://www.ietf.org/rfc/rfc2396.txt. Per the same RFC, angle brackets may not be a part of a URI (e.g., note how the github markdown parser handles an erroneous link: <https://www.ietf.org/rfc/rfc2396.txt>). I'm pretty sure the web client used to handle such URLs correctly in the past.

To Reproduce Steps to reproduce the behavior:

  1. Send a plain text email to your tutanota address with a link to a valid URL enclosed in angle brackets like in the example above.
  2. Open the mail client, and click on the link.
  3. Note it does not work because of the trailing bracket.
  4. Fix the link and refresh the page (now it works!)

Expected behavior The hyperlink should not include the closing angle bracket (or any angle bracket, for that matter)

Additional context The Android mobile app doesn't recognize the link, and does not hyperlink it (which is inconsistent).

created time in 3 months

startedezyang/expecttest

started time in 3 months