technical.cx Sources

Source feed

Lobsters

1905 items

A computing-focused community centered around link aggregation and discussion.

https://lobste.rs/

Lobsters

44% on ARC-AGI-1 in 67 cents

Many ppl thought the prev result was impossible. It got attention from top researchers and went viral on X. Eg: Discussions by Lucas Beyer, Jeremy Howard, Rohan Anil, and comments by many others.

Lobsters

A Crash Course in Predicate Logic

I started writing Logic for Programmers because there weren’t any good resources on logic for, uh, programmers. Now that the book’s out, the new problem is that there aren’t any good free resources on logic for programmers. So, to solve that problem (and...

Lobsters

"iT woRKs BeTter in THe aPp!!"

The monkey-punchers at Google never quite seem to finish any of their apps. There's always some useful bit of work left undone, or showstopping bug which remains unfixed, a thousand jagged edges as yet unsolved by the greatest minds of their generation. I...

Entities: Google

Lobsters

A community that works together, builds together

Whilst August is a holiday month around Europe, it’s safe to say it’s been a very busy month around the project, with a lot of progress made across various core tooling repositories.

Lobsters

A bicycle for the mind

You may have read my two previous articles, Why am I doing this? and Debian has fallen. Some people found them interesting and inspiring. I am not particularly happy about them, they're a bit disorganized, throwing in a lot of ideas at the same time.

Lobsters

osa1 - Coherence and orphan instance rules

Typeclasses are an overloading mechanism that allows compile time or runtime polymorphism. A typeclass method call like m a b ... (or a.m(b, ...) in Rust) resolves to a concrete method based on the type arguments passed to the method.