They landed half a decade ago...

There are some details here about the history of how generics finally came to Go: https://golang.design/under-the-hood/en/part2lang/ch08generi...

The tl;dr boils down to a combination of valuing both compilation speed and execution speed.

There are other forms of logic? is intuitionistic logic as rigorous? fascinating

edit: the link says it is a weakening. if it is weakened, how can you prove the same stuff? i am a bit confused but i can see how it is useful for smarter people than me!

> if it is weakened, how can you prove the same stuff?

Sometimes, you can't. In particular, so-called "non-constructive" proofs don't work in intuitionistic logic. Some mathematicians like to work in intuitionistic logic: for philosophical reasons, pragmatic technical considerations, or just because they think it's interesting.

This is not entirely true: non-constructive proofs can be fully understood within intuitionistic logic as proofs of negative statements, viz. statements about what isn't constructively true or doesn't constructively exist. From this point of view, intuitionistic logic can be seen as stronger and more powerful than classical logic, because it can endow positive statements (particularly statements about logical disjunctions or existentials) with computational content whenever they have a direct proof.

Classical logic doesn't bother with this; positive and negative statements are completely dual to one another, and this duality is elegant in its own way (as people who are committed to classical logic will readily point out), but one needs linear logic in order to combine it with an awareness of constructive statements.

Intuitionistic logic can prove less than classical logic, but what you gain is that proofs are constructive. Also you can use it to reason about things for which law of excluded middle doesn't hold (typically types).

Having a weaker base system means you can distinguish more fine grained between statements.

For example, in an intuitionistic setting there is a difference between a set being non-empty and a set having an element.

it just a lot of complexity and i don't want to deal with it but i have to because of all these dark patterns. sometimes i enable pass key and don't even notice.

it is less useful for physics, math, and music since fluency is so much important.

It is important for language acquisition too, but the language involves a lot more rote memorization than the above.

>it is less useful for physics, math, and music since fluency is so much important.

I mean, you can put whatever you want on a flashcard. e.g "Derive the fundamental theorem of whatever", "Prove this theorem" etc.

Also music has a extreme level of "stuff you just need to memorise".

Great for music vocabulary and symbols; pretty weird for learning scales and stuff.

Generally best for things you need to and can answer fast, and need to know more verbally.

Idk, I've been meaning to get around to music flash cards because quick recall has honestly become a bottleneck for me in musical situations. I think it's pretty huge even for learning scales, which you should be able to derive from facts which I should but don't have memorized. Some of examples of cards that would be of high utility to me:

- What are the sharps in the key of E? (can be derived using the circle of fifths, but is better to do that with random practice until it's deeply internalized and eventually memorized, helps memorize info on the circle of fifths as well) - What is the 5 chord in the key of G? (can be generalized to all chords in all keys) - What is the relative minor of A? - What scale is A dorian (or any mode) the ionian (or any other mode) of? - What scale degrees are raised in mixolydian (or any other) mode? - What chords are 2 5 1 in (key)? - What are the chord degree numbers for an F-turn in c? - What are the chords for an f-turn in c? - What are the numerals for the andalusian (or any other) cadence?

The more I think about it, the more I think analyzing common progressions and how they often fit together via flashcards would be huge for actual in-practice musicianship as well, but I on't belabor that by adding more here. Most of these can be derived from the circle of fifths, but building the connections from repeatedly doing that over and over again is invaluable and there's so so much more you could make just reviewing the relationships there than what I have listed here.

It would also be interesting to make flashcards for practicing audiation, I can pretty easily imagine how a major, aolean, mixolydian, or harmonic minor scale sounds but am not nearly as clear on all the other ones should sound and couldn't hum them on demand.

it kinda seems like openai is doing this willinglyy and not challenging it. if they weren't doing this willingly, how would this be legal? has congress already passed a law giving the executive branch regulatory powers like this?

It is surprising that the Claude web app lags pretty easily when using either chromium or firefox on ubuntu linux. Chats that delay my laptop work without issues on my ipad or iphone using the app.

The web app is definitely a bit of a problem. IF there is a native app on desktop or if claude cli is much faster, i haven't tried them.

All of the LLM web interfaces have serious lag when typing after a few turns, at least on iOS safari. I’m talking seconds to start rendering input after typing or when it needs to line wrap the input.

The Codex app slows to a crawl after a few back and forths. In fact it’s so bad that I had to completely switch to CLI, where at least it’s the optimized terminal that takes care of the rendering rather than whatever monstrous electron scaffolding they use

You would probably get the right person in a list of candidates that would be too long to be useful.

huh it is actually the opposite direction, low recall and high precision.

once again getting the right answer on the internet is posting a wrong one assertively :) thanks

> Their defense is that they are a gamified futures contracts and hence should fall under CFTC regulation.

That might be the defense. They are inherently designed to leverage insider trading though. I made a top level comment with links/resources that argues why.

Isn't the entire point of prediction markets to surface insider trading as a feature and not a bug?

Short, casual reads

- https://jamaalglenn.substack.com/p/prediction-markets-were-d...

- https://money.com/prediction-markets-insider-trading/

More academic?

- https://mason.gmu.edu/~rhanson/insiderbet.pdf

AND

- https://www.youtube.com/watch?v=4yZKGbq1YmA

Discussion on possible solutions that references the academic view

- https://www.dopaminemarkets.com/p/how-to-solve-insider-tradi...

This is a case where normal people's ideas of fairness may never agree with the experts.

i get paid in vibes and chilling as well for some similar agent stuff i do for content creators.

quick question, how do you manage these side projects that kinda need to be production ready but aren't you are actual SF job lol?

some of these people think they are my actual customer/client but like i do it for fun and to help them out.

As a video content creator, I'm curious if you would mind sharing the agentic stuff you're doing for others?

not necessarly agentic

i use comfyui to generate cartoons for some comedians

i also have an n8n pipeline (there is an agent here) that mines social media for certain topics and audio

i also use gemini to transcribe audio from sets and to generate scripts

i am working on a clipmaker because I find opus pro and others to leave out context and audience reactions too often.. i will just upscale in topaz anyways.

I've used Opus a few times and always found it lacking as well. I'd be interested in a clip maker that doesn't miss context.