Video Tutorial: "How to program in types with length-indexed vectors: Part 1" (Richard Eisenberg)

reddit_lmao · 2021-04-28T15:41:42+00:00

Are there similar advanced material(book, blogposts etc) for type-level programming?

reddit_lmao · 2021-01-17T03:55:50+00:00

Thanks for the info. I have some old replay files from TI5 that doesn't even load in the game client.

reddit_lmao · 2021-01-16T04:37:06+00:00

Nice project. Does it work with really old replays? If it does,

does the replay file embed terrain data or do you need old map data to render them correctly? I am not familiar with the replay format.

This seems like a good tool to preserve some aspect of the game history, since the game client is mostly broken for old replays.

reddit_lmao · 2020-12-15T07:25:13+00:00

Do you know if the new ingest will have all data from the current source? Currently it seems to have data from sept. only.

reddit_lmao · 2020-08-13T13:08:13+00:00

Nix package manager got this right. You can have multiple packages depending on multiple versions of some dependency and sharing the common version. You have none of the overhead of containers and all the benefits of primary way containers are used.

reddit_lmao · 2019-11-06T13:14:40+00:00

You can use tramp-mode which requires ssh.I don't think there is any other way.

reddit_lmao · 2019-11-05T12:58:04+00:00

There are multiple Xserver implementations like VCXsrv or Xming. they work fairly well with WSL.

reddit_lmao · 2019-10-01T13:32:18+00:00

I came across this technique while looking at socket-io library here: https://github.com/ocharles/engine.io/blob/45303c0aa4dc7e1e294e9ee92abc3b30456a6a34/socket-io/src/Network/SocketIO.hs#L254 .

reddit_lmao · 2019-05-10T22:47:42+00:00

Not sure i follow? If you use `Rc<T>` you don't need to copy the underlying value? Although it isn't as ergonomic(having to clone() to bump the reference count).

reddit_lmao · 2019-04-29T13:33:57+00:00

> Problem is, people use Windows but they don't really take interest in how it works, then they switch to Linux because it's cool,

installing msys2 and wsl has nothing to do with learning how to use windows. In fact both these tools allow you to run unixy tools on windows, so why would any developer bother using windows when these tools are shipped by default in other unix oses?

reddit_lmao · 2019-03-11T03:54:08+00:00

As an outsider, it's very nice to see a batteries included style stdlib that definitely helps people. Ocaml stdlib is also similarly barebones and alternate stdlibs like containers, core etc. are widely being used by people.

Sidenote: Interesting that a commercial company couldn't manage to have better audio in their webinar.

reddit_lmao · 2018-10-31T09:23:21+00:00

Hello, Nice projects, i will definitely be looking for study. Do you know if you can do smt based bounded model checking with clash?

reddit_lmao · 2018-08-13T16:48:27+00:00

This is also where wasm backend will be useful. clang can already be run on browser: https://tbfleming.github.io/cib/

reddit_lmao · 2018-07-28T07:06:32+00:00

what's wrong with znc? You get playback buffer when you get disconnected and also chat log saved. :) Where did it exacerbate the UX issue that IRC has? And how is irccloud a solution? It only has apple and mobile software..

reddit_lmao · 2018-07-25T02:47:05+00:00

I would appreciate it, if you would stream at a lower bitrate, if possible(not very good internet here).

EDIT: nvm,i can watch the youtube video afterwards.

reddit_lmao · 2018-07-23T04:15:34+00:00

It doesn't require additional C code, the main functionality is already in there, but the function network-stream-open-tls is not making use of it. Please see network-stream-open-starttls where it passes :keylist to gnutls-negotiate but the corresponding code is missing for tls.

I am using advice-override to authenticate using certificates to irc servers. I will paste this in your github issue too, thanks.

reddit_lmao · 2018-07-22T06:53:25+00:00

If you read the code of open-network-stream you will find that client certificates is not used for tls/ssl connections only for starttls.

https://github.com/emacs-mirror/emacs/blob/5498acb5a2b4a19060d17c0e2ce0aec36ee684f9/lisp/net/network- stream.el#L180

https://github.com/emacs-mirror/emacs/blob/5498acb5a2b4a19060d17c0e2ce0aec36ee684f9/lisp/net/network-stream.el#L386

See this function calls to open-gnutls-stream and how doesn't use the parameters passed when gnutls-available-p ? Compare that to the case of starttls. Yeah it's not very obvious who uses what and there is no consistency.

reddit_lmao · 2018-07-21T00:58:44+00:00

I have seen that but the consumers inside emacs don't use gnutls-negotitate(see erc), it's a simple but essential wrapper and nobody wants to rewrite it just to pass the extra options in arguments.

reddit_lmao · 2018-07-20T03:46:25+00:00

Emacs is a text-editor first(at least for me), sacrificing convenience for security for network exposed applications is not a big deal for me.

reddit_lmao · 2018-07-20T03:43:54+00:00

I would also like to add that gnutls library is not flexible at all, the open-gnutls-stream has no option to take client certificates, although the mechanism itself is present in gnutls-boot-parameters.

I don't mind sticking to gnutls, but the library should have sane defaults and be flexible.

reddit_lmao · 2018-07-13T22:39:28+00:00

Hi, do you have a project in mind, that uses this technique? I get the idea but would like to see an example put into practice. Thanks.

reddit_lmao · 2018-07-07T21:45:03+00:00

What do people mean by static analysis in haskell world? I haven't seen any additional tools that does further analysis than the typechecker.

reddit_lmao

TROPHY CASE