marceloabsousa

11 ms·

61.
by marceloabsousa 6y ago
For me, the real appeal is to be able to share dev environments easily and make software development truly remote friendly. In the end, it will come down to latency, usability and pricing. I do agree with you though - I'm not paying $2
62.
by marceloabsousa 6y ago
No way it'll be $12k/year for a big company - I would say $50k minimum.
63.
by marceloabsousa 6y ago
Hmm, can you please share more details about this data: what kind of vulnerabilities you're finding, what does fix mean, what is the sensitivity of the analyser (flow, procedure), what are the underlying abstractions regarding memory,
64.
by marceloabsousa 6y ago
Not sure if that's simple - the cost of running a static analyser is almost never linear. For large popular projects, special care will have to be in place to make sure the analysis terminates and gives meaningful results (a basic time
65.
by marceloabsousa 6y ago
Don't get me wrong - I don't think that you should go through it every time. Also, I'm not sure anyone reads the documented API of a dependency until some unexpected behaviour is happening. My basic point is that the dependen
66.
by marceloabsousa 6y ago
I'm not sure if this is really true. Why would you want to become a contributor to an OSS project if you can't bother to get it working on your machine? You actually learn quite a bit about the project by going through its depende
67.
by marceloabsousa 6y ago
It will be interesting to see the false positive rate...
68.
by marceloabsousa 6y ago
I don't think this will be free for all public repositories. Having designed and implemented these kind of static analysers, it's quite costly to scale them - you do want to avoid useless CPU time on the millions of public reposit
69.
by marceloabsousa 6y ago
I tend to agree, it's quite crazy what they are trying to pull off technically. It's hard to imagine how all these features will not impact the service. Also it's probably just bleeding money... millions of dollars on CodeSca
70.
by marceloabsousa 6y ago
Yes, I think it is... Gitpod still has gitlab though :) It's quite crazy what GitHub is doing...
71.
GitHub Codespaces(twitter.com)
5 points by marceloabsousa 6y ago|0 comments
72.
by marceloabsousa 6y ago
"Kotlin then made functional programming a first class citizen" - what do you mean by this?
73.
by marceloabsousa 6y ago
I was referring to academic research in software engineering or PL related areas. I think your view of academic research is nice but perhaps a bit naive. Academic research in most countries is filled with pressure from private money to achi
74.
Ask HN: What set of features make a programming language advanced?
4 points by marceloabsousa 6y ago|3 comments
75.
by marceloabsousa 6y ago
You're not alone. Even functional programmers struggle to read those papers. I found that in the functional programming world there's a lot of concepts being thrown around with different names. I think your best option is to direc
76.
by marceloabsousa 6y ago
Based on your restrictions, this doesn't sound like a 'no-brainer' idea whatsoever... I think your best option would be to join a team which is building something of value to a lot of people for one month and charge them 30$
77.
by marceloabsousa 6y ago
"If, on the other hand, you're interested in enlightenment, academic research or a start-up, the criterion by which you should choose your next language is not employability, but expressiveness." There is a big difference bet
78.
by marceloabsousa 6y ago
As a new user for sure I find it hard to get into the game - it would be nice if there was more information on how to do that.
79.
by marceloabsousa 6y ago
The usual problems are: 1) You don't know your audience; 2) You know your audience but you can't reach it. Note that you can't properly validate ideas with the audience; you have to validate a solution around your idea. It&
80.
by marceloabsousa 6y ago
Totally agree that it's a great piece. I'm surprised that it wasn't picked up here.
81.
by marceloabsousa 6y ago
I think your statement is very misleading: - There's no clear definition for formal methods. One of the fundamental problems with 'formal methods' is that it's a very fragmented community of researchers and practitioners
82.
Looking into the pull requests of 50 open source projects(explore.dev)
6 points by marceloabsousa 6y ago|0 comments
83.
by marceloabsousa 6y ago
I wish I could agree with you - still, these outages just reveal that GitHub is much more important to software development than pushing changes into a git repository.
84.
by marceloabsousa 6y ago
Agreed.
85.
by marceloabsousa 6y ago
Very cool! This reminds me of some research I did a few years ago on program consolidation: https://dl.acm.org/doi/10.1145/2594291.2594305
86.
by marceloabsousa 6y ago
Interesting that you'll risk moving your dev ops workflow because of a single feature that GitHub doesn't even do well.
87.
by marceloabsousa 6y ago
I disagree. Github and Gitlab are so much more than just code hosting platforms. Their ability to influence software development is increasing to the point that if both Github and Gitlab suddenly disappear the consequences would be quite dr
88.
by marceloabsousa 6y ago
Seems pretty standard -- expect more of the same :-) Congrats on the PLDI paper!
89.
by marceloabsousa 7y ago
Spot on. There's a lot of wisdom in this comment.
90.
by marceloabsousa 7y ago
I think we can all agree that debugging languages with lazy evaluation is specially hard. To effectively use Debug.Trace you actually need to add strictness and that can be fundamentally incompatible if you do intend to use the full power o

More ›