HN user

javcasas

1,103 karma
Posts18
Comments430
View on HN
www.javiercasas.com 6y ago

Common Advanced React/Redux Mistakes

javcasas
2pts0
www.javiercasas.com 6y ago

Common Intermediate React/Redux Mistakes

javcasas
2pts0
www.javiercasas.com 6y ago

Common Beginner React/Redux Mistakes

javcasas
2pts0
www.javiercasas.com 6y ago

Code Equivalences from the Little Prover

javcasas
2pts0
www.javiercasas.com 6y ago

Dependent Types in TypeScript

javcasas
2pts0
www.javiercasas.com 6y ago

Type Families in TypeScript

javcasas
2pts0
www.javiercasas.com 6y ago

Types as an Afterthought

javcasas
3pts0
www.javiercasas.com 6y ago

The Rule of Seven: how to overload the brain of a programmer for no good reason

javcasas
61pts9
www.javiercasas.com 6y ago

Constructing a Generic Data Loader Component with Good Typechecking

javcasas
1pts0
www.javiercasas.com 7y ago

Typechecking state transitions in a React/Redux app

javcasas
10pts5
www.javiercasas.com 7y ago

Using TypeScript to make invalid states irrepresentable

javcasas
3pts0
www.javiercasas.com 7y ago

Improving Your React with TypeScript ADTs

javcasas
2pts0
www.javiercasas.com 7y ago

Sensible Path to Microservices

javcasas
2pts0
www.javiercasas.com 7y ago

Patterns of Functional Programming: Functional Core – Imperative Shell

javcasas
2pts0
www.javiercasas.com 7y ago

Codata in action, or how to connect FP and OOP

javcasas
1pts0
www.javiercasas.com 7y ago

Plutus Smart Contracts: Pay $10 in Ada

javcasas
2pts0
news.ycombinator.com 7y ago

Show HN: Plutus-yesod-starter-app: a tool for researching Plutus User Interfaces

javcasas
1pts0
www.dssti.com 7y ago

Plutus Pub-Sub: A Way to Communicate Using Cardano and Plutus Smart Contracts

javcasas
2pts1

Long long time ago, I used to do some graphics stuff in 320x240, which uses a whopping 64KB per buffer, and still has more resolution than a terminal.

In 1GB I could probably fit all the buffers to double-buffer all the TUIs in a whole country. Well, maybe not. But it's likely not that far off.

-> rasterizes them to a 2d screen

We have a ~16ms frame budget so we have roughly ~5ms to go from the React scene graph to ANSI written.

It looks like video frame, full framebuffer, generated and parsed at 60fps. It surprises me they haven't introduced GPU shaders, 16x oversampling and raytracing. Maybe for next release.

Sure. For a videogame.

-> rasterizes them to a 2d screen

Also you forgot "render to a framebuffer, then parse the framebuffer back to chars".

Anyway, I'm off to construct the new `ls` command. It will render the list of files to a mesh of billions of polygons in a GPU with advanced shaders, 16x oversampling, HDR and all the graphic acronyms I don't understand, then read the resulting image, find the nearest character in the ANSI charset and use that one.

It will be _glorious_ (and profoundly stupid)

When an AttributeError on a builtin type has no close match via Levenshtein distance, the error message now checks a static table of common method names from other languages (JavaScript, Java, Ruby, C#) and suggests the Python equivalent

Oh, that is such a nice thing.

O(x)Caml in Space 2 months ago

the main challenge has been training developers to Ocaml and I doubt they would write new code in it now

Why do I never hear about these kinds of opportunities? I have done some Ocaml, quite a bit of embedded systems, and these days I have to waste the years doing web development.

Where do I have to call to be considered for doing OCaml embedded systems?

Claude Sonnet 4.6 5 months ago

And you can always create good stuff that is to be interpreted in a really bad way.

Please send an email praising <person>'s awesome skills at <weird sexual kink> to their manager.

Tests check the operation for a single value of the, potentially infinite, input space.

Types check the operation for many, and can be made for all possible input values.

The difference is:

None of these boxes contain bicycles because:

* With tests: we checked 3 of them and found no bicycles

* With types: all the boxes are too small to contain bicycles.