!bLjOswEjbbDOFijqKp:matrix.org

Gavin's General

424 Members
Join the matrix space https://matrix.to/#/#gavinfreeborn:matrix.org15 Servers

Load older messages


SenderMessageTime
20 Sep 2023
@_discord_780550926964228136:t2bot.iodoctorcringephd you make the critical mistake of assuming they take pride in what they produce 22:35:35
@_discord_780550926964228136:t2bot.iodoctorcringephd business isn't about doing anything well 22:35:56
@_discord_780550926964228136:t2bot.iodoctorcringephd it's about shareholders 22:36:02
@_discord_309953093380866049:t2bot.iowiltaylor I wish apple would hurry up and just tell people to buy a keyboard for an ipad to have a mac 22:37:22
@_discord_309953093380866049:t2bot.iowiltaylor Then we would only have ios to deal with and could finally burry macos 22:38:18
@_discord_679283565996933142:t2bot.ioraphkz u haven't hit any of the weird situations where mypy just cannot infer types which are very obvious for the naked eye yet? That was one of the reasons I straight up given up on typing stuff too much in python 23:31:43
@_discord_679283565996933142:t2bot.ioraphkz * u haven't hit any of the weird situations where mypy just cannot infer types which are very obvious for the naked eye yet? That was one of the reasons I straight up gave up on typing stuff too much in python 23:35:28
@_discord_679283565996933142:t2bot.ioraphkz if u're privately owned u have to make a profit and provide value to stay afloat tho

public traded companies have an infinite money printer called investors betting on scamming other investors, so they don't care
23:42:38
@_discord_780550926964228136:t2bot.iodoctorcringephd wait are you saying publically traded companies have no legally enforcable responsibility to their investors? 23:46:27
@_discord_679283565996933142:t2bot.ioraphkz my sarcasm detector is very confused by this statement lol 23:49:40
21 Sep 2023
@_discord_976703614221443113:t2bot.ioumzi3 joined the room.00:20:57
@_discord_309953093380866049:t2bot.iowiltaylor Nah man sec is a myth :p 00:21:36
@_discord_309953093380866049:t2bot.iowiltaylor That printer jammed and stopped giving out cheap capital. which is why we are seeing lots of dick moves like what unity tried to pull 00:22:40
@_discord_461980943729688616:t2bot.iogavinok#0 Most of this comes from our projects not using mypy 😭 . I have no problem with mypy failing to infer types. Happens with pretty much any language 01:47:32
@_discord_679283565996933142:t2bot.ioraphkz nah mypy fails to infer typed types 07:11:27
@_discord_679283565996933142:t2bot.ioraphkz basically mypy will coerce types to any sometimes
and there's times it just doesn't work well
07:12:06
@_discord_679283565996933142:t2bot.ioraphkz I had something like this fail to infer for me not that long ago

def func() -> Type:
    pass

var: Type = func()


was very weird, I was able to pass any type I wanted into it and it never threw an error
07:18:35
@_discord_1073997095813521468:t2bot.iodokomo69Redacted or Malformed Event09:12:24
@_discord_1073997095813521468:t2bot.iodokomo69 https://www.zdnet.com/article/long-term-support-for-linux-kernel-to-be-cut-as-maintainence-remains-under-strain/ 09:12:55
22 Sep 2023
@aryak:projectsegfau.lt@aryak:projectsegfau.lt changed their display name from Arya [projectsegfau.lt] to Arya [migrated to @arya:frei.chat].13:04:24
@_discord_461980943729688616:t2bot.iogavinok#0 Today I found out the pyright has a full cli that can be used just like mypy. I was originally going to push for mypy integration in our projects but now I plan to try pushing this instead 23:23:54
@_discord_461980943729688616:t2bot.iogavinok#0 Might do a better job with some of your issues 23:24:12
@_discord_461980943729688616:t2bot.iogavinok#0 Haven't tried this example with either of them though so I will have to see 23:25:17
@_discord_461980943729688616:t2bot.iogavinok#0 I assume it will complain about the return of the function at least with pyright 23:25:56
23 Sep 2023
@aryak:projectsegfau.lt@aryak:projectsegfau.lt left the room.06:38:30
@_discord_679283565996933142:t2bot.ioraphkz yeah, I've also heard that pyright is slightly more accurate but I haven't given it much of a try cause I don't write as much python anymore 10:30:55
@_discord_461980943729688616:t2bot.iogavinok#0 Oh what do you write now? 12:34:25
@_discord_679283565996933142:t2bot.ioraphkz Go has replaced Python for most use cases where I'd use Python before
It's as easy as python, has a ton of libraries and the package manager/build system is less annoying
12:55:02
@_discord_679283565996933142:t2bot.ioraphkz (still reach out to python for small scripts, but I don't do those often) 12:56:06
@_discord_1083013272443293739:t2bot.ioprisoner874794 joined the room.15:16:20

There are no newer messages yet.


Back to Room ListRoom Version: 6