<normsaa>
Can you crack Aaron’s password hash? He seems to like simple passwords. I’m sure he’ll use his name and birthday in it. Hint: Aaron writes important dates as YYYYMMDD rather than YYYY-MM-DD or any other special character separator. Hash: 7f4986da7d7b52fa81f98278e6ec9dcb. Author: moat, Pacific Northwest National Laboratory
<normsaa>
who can bruteforce his birthday 4 digits and comparing to the md5 hash? in J
<Corbin>
normsaa: Still working on that CTF? It's not on-topic here.
Skyfire has joined #ocaml
[itchyjunk] has quit [Remote host closed the connection]
hendursaga has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 252 seconds]
gravicappa has joined #ocaml
hackinghorn has joined #ocaml
mbuf has joined #ocaml
favonia has quit [Ping timeout: 245 seconds]
favonia has joined #ocaml
Serpent7776 has joined #ocaml
wonko has joined #ocaml
mro has joined #ocaml
hendursa1 has joined #ocaml
mro has quit [Remote host closed the connection]
olle has joined #ocaml
hendursaga has quit [Ping timeout: 276 seconds]
Tuplanolla has joined #ocaml
Everything has joined #ocaml
olle has quit [Ping timeout: 265 seconds]
Haudegen has joined #ocaml
bartholin has joined #ocaml
hridy has joined #ocaml
adanwan has joined #ocaml
nuttyboi has joined #ocaml
nuttyboi has quit [Client Quit]
hridy has quit [Quit: Leaving]
wonko has quit [Ping timeout: 265 seconds]
[itchyjunk] has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 260 seconds]
Anarchos has joined #ocaml
bartholin has quit [Ping timeout: 265 seconds]
bartholin has joined #ocaml
Everything has quit [Quit: leaving]
bastienleonard has joined #ocaml
bastienleonard has quit [Client Quit]
bastienleonard has joined #ocaml
bartholin has quit [Quit: Leaving]
mbuf has quit [Quit: Leaving]
Haudegen has quit [Remote host closed the connection]
hendursa1 has quit [Quit: hendursa1]
hendursaga has joined #ocaml
Haudegen has joined #ocaml
xd1le has quit [Quit: xd1le]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
bastienleonard has quit [Quit: WeeChat 3.2]
bastienleonard has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
dextaa2 has joined #ocaml
wonko has joined #ocaml
hornhack has joined #ocaml
Stumpfenstiel has joined #ocaml
hackinghorn has quit [Ping timeout: 252 seconds]
chrisz has quit [Ping timeout: 250 seconds]
chrisz has joined #ocaml
wonko has quit [Ping timeout: 252 seconds]
adanwan has quit [Ping timeout: 276 seconds]
[itchyjunk] has quit [Remote host closed the connection]
waleee has joined #ocaml
average has quit [Quit: Connection closed for inactivity]
vb has quit [Ping timeout: 245 seconds]
vb has joined #ocaml
Anarchos has quit [Remote host closed the connection]
Anarchos has joined #ocaml
waleee has quit [Quit: WeeChat 3.2]
bartholin has joined #ocaml
waleee has joined #ocaml
average has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
bartholin has quit [Ping timeout: 245 seconds]
hornhack has quit [Ping timeout: 260 seconds]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
bartholin has joined #ocaml
Absalom__ has joined #ocaml
<Absalom__>
Hi, just opened utop for a quick try in evaluating a lambda expression, but while I can easily do it in Python, I encountered an issue with the type check in OCaml.
<Absalom__>
The following expression (lambda x: x(x))(lambda x: x(x)) leads to an infinite loop
<Absalom__>
But how can I type it in OCaml?
mro has joined #ocaml
mro has quit [Remote host closed the connection]
<Corbin>
Absalom__: That expression happens to be very famous! OCaml's type system, and many other type systems, will reject it. Python allows it because Python only checks types as it is evaluating each lambda, and doesn't detect any dynamic type errors.
Anarchos has quit [Quit: Vision[]: i've been blurred!]
<Absalom__>
Corbin: thanks! My goal wasn't actually to have an infinite loop, but rather to use utop for playing with lambda expressions!
<Corbin>
Ah, good times.
<Absalom__>
Then, no way for having something like the following get working? (function x -> x x)(function x -> x x)
<d_bot>
<bikachuu> `utop -rectypes`
<Corbin>
OCaml (and the wider family of ML languages) generally require a type for every function. If you try to give a type to your expression, you'll find that it needs to recurse on itself infinitely.
<Absalom__>
OK
<Corbin>
TIL about -rectypes, and that is pretty cool. Similarly, many type systems *do* allow these sorts of infinite types; a key phrase to know is "occurs check", which asks whether a type occurs as part of itself.
<d_bot>
<NULL> `utop # (fun x -> x x);;` gives `- : ('a -> 'b as 'a) -> 'b = <fun>`
<d_bot>
<NULL> `utop # (fun x -> x x) (fun x -> x x);;` just loops
Absalom__ has quit [Quit: EPIC5-2.1.5[1945] - amnesiac : Bye!]
olle has joined #ocaml
<d_bot>
<froyo> is `(\x. x x) (\x. x x)` <=> `Y id` ?
<d_bot>
<bikachuu> yeah
<d_bot>
<froyo> You can say
<d_bot>
<froyo> ```ml
<d_bot>
<froyo> let open Fun in
<d_bot>
<froyo> let rec y f = f (y f) in y id
<d_bot>
<froyo> ```
dstein64 has quit [Quit: ZNC 1.7.5+deb4 - https://znc.in]
dstein64 has joined #ocaml
average has quit [Quit: Connection closed for inactivity]
shawnw has quit [Ping timeout: 265 seconds]
bartholin has quit [Ping timeout: 265 seconds]
mro has joined #ocaml
bartholin has joined #ocaml
gravicappa has quit [Ping timeout: 252 seconds]
olle has quit [Ping timeout: 252 seconds]
mro has quit [Quit: Leaving...]
zebrag has joined #ocaml
shawnw has joined #ocaml
andreypopp has quit [Quit: ZNC 1.7.2+deb3 - https://znc.in]
andreypopp has joined #ocaml
dinosaure has quit [Ping timeout: 240 seconds]
dinosaure has joined #ocaml
cedric has joined #ocaml
bartholin has quit [Quit: Leaving]
cedric has quit [Quit: Konversation terminated!]
<d_bot>
<phated> I was trying to dive into this issue more last night, but couldn't find any solutions. Has anyone been building C-interop code on Mac M1? https://github.com/ocaml/ocaml/issues/10423
<d_bot>
<phated> I even gave ocaml 4.13rc1 a try to see if something has been fixed there.
<d_bot>
<Kate> @phated to me this looks like a difference in the compiler. Have you tried using clang on linux instead of gcc?
Stumpfenstiel has quit [Ping timeout: 252 seconds]
xd1le has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
adanwan has joined #ocaml
<d_bot>
<phated> I don't have Linux running on my M1
Haudegen has quit [Ping timeout: 265 seconds]
<d_bot>
<phated> I also tried both clang 12 and 13 (beta) on big sur
<d_bot>
<Kate> @phated mmh, I tried your `OCamlCppExn` repository and can't reproduce your issue on mac M1 mac. I get `Exception successfully caught`
<d_bot>
<Kate> same thing with Linux with either clang or gcc
<d_bot>
<Kate> (I'm on 12.0beta)
favonia has quit [Ping timeout: 265 seconds]
<d_bot>
<phated> Hmmmm, I was on clang 12.0.5 (non beta) at first
<d_bot>
<Kate> ah nevermind i didn't realized the default state of the repository is the "fixed state"
<d_bot>
<Kate> i can reproduce
<d_bot>
<phated> Our project is using the "fixed state" but exceptions still don't get caught