HNHacker News
TopNewBestAskShowJobs

gclaramunt

267 karma · joined March 17, 2009

submissionscomments
gclaramunt··on Show HN: Tamper-evident audit trail for AI coding agent activity
hehe, you mean the app or the captured logs? grins
gclaramunt··on Show HN: Tamper-evident audit trail for AI coding agent activity
Interesting sidequest…
gclaramunt··on Meta Platforms: Lobbying, dark money, and the App Store Accountability Act
You must not live in the US or have very odd patterns, I'm positive a majority of the US population have free credit monitoring due to the multiple SSN data leaks.

The situation is so bad that the SSA has to explicitly state: "Social Security card is not an identification document" https://www.ssa.gov/blog/en/posts/2023-03-23.html

gclaramunt··on Virtual communication curbs creative idea generation
the "big office real estate conspiracy" is in full swing... So many articles shilling for going back, but the genie is out of the bottle now.
gclaramunt··on Don’t call it a comeback: Java is still champ
Lexus
gclaramunt··on Basic Category Theory for Scala Programmers
You're right and I struggled with the idea to add more in the first post, but I've decided to leave the more interesting stuff (Functors!) for the next part.
gclaramunt··on Modern Functional Programming: The Onion Architecture
As far I understand, the difference is that in OO you normally transform data as you jump from layer to layer, here what do you have assembled is a simple program that will be interpreted by the lower layer
gclaramunt··on “Node.js is one of the worst things to happen to the software industry” (2012)
Isn't closer to the Async monad?
gclaramunt··on What Makes a McMansion Bad Architecture?
But then, "copy the style elements of classic designs while ignoring the rules that governed those designs" will make it automatically bad, and IMHO many aesthetic trends started like that
gclaramunt··on What Makes a McMansion Bad Architecture?
Exactly my thoughts. If we give FLW, modernist, and postmodernist architecture a pass on those criteria... why not to the McMansions? After all, they weren't designed in the 19th century... The problem might be the lack of coherent design, the cookie cuter approach, and the cardboard construction, but I don't really buy this critique ...
gclaramunt··on Category Theory for the Sciences
But category theory has direct application to programming: (ignoring non-termination), types and functions form a category and most of the concepts are directly applicable. Functors/map are of everyday use and other CT results are commonly used. Even JavaScript is getting functional, so CT is getting more relevant and practical everyday
gclaramunt··on Thoughts on the sociology of Brexit
> Frankly, I'm voting for Trump because the working class desperately needs a pay raise or I'm afraid we'll eventually have a revolution. Moreover, I think the income inequality is what's driving our general economic malaise. We need to improve the job prospects of the working class for everybody's good.

But that's an argument to vote for somebody on the left!

gclaramunt··on Thoughts on the sociology of Brexit
> Wave a US flag around Central America and see how that goes.

Giving US track record of invasions, dictatorship support, and all kinds of meddling, what are you expecting? A kiss on the cheek?

gclaramunt··on Railway oriented programming
For 1 and 4, is not for runtime exceptions (div by 0, out of memory, etc) that you need to bubble up to the top, is for "logic"/checked exceptions where you want to use code to deal with the failure case. For 3, that totally defeats the purpose, the whole point is to have a single error type (it can capture the details of the error anyway) then you can have

  Foo -> Result<Foo1,Error>
  Foo1 -> Result<Foo2,Error>
  Foo2 -> Result<Foo3,Error>
And use bind to compose them easily.

I think the confusing part is the word "exception" as it mixes concepts.

gclaramunt··on Scala’s Types of Types
If you consider subtyping, Bottom is a type IIRC, In the category with types as objects and subtyping relationship (a->b if b is subtype of a) as morphisms, Any is the initial object and Bottom is the final object of the category
gclaramunt··on Scala’s Types of Types
Also, kinds can be viewed as the "types" of types, right?
gclaramunt··on Scala Center
have you consider remote work?
gclaramunt··on JEP 286: Local-Variable Type Inference
unless, you're proposing a global implicits dictionary a-la Haskell, leave them alone, I much prefer to give up subtyping...
gclaramunt··on Can a 3-year old represent herself in immigration court? This judge thinks so
sure, that doesn't really help the low skill domestic labor pool (and the lack of a social security net makes it worse in the US), but in some cases, it might help the economy overall (at the expense of the low skilled domestic workers) e.g. in your example, by reducing the inflationary pressure of the minimum wage.
gclaramunt··on Can a 3-year old represent herself in immigration court? This judge thinks so
besides the cheap analogy, your argument is... ?
gclaramunt··on Can a 3-year old represent herself in immigration court? This judge thinks so
I wouldn't immediately discard the economic advantage of having a cheap labor pool...
gclaramunt··on What Developers Should Know About Job Searching and Negotiation
Reminds me of the approach of http://www.asktheheadhunter.com/ (if you ignore the 90' web style) is pretty interesting: find out where you want to wokr find out the problems they have show them you can solve the problems profitably
gclaramunt··on Functional Programming at Facebook
Interestingly, Scala handles it http://pastebin.com/CT36K6Hj It feels like an artifact of the REPL tho, as one shouldn't be able to redefine x
gclaramunt··on Typesafe Changes Name to Lightbend
Are you sure they moved from Scala to Python or they're just Python shops using Spark? (I strongly suspect the latter)
gclaramunt··on Typesafe Changes Name to Lightbend
Although I agree that scala compiler is complex and can be slow, isn't your slowness expected, given you're calculating things at compile time?
gclaramunt··on Zenefits Scandal Highlights Perils of Hypergrowth at Startups
I hope you're just trolling :/
gclaramunt··on A Plague of Helicopters In New York
yeah, I expanding on what you said, not arguing against it :)
gclaramunt··on A Plague of Helicopters In New York
Nor they live in the Hudson waterfront,where the article locates the source of noise pollution. Since most of them live in the other boroughs, I'm pretty sure there are things with more impact to increase the quality of living...
gclaramunt··on San Francisco Bubble
> Ultimately the missing element from the market is rational actors.

Love the quote :)

gclaramunt··on Why Is Your Team Falling Behind? Ask ‘The Penny Game’
FWIW, it appears that the software development process in Toyota is pretty screwed, and the bugs that saw the light lately seems to confirm it
Page 1 of 7Next →