avg_dev

12 ms·

151.
by avg_dev 3y ago
indeed it does; i've run into it a few times. just last week i was writing some go code in vscode and it wasn't working because i had a circular dependency. vscode was reporting something in the "problems" window like a
152.
Should I Emabled Enhanced Safe Browsing in Gmail?
6 points by avg_dev 3y ago|1 comments
153.
by avg_dev 3y ago
really appreciate this post. 1) i did a quick skim of the predicate transformer wp page, looking at weakest preconditions and taking a short detour onto the definiton of hoare triples. i _think_ it is about minimal pre-statement (statement
154.
by avg_dev 3y ago
Thanks, looks very interesting. I have a couple of questions: 1. Will I be able to use this in my IDE (say JetBrains or VSCode) alongside the programming language’s LSP? So that this project would only be in effect for the Pg SQL bits? 2. I
155.
by avg_dev 3y ago
i had the same problem. i solved it by becoming much more social in my non-work parts of life.
156.
by avg_dev 3y ago
wow. those are beautiful. didn't expect to see that this morning!!!
157.
by avg_dev 3y ago
i don't agree with this take at all. good code solves the problem at hand. good code is as simple as possible. good code is testable and tested. good code is minimal. good code is performant. good code is maintainable. good code is und
158.
by avg_dev 3y ago
a few weeks ago someone merged a small PR i made in 2016. it was pretty surprising. i had not thought about it in years and had completely forgotten about it.
159.
by avg_dev 3y ago
oh god thank you this is not sarcasm. so often i have wished for something like this. and now i know that it exists! sincerely, a long time firefox user
160.
by avg_dev 3y ago
This repo gave me a good laugh.
161.
by avg_dev 3y ago
I laughed
162.
by avg_dev 3y ago
idk what sub7 is, but this is a great post. i like it a lot. sometimes i find it easy to forget what learning is and how it can take place and that we learn from each other and each other's work and sometimes we discover something that
163.
by avg_dev 3y ago
Wow, thanks again! I really enjoyed this response and I have learned from it. (Which I guess an LLM could not do while generating something!) Some references I glanced at (I mostly read the top paras): - https://en.wikipedia.org&
164.
by avg_dev 3y ago
thank you for this. i am not well up on consciousness (or machine learning) and i have seen chatbots/llms hallucinate and such, and i have also seen them do amazing things. i have wondered to myself a few times lately: how do i know th
165.
by avg_dev 3y ago
I had this happen... I didn't and still don't understand what was going on. Edit: as noted in the linked ticket, there are some discussions going on about this in https://www.reddit.com/r/firefox/ .
166.
by avg_dev 3y ago
I agree with this assessment 100%. We are asking for trouble with this sort of thing. I wrote my own thoughts on the subject on a couple of other threads: - https://news.ycombinator.com/item?id=35274017 - on an article on (
167.
by avg_dev 3y ago
i find this critique interesting, because i believe the initial momentum behind rails was sparked by a video about how to create a blog using rails without any setup in just a few minutes. https://www.youtube.com/watch?v=Gzj
168.
by avg_dev 3y ago
wow lol. Des gustibus non-est disputandum. i code in go these days. i have done perl and java and some others, started with c, did a bit of python along the way. ruby was always my favorite language. so expressive, so easy to be clear while
169.
by avg_dev 3y ago
I upvoted this response. It is very thorough and clear. (I can't attest to the veracity of the content but it seems quite logical.) I just wanted to say thanks for writing this. Clearly, these approaches, as you say, are not exactly be
170.
by avg_dev 3y ago
I always enjoy his posts on development. > Meaningless > > Yes GitHub stars is a totally meaning less metric that does not say anything real about a project like curl. It does not reflect usage, it does not reflect popularity and i
171.
by avg_dev 3y ago
This article resonates deeply with me. I love it.
172.
by avg_dev 3y ago
I'm not sure that I agree with the poster you are replying to, that Crystal won't take off, but I'm pretty sure that the statement "Crystal has not taken off because Crystal has not taken off" is kind of useful&#x2F
173.
by avg_dev 3y ago
For future readers: https://crystal-lang.org/ Summary: - Ruby-inspired syntax - statically-typed, with built-in type inference - types are non-nullable, with nullable types represented as a union of a type and nil - macros
174.
by avg_dev 3y ago
Also see this comment: https://news.ycombinator.com/item?id=35828603 :(
175.
by avg_dev 3y ago
On (3): see https://en.wikipedia.org/wiki/Language_Server_Protocol?wprov... LSP is pretty well supported in editors; it has emacs and vim and vscode support (a lot of other support as well). It makes it possible for an
176.
by avg_dev 3y ago
I agree with the ethos of the article entirely, I think. I personally love taking an organic and experimental and highly incremental approach to pretty much everything. I feel like the word “putter” has some connotations associated with it
177.
by avg_dev 3y ago
Fantastic news. Not so great about the vaping increase. I believe that prohibition is not the way to go at all here. Former 25+ cigarette a day smoker. It is an addiction and it may start in fun or on a lark, but it pervaded all areas of my
178.
by avg_dev 3y ago
i dunno. that's a little steep. i'd go as high as $2.49
179.
by avg_dev 3y ago
That was very clear and very well written. I got a hell of a lot out of it. I made sure not to scan in this instance. To me it was all about understanding the limitations, motivations, understandings, and abilities of our users or audienc
180.
by avg_dev 3y ago
FWIW, I’ve taken some concrete lessons away from this post and the ensuing discussion.

More ›