Post AY02AjYKOAdXRrr5KC by errante@rot.gives
(DIR) More posts by errante@rot.gives
(DIR) Post #AXzzsVd3Dcuh8yFLRQ by mario@hornyjail.pro
2023-07-23T21:52:49.806548Z
0 likes, 1 repeats
this your editor's dev?aren't you clowns ashamed of yourselves?
(DIR) Post #AY004gYuOZCwWl7CIy by buffet@chaos.social
2023-07-23T21:54:50Z
1 likes, 0 repeats
@mario mine's @buffet wdym
(DIR) Post #AY00EiZ5nqw7dRz7wm by mario@hornyjail.pro
2023-07-23T21:56:49.178766Z
1 likes, 0 repeats
it's an old pleroma meme :blobcatgiggle2: i don't have the original sadly :sadcat:
(DIR) Post #AY00RMeAbapxQEOFhw by buffet@chaos.social
2023-07-23T21:57:56Z
0 likes, 0 repeats
@mario i am ignorant of the deep pleroma lore, i must apologize
(DIR) Post #AY00TF4lj12SWJj8Gu by errante@rot.gives
2023-07-23T21:59:26.670237Z
1 likes, 0 repeats
@mario my editor's dev is a short thin femboy
(DIR) Post #AY00ZzKUfTz9i8Iaoa by mario@hornyjail.pro
2023-07-23T22:00:06.290893Z
0 likes, 0 repeats
some1 moar knowledgeable than me should make an (good) iceberg meme explained video on the pleroma deep lore :blobcat3c: there is a ton to talk about :blobcatopenmouth:
(DIR) Post #AY00bGOoglNqwPvf1M by mario@hornyjail.pro
2023-07-23T22:00:26.506017Z
0 likes, 0 repeats
my editor's dev is :rms:
(DIR) Post #AY00dVz7iG17rGz7PU by errante@rot.gives
2023-07-23T22:01:19.970325Z
1 likes, 0 repeats
@mario mario, im the dev
(DIR) Post #AY00iuJuf76UmTHRBY by mario@hornyjail.pro
2023-07-23T22:02:15.693117Z
0 likes, 0 repeats
wats ur editor? :blobcatopenmouth:
(DIR) Post #AY00lCkl6Ex4WqvskC by errante@rot.gives
2023-07-23T22:02:43.313438Z
1 likes, 0 repeats
@mario notpad
(DIR) Post #AY00rG4veIu8a0FmkK by mario@hornyjail.pro
2023-07-23T22:03:47.702773Z
0 likes, 0 repeats
i use xed sometimes :blobcatuwu:
(DIR) Post #AY00tgm1MuV9x5ZJjs by errante@rot.gives
2023-07-23T22:04:15.236934Z
2 likes, 0 repeats
@mario lemme oost two demos
(DIR) Post #AY015QJqN6WkOVz5tI by mario@hornyjail.pro
2023-07-23T22:06:16.993829Z
0 likes, 0 repeats
that looks super cool :blobcatoverlycute: does it also have compiler/debugging integration, auto completion, language server support and syntax highlighting? :blobcatopenmouth: maybe it's less slow than :emacs: :blobcat3c:
(DIR) Post #AY018E2qSmJlCBMyYK by errante@rot.gives
2023-07-23T22:06:51.621668Z
2 likes, 0 repeats
@mario why would it need any of that garbage?
(DIR) Post #AY01AbzmO1nw3X4cK0 by mario@hornyjail.pro
2023-07-23T22:07:18.789156Z
0 likes, 0 repeats
for being productive at a dayjob :blobcatgooglytrash:
(DIR) Post #AY01CbbymiRfRctMRM by errante@rot.gives
2023-07-23T22:07:40.579524Z
1 likes, 0 repeats
@mario works 4 me without those
(DIR) Post #AY01IbpesSQHrm9XPM by mario@hornyjail.pro
2023-07-23T22:08:43.784660Z
0 likes, 0 repeats
if i don't have my language server i take like double the amount of time to get functioning code :blobcatgoogly:
(DIR) Post #AY01Mv5VEAkAkEcSfo by errante@rot.gives
2023-07-23T22:09:29.147824Z
1 likes, 0 repeats
@mario sounds like a skill issuealso i have it setup that i can run shell commands inside it and that works a charm so
(DIR) Post #AY01VMAYQIXf3M0Neq by mario@hornyjail.pro
2023-07-23T22:11:03.062469Z
0 likes, 0 repeats
>skill issueno need to check for semantic errors by invoking the compiler if the language server just tells you beforehandit's literally just a net time save to have a language server
(DIR) Post #AY01YbZfbV3xhSImDA by errante@rot.gives
2023-07-23T22:11:38.617520Z
1 likes, 0 repeats
@mario no need to check for semantic errors if you dont write any
(DIR) Post #AY01c3102IU7ftj6si by mario@hornyjail.pro
2023-07-23T22:12:16.260287Z
0 likes, 0 repeats
:doubt:
(DIR) Post #AY01ga27DZLJEjPT8K by errante@rot.gives
2023-07-23T22:13:02.312003Z
0 likes, 0 repeats
@mario in general notpad is very optimised to my usecase, which is my terminalits mainly used for writing what i need it to, which is so far mostly constrained to 'not giant monoliths of java'
(DIR) Post #AY01rKTnNzD4BRTyk4 by errante@rot.gives
2023-07-23T22:14:59.151113Z
0 likes, 0 repeats
@mario if i need a feature, i add it. if i dont need a feature, it doesnt get in my way
(DIR) Post #AY01ri7zSi1nWlSu5Q by anemone@misskey.anemoneya.me
2023-07-23T22:14:49.672Z
1 likes, 0 repeats
@errante@rot.gives @mario@hornyjail.pro sounds like you have never worked on anything but small projects tbh
(DIR) Post #AY01v225udiI88I6Uq by mario@hornyjail.pro
2023-07-23T22:15:41.347132Z
0 likes, 0 repeats
my terminal is rxvt-unicode and i love it but it's so bad and i love it but it can't do anything right and i love it but it need to get like 3 community patches to be useable and i love it but it can't even run nload
(DIR) Post #AY028CRqV3AICIcBvM by errante@rot.gives
2023-07-23T22:18:02.700968Z
1 likes, 0 repeats
@anemone @mario that is correct
(DIR) Post #AY02A2NWuRRvXvTM1Y by mario@hornyjail.pro
2023-07-23T22:18:24.845225Z
0 likes, 0 repeats
i doubt you can "just" add stuff like it's nothing
(DIR) Post #AY02AjYKOAdXRrr5KC by errante@rot.gives
2023-07-23T22:18:31.845424Z
1 likes, 0 repeats
@anemone @mario :akaneshrug: forgive me for being young and having fun with my tech
(DIR) Post #AY02Crzrxr6EDVkwa0 by errante@rot.gives
2023-07-23T22:18:55.543540Z
1 likes, 0 repeats
@mario oh, its not nothing, but its fun to do
(DIR) Post #AY02Ee28qoHFUPfJOS by anemone@misskey.anemoneya.me
2023-07-23T22:19:14.530Z
1 likes, 0 repeats
@errante@rot.gives @mario@hornyjail.pro im not seriously criticizing really, just making an observation and you seemed to be ignoring the perspective others are coming from
(DIR) Post #AY02FM3lA9iQ2AlE1Y by mario@hornyjail.pro
2023-07-23T22:19:21.732849Z
0 likes, 0 repeats
:blobcatgoogly:
(DIR) Post #AY02K4Sg1H9Eu0fFOy by mario@hornyjail.pro
2023-07-23T22:20:10.572846Z
0 likes, 0 repeats
as a fun challenge, could you try implementing syntax highlighting for c? :think_nyan:
(DIR) Post #AY02KQ8ZQi8Y81QV7I by errante@rot.gives
2023-07-23T22:20:14.557291Z
0 likes, 0 repeats
@mario @anemone yea, not needed it in that cobtext yet. once the demands grow high enough, ill switch :akaneshrug:
(DIR) Post #AY02Mu9cnYU5nt6W8m by errante@rot.gives
2023-07-23T22:20:44.105190Z
1 likes, 0 repeats
@mario why? i dont need syntax highlighting for C, and I have more important things to do
(DIR) Post #AY02QHw4psQSQgNfBA by mario@hornyjail.pro
2023-07-23T22:21:18.173265Z
0 likes, 0 repeats
because it's not nothing, but fun to do :blobcatlaugh:
(DIR) Post #AY02Tv9JUthkutIuY4 by errante@rot.gives
2023-07-23T22:21:58.771220Z
0 likes, 0 repeats
@anemone @mario the garbage comment was a joke ^^
(DIR) Post #AY02b2sb9cxkv2snrM by errante@rot.gives
2023-07-23T22:23:16.424469Z
1 likes, 0 repeats
@mario adding syntax highlighting would mean a rework of my data model and a config file at worst so eh, not too hard to do
(DIR) Post #AY02bqWKagrOsSqj5s by anemone@misskey.anemoneya.me
2023-07-23T22:23:25.692Z
0 likes, 0 repeats
@errante@rot.gives @mario@hornyjail.pro hard to tell with some people
(DIR) Post #AY02gii93Nkm6YhQR6 by mario@hornyjail.pro
2023-07-23T22:24:18.464988Z
0 likes, 0 repeats
i don't really see how you would get around writing a parser :think_nyan:
(DIR) Post #AY02kuHtxBFTASQ8cy by errante@rot.gives
2023-07-23T22:25:02.692657Z
1 likes, 0 repeats
@mario same way everyone has always done it - regex.
(DIR) Post #AY02pwe0cSJjvNACP2 by errante@rot.gives
2023-07-23T22:25:59.277703Z
0 likes, 0 repeats
@anemone @mario but also as an insane retard i get very quickly irritated by minor annoyances like 'takes too long to load' and 'too much noise on the screen'
(DIR) Post #AY02tLwl0BgdGcYeQ4 by anemone@misskey.anemoneya.me
2023-07-23T22:26:33.506Z
0 likes, 0 repeats
@errante@rot.gives @mario@hornyjail.pro i prefer noise on the screen vs in my brain
(DIR) Post #AY02tQhhJbby1MYC8m by mario@hornyjail.pro
2023-07-23T22:26:28.755773Z
0 likes, 0 repeats
i think you can't parse c using regex since regex are just type-3 grammars while c also has variables and a stack :blobcatthink:
(DIR) Post #AY02wqG2lLSQ8zF6TA by errante@rot.gives
2023-07-23T22:27:13.558520Z
1 likes, 0 repeats
@mario you dont need to parse it to highlight it
(DIR) Post #AY032Bvzb4geowPmJE by mario@hornyjail.pro
2023-07-23T22:28:07.909706Z
0 likes, 0 repeats
how else would you find out which bracket gets which color? :blobcatopenmouth:
(DIR) Post #AY036e1t59Of79INoe by errante@rot.gives
2023-07-23T22:28:58.889294Z
1 likes, 0 repeats
@mario you can simply... omit thatlol
(DIR) Post #AY038Shw9Ba4ZzpXuK by errante@rot.gives
2023-07-23T22:29:20.056368Z
1 likes, 0 repeats
@mario syntax highlighting generally makes code harder for me to read, other than when tbe source language is very noisy. generally, the things that help me when highlighted are comments and strings, and thats dubious
(DIR) Post #AY039SM6wQxfmG5zUm by mario@hornyjail.pro
2023-07-23T22:29:29.356935Z
0 likes, 0 repeats
but at that point you don't have syntax highlighting but a text editor with rgb :blobcatgooglytrash:
(DIR) Post #AY03ICEOGGpgNGeTi4 by errante@rot.gives
2023-07-23T22:31:03.733287Z
1 likes, 0 repeats
@mario your standards for syntax highlighting are high :akaneshrug: but syntax highlighting has existed since we've had colour screens, and it hasnt alwsys involved a parser. not everyone needs or wants rainbow bracket
(DIR) Post #AY03LIM9wb88ExlOTY by mario@hornyjail.pro
2023-07-23T22:31:37.085466Z
0 likes, 0 repeats
are you sure you'd rather count these stupid things? :blobcatgoogly:
(DIR) Post #AY03QAqPIkliOEEoYC by errante@rot.gives
2023-07-23T22:32:28.083681Z
1 likes, 0 repeats
@mario i dont write code like that. id write code to generate that for me, and have my editor insert it.
(DIR) Post #AY03YdLNE0tH60kwZE by errante@rot.gives
2023-07-23T22:34:02.153357Z
1 likes, 0 repeats
@mario n {"(S ",x,")"}/"0"here's the code for that btw
(DIR) Post #AY03bs2B3xxxWgJx3I by mario@hornyjail.pro
2023-07-23T22:34:37.183667Z
0 likes, 0 repeats
my standards are actually just the standards in the respective emacs major modes :cirno_shrug: i have no idea tbh how one'd go around doing syntax highlighting without a parser :blobcatopenmouth: ofc you'd go with having some thing omitted, but that is def inferior to having an parser do it
(DIR) Post #AY03gv7J1r30XE7y08 by mario@hornyjail.pro
2023-07-23T22:35:34.210079Z
0 likes, 0 repeats
that code is generated :blobcatgiggle2: but functional code just used a lot of brackets
(DIR) Post #AY03kq3pljem0pN7pI by errante@rot.gives
2023-07-23T22:36:14.807528Z
1 likes, 0 repeats
@mario youd do syntax highlighting by regex. emacs has been doing it for years, parsers only recently got good enough. and, in my case, the parser is inferior, because regex executes faster, and what I need highlighted is capturable by regex
(DIR) Post #AY03wI2e4qZjykHCXw by mario@hornyjail.pro
2023-07-23T22:38:18.453256Z
0 likes, 0 repeats
i mean it works, but i wouldn't say it's really a syntax highlighter as it doesn't parse any syntax but just checks for keywords :cirno_shrug:
(DIR) Post #AY042jPpDNCCcBBqZU by errante@rot.gives
2023-07-23T22:39:28.183705Z
1 likes, 0 repeats
@mario cool, yes, it is thatguess what mariothats what a syntax highlighter has always been
(DIR) Post #AY04CebRxiuuaKMJZg by errante@rot.gives
2023-07-23T22:41:15.420799Z
1 likes, 0 repeats
@roboneko @mario simple is great
(DIR) Post #AY04F6fGbKHmCBJVcu by mario@hornyjail.pro
2023-07-23T22:41:43.643415Z
0 likes, 0 repeats
in a sense yes, but it also differentiates between types using an abstract syntax tree. that way it can tell variables from functions i.e.it's the difference between showing the syntactic structure of code and using rgb on it, at least as far as i see it
(DIR) Post #AY04JN8TIuVkRD0Yng by errante@rot.gives
2023-07-23T22:42:29.432583Z
1 likes, 0 repeats
@mario most languages can tell variables from functions without parsing :Pyouknowbecause theres a call syntax
(DIR) Post #AY04KQMullgakpGVpw by errante@rot.gives
2023-07-23T22:42:42.302507Z
0 likes, 0 repeats
@anemone @mario noise on the screen makes my brain foggy
(DIR) Post #AY04KVoOX1dddVA1rc by mario@hornyjail.pro
2023-07-23T22:42:41.016332Z
0 likes, 0 repeats
am confus :blobcatgoogly:
(DIR) Post #AY04PXTblmOcFNppmS by mario@hornyjail.pro
2023-07-23T22:43:37.164208Z
0 likes, 0 repeats
>most languagesactually many i work with don't :sadcat: some don't even have infix notation built in
(DIR) Post #AY04SwPfVrcKSGcAQy by errante@rot.gives
2023-07-23T22:44:12.582069Z
1 likes, 0 repeats
@mario mathematicians cant be trusted, as usual
(DIR) Post #AY04aLl9foXB5pCJ9M by errante@rot.gives
2023-07-23T22:45:32.081944Z
0 likes, 0 repeats
@anemone @mario its why i struggle greatly with rust code. the excessive of noisy symbols dont carry their syntactic weight
(DIR) Post #AY04ivdQAqS8ftfdxI by anemone@misskey.anemoneya.me
2023-07-23T22:47:06.984Z
0 likes, 0 repeats
@errante@rot.gives @mario@hornyjail.pro the cognitive load of not having any code analysis tools overloads my brain with tedious, unnecessary tasks so i can't get anything done
(DIR) Post #AY04sC3UUaMoCyHZHU by anemone@misskey.anemoneya.me
2023-07-23T22:48:47.013Z
0 likes, 0 repeats
@errante@rot.gives @mario@hornyjail.pro in rust the complexity is abstracted vs hidden with magic or left for you to deal with manually which i think is generally superior to those other approaches for most applications though not all
(DIR) Post #AY05QpWoEuWqTdVnYe by mario@hornyjail.pro
2023-07-23T22:55:02.742224Z
0 likes, 0 repeats
variables are typed values while functions are mappings from a certain type to a certain type? :blobcatgoogly:
(DIR) Post #AY0eRgMVRDt7hQVOfg by mario@hornyjail.pro
2023-07-24T05:27:21.389662Z
0 likes, 0 repeats
how do you mean holding a lambda? :blobcatopenmouth: like assigning a lambda term to a variable name?
(DIR) Post #AY0eweK54MmKLu8ZSC by mario@hornyjail.pro
2023-07-24T05:32:58.349717Z
0 likes, 0 repeats
i would have said that the mapping is a different typing than the declaration of a type and that doesn't happen at evaluation time but at declaration.a type is different from a function signature
(DIR) Post #AY0fHut4g7u1o6e7yy by mario@hornyjail.pro
2023-07-24T05:36:48.945804Z
0 likes, 0 repeats
i mean a function signatur is also a function signatur by itself, but it’s more complex as it’s nested calls. i.e. if i have a let int a ← 42 that has type ℤ but with a let int res (int a) ← add a 42 i have the signature ℤ → ℤ
(DIR) Post #AY0ffknVqLehSrPYVk by mario@hornyjail.pro
2023-07-24T05:41:07.136428Z
0 likes, 0 repeats
nested calls is somewhat wrong, unless you have higher-order functions, if you don't then it's sequential calls
(DIR) Post #AY0fooP9nk6VG4L2Zc by Korgy@minidisc.tokyo
2023-07-24T05:42:46.812Z
1 likes, 1 repeats
@mario@hornyjail.pro https://youtu.be/P0AJM6HMYjM
(DIR) Post #AY0g5m1ntIVGoHVFE8 by mario@hornyjail.pro
2023-07-24T05:45:50.895356Z
1 likes, 0 repeats
https://youtu.be/kK0M74E8PS4
(DIR) Post #AY0g9jvFf5QnRCKUAS by Korgy@minidisc.tokyo
2023-07-24T05:46:32.021Z
1 likes, 1 repeats
@mario@hornyjail.pro that is classic. https://youtu.be/64BXuQUcdqQ?t=6
(DIR) Post #AY0qq4p5LLbRxoGuJ6 by mario@hornyjail.pro
2023-07-24T07:46:15.919891Z
0 likes, 0 repeats
butbutbutbbutbutbutbutbutbutbut it is not pointless as functions are moar complex than variables as you can use functions as inputs of other functions in order to get higher-order functions :blobcatopenmouth: that's not possible with variables and iirc actually puts it in a another complexity class
(DIR) Post #AY0r4fyG1bfvEKWVkW by histoire@pleroma.skyshanty.xyz
2023-07-24T07:48:46.239228Z
1 likes, 0 repeats
@roboneko @mario @errante Lisp chads win again
(DIR) Post #AY0r7B2XTwCMAUicRU by mario@hornyjail.pro
2023-07-24T07:49:19.298966Z
1 likes, 0 repeats
have lisp chads ever lost ever? :think_nyan:
(DIR) Post #AY0rM9A4kRd0gbNk1o by histoire@pleroma.skyshanty.xyz
2023-07-24T07:51:57.478674Z
1 likes, 0 repeats
@mario @roboneko @errante Came in last in the ugly language syntax competition
(DIR) Post #AY0rPoRdiLYbaoLTQ8 by mario@hornyjail.pro
2023-07-24T07:52:42.897750Z
1 likes, 0 repeats
if erlang was also a competitor i call rigged
(DIR) Post #AY0rVRraaIgTIMAcoy by mario@hornyjail.pro
2023-07-24T07:53:41.829411Z
1 likes, 0 repeats
also haskell :puke:
(DIR) Post #AY0rh95qCHrmYVPkBs by histoire@pleroma.skyshanty.xyz
2023-07-24T07:55:47.577616Z
1 likes, 0 repeats
@mario @roboneko @errante Haskell looks like python, for what little I've used itAnd Erlang is incomprehensible to meSee, they would have come in first in that competition
(DIR) Post #AY0rlERuE4qQKCgRCy by mario@hornyjail.pro
2023-07-24T07:56:35.180294Z
1 likes, 0 repeats
i can't into linear order :blobcatgooglytrash: haskell is somewhat of a pain to write but reasonable good to read
(DIR) Post #AY0rzVcTBS97dFQs2i by mario@hornyjail.pro
2023-07-24T07:59:10.281718Z
0 likes, 0 repeats
butbutbutbutbut eval at compile time ≠ higher-order functions :blobcatopenmouth:
(DIR) Post #AY0ufmbWcnomNdHBJo by mario@hornyjail.pro
2023-07-24T08:29:12.232461Z
0 likes, 0 repeats
i'm thinking of stuff like the ackermann function.you can't compute it with just variable assignment and function calls employing primitive recursion, you need to go higher order functions to compute itat least afaik
(DIR) Post #AY0uiW58VkvA0PQiR6 by mario@hornyjail.pro
2023-07-24T08:29:40.824906Z
0 likes, 0 repeats
i'd argue void* is a very hacky type :blobcatlaugh:
(DIR) Post #AY0uw9037tw6TKY5K4 by mario@hornyjail.pro
2023-07-24T08:32:10.167091Z
0 likes, 0 repeats
i mean, as long as a data type is turing complete (i.e. classes in java which simulate functions as operations and variables of attributes) you can have higher order functions, but my point was that funcations are different from (typed) variables since they can do higher order fuctions because they are mappings from types to types while variables are "just" types
(DIR) Post #AY0vGxcybRZNHcgO5w by mario@hornyjail.pro
2023-07-24T08:35:56.550315Z
0 likes, 0 repeats
you can have an ambiguous type system that evals and fixes the types at compile type, but that does't mean that this system automatically supports higher-order functions.i.e. i can enforce a compiler to only allow functions to take and return primitive typesi doubt the impact has any practical relevance, but i think the point i'm trying to make (that functions are more complex in a computational/parsing sense than variables) does. but what exactly that impact is apart from "it's a difference" i can't explain rn :blobcatgoogly:
(DIR) Post #AY0vMBWSMyrxpE7kum by i@declin.eu
2023-07-24T08:36:52.916932Z
1 likes, 0 repeats
@mario @roboneko @errante that just needs an explicit stack/bigint not to overflow, since it's a function you can't tailcall yourself out of
(DIR) Post #AY0vhgETNzWt9SxiS0 by mario@hornyjail.pro
2023-07-24T08:40:44.836034Z
0 likes, 0 repeats
but that's "just" memory management, the computation of it is (afaik) also higher order by definition as it's a recursion that is not a primitive recursion
(DIR) Post #AY0wFoZCuBPAqWw9Xk by mario@hornyjail.pro
2023-07-24T08:46:55.031067Z
0 likes, 0 repeats
@i @roboneko @errante actually I think i'm just baka and the ackermann function actually isn't a higher-order function :blobcatgoogly: It's a (Nat × Nat) -> Nat Function after all
(DIR) Post #AY0wKhFVXWgVbB3CPA by mario@hornyjail.pro
2023-07-24T08:47:49.497755Z
0 likes, 0 repeats
but i think my point still stands if you replace ackermann with mapyou can't map functions to variables if you don't have functions in the first place, since they are just variables
(DIR) Post #AY0xU3P2dqySrrXHTE by i@declin.eu
2023-07-24T09:00:43.653077Z
1 likes, 0 repeats
@mario @roboneko @errante i guess the disagreement here is if knowing all the function signatures ahead of time and flattening them to simpler static procedures, stops a language from truly having higher order functionsi'm not sure the definition of higher order functions disallows that
(DIR) Post #AY0xbQ0N0RmSzgVWxk by mario@hornyjail.pro
2023-07-24T09:02:02.090590Z
0 likes, 0 repeats
i thought the disagreement was regarding the question if functions and variables are different concepts :blobcatopenmouth:
(DIR) Post #AYVkMAZd0I9jWij4Bk by pernia@cum.camp
2023-08-08T05:29:23.592432Z
0 likes, 0 repeats
@errante @mario bro why does it have gemini support