Location: Paris, FR
    Remote: full remote
    Willing to relocate: no
    Technologies: Python, Typescript, Lisps, React, Django, FastAPI, Postgresql, Gitlab/ci, Docker
    Résumé/CV: https://registry.jsonresume.org/jnpn?theme=elegant
    Email: johan.ponin.pro@gmail.com
    Schedule: Part-time (1 week a month minimum)

Hello, I'm a senior (11+ years) fullstack dev looking for secondary job part time, between 5 and 10 days, US timezone possible (would fit right after my main job). Development or maintenance. I like working clean and fast, improving development tools to increase velocity / faster debugging (writing short babel ast analyzers at the moment). Fluent enough in English to hold conf calls with US teams. I'm proactive, well rounded personality. Seeking very high speed teammates, I enjoy learning new paradigms too. Willing to lower hourly rate in the 40-50 usd range if needs be. Volunteering is possible depending on the domain.

Also open to FP or logic programming (lisp/clojure, haskell/scala, prolog). Especially highly formal/industrial model-driven environment.

Thanks in advance for reading

https://registry.jsonresume.org/jnpn?theme=elegant

https://github.com/jnpn

https://mastodon.social/@jnpn

Can't find the links right now, but there were some papers on llm generating prolog facts and queries to ground the reasoning part. Somebody else might have them around.

There's a lot of work in this area. See e.g., the LoRP paper by Di et al. There's also a decent amount of work on the other side too, i.e., using LLMs to convert Prolog reasoning chains back into natural language.

I think there's a lack of understanding. If Nyxt is trying to be the emacs of web browsers, it's very much removed from the "product mindset", it's more about somehow coherent capabilities than a product with market and users. Kinda like linux.

oh wow, it's parsing all 9461 man pages on my arch install, for a cute total of 13MB

thanks a lot

I'm curious about your experience, I like SQLAlchemy granularity and expressiveness, but after a while I found django fits the "good enough" niche very well, it's quick and not too dirty (the name wrangling for joins is funky but it's ok). What kind of queries or logic did SQLAlchemy allowed you to write that Django would make hell to reach ?

Tell me how to extend Django's default JOIN clause with custom AND, eg:

    SELECT \* FROM t1 LEFT JOIN t2 ON t1.id = t2.key AND t2.used_id = 213

I just found out about https://stackoverflow.com/a/52838493

    Host myhost
      Hostname host
      User user
      RequestTTY yes 
      RemoteCommand tmux new -A -s foobar

This breaks rsync & many other things that rely on SSH as transport. Try:

  alias ssh="ssh -o RequestTTY=force -o RemoteCommand='tmux new -A -s foobar'"

I use an ssh virtual host pattern *-tmux to copy over an ssh-specific tmux.conf to a remote host before connect and then connect to it with -f tmux-ssh.conf. I can also connect to a host directly without tmux stuff by omitting the -tmux suffix.

Or just use a different myhost, like "t-myhost" (i.e. myhost != hostname)?

Which would require creating a couple of hundred (in my case) duplicate host aliases instead of adding one shell alias that can be used with any host, including those not mentioned in ~/.ssh/config.

You can resolve this with a conditional. See the `Match` keyword.

Though I agree, probably not the best solution to start all sessions with tmux. There's other issues it can cause.

No, host matches allow wildcards.

Please don't do this. Do something like instead except don't call it .tmux.conf, use .tmux-ssh.conf and -f: https://stackoverflow.com/a/66709528

Newb question, aren't phantom types and typestates a subset (or cousin) of linear types ?

No. A phantom type is a type whose only use is to communicate a constraint on a type variable, without having a runtime value that corresponds to it.

Typestate is a bit closer: it communicates some property where an operation (typically a method invocation) changes the property and hence the typestate. But there isn't necessarily a mechanism that renders the value in the old typestate inaccessible. When there is, then this indeed requires some linearity/affinity ("consuming the object"), but typestate is something built "on top".

Thanks a lot

Kind of! Specifically typestates allow you to encode the special case of linear functions `f a ⊸ f b` for some type constructor `f` where `a` and `b` are (usually?) phantom types. Phantom types themselves don't involve any linearity per se though.

I need to read about the history of this feature. It's pretty amazing.

ps: ah well, that was fast https://en.wikipedia.org/wiki/Taint_checking#History :) (1989)

    Location: Paris, FR
    Remote: full remote
    Willing to relocate: no
    Technologies: Python, Typescript, Lisps, React, Django, FastAPI, Postgresql, Gitlab/ci, Docker
    Résumé/CV: https://registry.jsonresume.org/jnpn?theme=elegant
    Email: johan.ponin.pro@gmail.com
    Schedule: Part-time (~5 days a month)

Hello, I'm a senior (11+ years) fullstack dev looking for secondary job part time, between 5 and 10 days, US timezone possible (would fit right after my main job). Development or maintenance. I like working clean and fast, improving development tools to increase velocity / faster debugging (writing short babel ast analyzers at the moment). Fluent enough in English to hold conf calls with US teams. I'm proactive, averagely nice and well rounded. Seeking very high speed teammates, I enjoy learning new paradigms too. Willing to lower hourly rate in the 40-50 usd range if needs be. Volunteering is possible depending on the domain.

Also open to FP or logic programming (lisp/clojure, haskell/scala, prolog). Especially highly formal/industrial model-driven environment.

Thanks in advance for reading

https://registry.jsonresume.org/jnpn?theme=elegant

https://github.com/jnpn

https://mastodon.social/@jnpn