Hacker Newsnew | past | comments | ask | show | jobs | submit | albertoleal's commentslogin

RBC Ventures | Toronto | Frontend, Backend, & Full-stack Developers | Full-time | ONSITE | https://www.rbcventures.ca

Tech stack: Node.js, React, Redux, Python, AWS

I am a developer that is part of a team at RBC Ventures; and we're looking to grow and expand the team with developers that are experienced on either frontend, backend, or full-stack.

You may apply directly through the site, or e-mail me directly at either:

- alberto.leal@rbc.com

- mailforalberto@gmail.com


RBC Ventures | Toronto | Frontend, Backend, & Full-stack Developers | Full-time | ONSITE | https://www.rbcventures.ca

Tech stack: Node.js, React, Redux, Python, AWS

I am a developer that is part of a team at RBC Ventures; and we're looking to grow and expand the team with developers that are experienced on either frontend, backend, or full-stack.

You may e-mail me at either:

- alberto.leal@rbc.com

- mailforalberto@gmail.com


How do you change the topbar color?


From your profile page. There's a karma threshold (250, I believe) before this feature is enabled.


Ah I see.


What about: Rust, Ubuntu, Postgres, Hyper


The upvote system would've taken care of this post if the community didn't find this interesting.


Is it still a trademark infringement if the repository is under the user's namespace? i.e. https://github.com/Marwes


> Is it still a trademark infringement if the repository is under the user's namespace?

The username is about the least interesting part of the url. What persists between forks? What happens if you reupload the project to an alternative host? What's it look like on-disk? What's it called in all the docs?

Not "Marwes's gluon", not "Marwes's github hosted gluon", just "gluon".

In context, the URL is hosting minutiae, not part of the mark.


Really nice! Like you, I wanted a cli program that largely replace the gui app that I used for GTD (in this case, I was using Omnifocus).

I'm a huge fan of ledger-cli [1] (double-entry accounting cli program); and I wanted to create a GTD cli program that is akin to ledger-cli. As part of learning Rust, I created gtdtxt [2] (named like todotxt), which imho, fits very closely to my ideal usecases of the command-line GTD workflow (e.g. has more features than todotxt). Hopefully it's useful for others.

If anyone is not familiar with ledger-cli, it's just a really fast file(s) parser; and like gtdtxt, not modifying text files is part of the feature [3].

I just created gtdtxt recently, and I'm still dogfeeding it to iron out/add more features. I'm still in the process of writing documentation/tutorial.

[1]: http://www.ledger-cli.org

[2]: https://github.com/gtdtxt/gtdtxt

[3]: http://www.ledger-cli.org/features.html



My goodness! A Lattice (not the linear algebra kind, the abstract algebra kind) being used in the wild? I genuinely never thought I'd see those again outside my analysis textbook.

Ticki does really great work in Rust. I think the only thing he's doing that I disagree with is his RFC for a keyword for dynamic dispatch (all we really need is to distinguish trait objects - dynamic dispatch is just the symptom).


Lattices are used to provide a theoretical basis for dataflow analysis in compilers. See Chapter 9 of Aho et al.'s book on compilers.

Ordered sets also occur in denotational semantics http://homepage.cs.uiowa.edu/~slonnegr/plf/Book/Chapter10.pd...


Lattices and the associated Galois connections are used quite a bit in the Abstract Interpretation school of program analysis [1].

[1]: https://en.wikipedia.org/wiki/Abstract_interpretation


Seems to be common among compiler theory people

http://www.cliffc.org/blog/2012/03/24/too-much-theory-part-3...


I know next to nothing about Rust, which makes this all kind of opaque. Can you link a good Getting Started for Rust that pairs well with these?


You can start with this https://doc.rust-lang.org/book/


Twitter for Mac, for some reason, ate way too much CPU, and this was the sole reason I went for Tweetbot.

Other than the price tag, was there a reason you didn't go for Tweetbot?


I love making my own things. Wrapping the Twitter for mobile in a small window in the menu bar seemed like an easy enough solution. I still think it functions and performs vastly better than the new TfM.


How is yaldex.com and javascript-fx.com still running? Are the folks who created them still around and paying for the host and domain?


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: