ltr_

very interesting language, I'm looking for a new programing language for our AWS lambdas, is ReScript a viable option for backends too?

interesting language, didn't have the time to read the details/spec but, what i found most difficult when reading recipes on the internet that the ingredient names change dramatically between countries(event with the same spoken language), does this language attempt tackle that problem? also it would be nice to have alternatives for some ingredients.

that was exactly what i was asking for, i know how it works, but i would like to know how it is used by pros, (if used at all)

[off topic] I always wondered how '%n' is used in production code.

nice to see phrack back again. I still remember "Smashing the stack for fun and profit", the article that back in the days made me have an epiphany about C, pointers and memory in general.

Been using old quake 1&3 maps that I used to play in when younger to form palaces, so far it's working great

- not working on, but, studying to be working on a zig backend/runtime for idris 2.

- coding integrations with and smart contracts for a defi/cefi business.

ADHD/Bipolar here, I really struggle with this, and using external tools is not an option, for me is just more multitasking risk!,something that works for me, aside from the drugs and good sleep, is a top down approach when programming, I just implement functions in terms of undefined magic functions/objects (all red in the IDE!) and start backwards implementing them, I used this "technique" when I was a Java developer using IntelliJ (CTRL+SPACE over undefined item -> implement). that kept my attention in easy chunks and well defined tasks. Type driven development is another "technique" I discovered, and it worked very well for me lately. Using the compiler as your guide and friend.

I was wandering the same thing, here in my country a lot of reforms are stoped by the constitutional tribunal, basically they are a bunch of lawyers that implement a function,

constitutional :: Constitution -> (Law | Reform) -> Boolean

I really would like to see if one can train a model like that. seeing what gpt-3 can do, it seems that we are not that far away to achieve something like an AI lawyer.

> Did you continue to feel that way after the episode?

yes, but not without effort,its like that episode taught me how to make connections more easily, or be aware of them more consciously. I remember it wasn't rare to be told on my work: - how the hell did you know it was that? when i was asked to take a look into a problem/tools/frameworks even areas not related at all to what I was doing, my answer often was, i don't know. it happened to me so often that i thought that the information was there and the connections were made without being conscious.

Also happen that is extremely hard to express my self or explain things that i know i can handle in my mind, but i guess im just shy.

> When things connect or we're making progress, we tend to feel happy/euphoric. So what is the reason that the doctor recognized the above as bipolar type 2?

I guess i was very talky,remember commenting him that I memorized/learned a bunch of stuff and i was able to recall it at will, I was very exited, too much I guess. he told me "a little bit more.. and you are going to think you can fly and jump off a building", so he told me to call him every day that week to report, I was delusional. Also, the diagnosis made me think of the past, and saw a very clear pattern of ups and downs. I don't feel depressed when I'm down, I just become apathetic, bored, angry and results in frustration , the energy is there,and its too much, but I'm there paralyzed. also my ability to express ideas, opinions or just the use of the words degrade substantially.

> When does "feeling optimistic" end and where does "bipolar" start?

In my experience with states of hypomania: the optimism is just not proportional to the achievements I guess, but you aren't going to be aware of that. you become another person, your confidence go to the roof, and your anxiety to 0, you feel at the top of the world, you can easily become a con artist if you want. that is when you start to do things that puts you in danger, physically, monetary , sexually,etc...

*sorry for my English, not native speaker. edit: new line

Just venting out:

I remember the exact day and moment that, for the first time I felt that my mind was clear as crystal water, silent, and could be used at command without any effort. 0 anxiety, the inner voice in my head disappeared.

At the time i was unemployed just reading/watching math/philosophy/CS books/videos, I was stuck understanding concepts for months, just reading things without really digesting them, just to pass time. but at that second, everything started to make sense, without any effort, I started to make connections between concepts and applications, recalled that day as one of my best days of my life and changed my way of thinking in a good way, forever. i was just laying in bed completely immersed and exploring a new world in my mind. my memory was like it was a movie that could be rewinded,paused and analyzed at will.

The next Monday i visited my doctor at the time (i was been treated for ADD), I said - thanks you!, when i entered his office, thanks you for curing me!. I explained what happened and how i felt, he looked at me, took a paper and sign my definitive diagnosis : bipolar 2. he cut my antidepressant and prescribed my new treatment, and he told me, that how i feel was not going to last, and the way down could be really hard, and indeed, it was really hard for me to think that this was going to go away, I remember every morning of that month waking up and checking my thoughts. over the course of 2 months, i went back to the 'normal chaos', also i just landed a new job (which i quit 2 months later), so my worries intensified. I still have the false hope that I was the real me during those months and that sometime in the future I would be that way forever. I really want to feel normal, sociable , logical, assertive and articulate as I am during my states of hypomania , which are no longer than a week, very frequents, but not as high as that episode 2 years ago.

Life treated me well,i had extremely good luck with my understanding partner, my friends/colleagues and family, they know how to turn my weirdness and chaotic mind into something useful and productive. I still have no monetary stability and I feel I'am at one catastrophic disease/event to be on the streets or dead, I have been broke several times in my life, but as an 'above average' IT guy in a third world country with a simple life style, it was easy to find a job and shine for a while and get the money to get back on track and then throw it all and repeat.

Now, Im 'stable', under quetiapine/concerta, unemployed and with zero will to work ever again in something with a boss or teams, resisting the urge to engage and get exited with projects with other people, because i know ill disappoint at some time. Im feeling frustrated that i cant do anything valuable with what i know, i simply don't have the discipline nor the stamina to do something that matters and it is slowly eating me from inside. I dream of having a little opensource projects that involve everything I enjoy from math/cs/art, all my "projects" , code , ideas that i wrote get deleted in the next system reinstall. I don't know how/where to get more valuable help, i had tried a lot of things (mindfulness meditation, exercise, drugs, prescription meds, charity, collaboration on OS projects,diets...), things that at sometime seems to be doing the right thing on me but, they stop working or my energy just vanish, so i dismissed the effects as a placebo, which leads me to believe that is the only effect that works on me.

IT Related : "Morty relax, it's just a bunch of ones and zeros out there, you're gonna be fiiiiiine"- Rick Sanchez in Dota 2

generally a person that does not do programming have less friction with the topic if you approach him with a functional style. for example, try to get a proof of concept or a big picture of the problem in excel and build up from there. it does not have to be something complex, replace services and databases with simple rows.

As a programmer also I recommend to learn category theory, which is known for its diagrams (drawing!), its hard for a while, but when you get to adjunctions I found it makes easy to navigate any problem and as a consequence, you can explain/reason about it better.

fzf tmux Vim+plugins+ language servers. lldb/gdb, languages repl's in general(ie. ghci for haskell)

aside from 3Blue1Brown :

I think category theory will give you an unique point of view of math, also basic logic and philosophy are very important for a good and solid foundation on math intuition.

https://arxiv.org/abs/1803.05316 along with their youtube lectures.

very basic but refreshing:

https://www.youtube.com/playlist?list=PL8dPuuaLjXtNgK6MZucdY...

if you are a programmer or developer:

https://bartoszmilewski.com/2014/10/28/category-theory-for-p... https://blog.ploeh.dk/2017/10/04/from-design-patterns-to-cat...

here is my story, because it feels really relevant to this subject:

I used to think this way, it was very hard to study or go deep into abstract concepts for long periods, but it is useful to some extend, I was able to get a "decent life as an responsable adult" with this system in my head. you ended learning anything you studied, but I felt uncomfortable, uneasy,tired all the time, full of anxiety in social events of any kind, to the point I got into a deep frustration and depression that leaded to unemployment twice in my life. all because of my internal voice, it can get very uncontrollable, it fools you in to thinking that this voice is the only resource you have in your mind. that the voice is you.

unemployed, with a lot of time in my hand, I started to learn math, specifically,I got into category theory thanks functional programming. the subject just fascinated me. I started a really hard journey ,I got really deep into that rabbit hole, all of this ,with my anxiety at full and my brain in complete chaos. but I continued, even when I couldn't grasp any of the concept explained in the articles and books I read. I just continued mindlessly like a zombie, and at some point I really thought that I was losing my mind. suddenly, one day, watching a video on YouTube about philosophy, I heard the expansion of the famous phrase, cogito, ergo zoom. and everything , from one moment to the next, started to make sense, things like monads, functors, implications of Cartesian products, etc.. were concepts that I could handle naturally, I was being overloaded with new knowledge that seemed to came from nowhere. it was the most exciting feeling I had in my life. I started to see everything different. the reflection of the tangible world in my mind was changed forever.

now, I just try to transform everything, every interaction, memory or concept to a category theory diagram in my head. my mental model was altered when I discovered that everything can abstracted to dots and arrows moving around and "zoomed" in and out if you filter the unnecessary noise that comes from your senses and your own brain, which is a lot. once you find a simple system to do that mechanically , it starts to be something like blinking or breathe. you are focused with clear mind, all the time, from the first thoughts in morning to the last one before sleep, is such a fantastic feeling. I started to be very aware of this just few days ago and it feels like magic, I can't control it in full but I truly think I'm someone new.

It could be anything (nMBome - 2C-x - mixed with amphetamines), it is very rare to find pure LSD on the streets.

I walk a lot, but I'm thinking on start a video series with fitness exercises.

thanks for all the support I'll check the links.

working on my crippling depression / ADHD, unemployed (i don't want to work anymore in anything) 6 months , 0 productivity. learned a lot of category theory, functional programming and c++ tho.

laziness does not exists, boring and mindless stupids jobs does.

ofc, but it is possible for compiler to be smart enough to"discover" this? and use similar heuristics for other similar problems?

just doing a double click on the Fibonacci Solution :hypothetically speaking, can a compiler take the recursive solution and optimize it to the Binet's formula in machine code? . and obviously apply that technique to other similar problems?.

nice project. I was looking to extract a palette for a custom color scheme for my syntax highlighter based on my cat's colors. I was too lazy to look for a tool, now I have no excuse. and yeah I love my cat. she has to listen to my rants about my own code all day.

> I’ve finally come to realize that most businesss and developers simply don’t revolve around whatever’s trending on HN.

shocking.

but truth be told,HN have a share on my hate to any IT job in my country, and my past professional decisions.

All my dev life was in finance, they don't give a shit about how its done, they just throw money at the problem until its finished. your boss and your boss's bosses are just worried about making their bosses happy. Another thing that happens a lot: here it comes the big tech company sales man with swag, hookers and travel tickets to their next conference in the most exiting city in the world, the guy in charge will buy any tech from them. and most of the time is pure crap.

> Docker s2010 App store for server configurations.

it seems a little bit outdated

if we are throwing crazy ideas: https://thismultibilliondollarstartupdoesnotexist.com

none. bad pay, 45 hours a week. ignorant cooksucker managers. poor infrastructure. zoombie coworkers. I have always doing the bare minimum in my workplaces trying to win the maximum amount of money I can, that is since I discovered that is the way all works in my country, 0 motivation. also I'm not a person that wants to change the world.

very interesting.

anyone knows about efforts and experiments with musical style transfer?