0xpgm

10 ms·

151.
by 0xpgm 3y ago
> Anyway, I was always confused that Graham called this "bottom-up programming," because he explicitly goes top-down. He discovers a need at a higher level ("As you're writing a program you may think 'I wish Lisp
152.
Notes on Python to Go Translation of reposurgeon (2018)(gitlab.com)
29 points by 0xpgm 3y ago|7 comments
153.
by 0xpgm 3y ago
Your comment sounds very weird to people outside America/Europe
154.
by 0xpgm 3y ago
> tweaking that it takes to bring features that should work out of the box (sane dired, LSP, (ma)git, tabs, etc). For LSP (language server protocol), eglot worked out of the box quite well once installed. It ships by default in emacs in
155.
by 0xpgm 3y ago
With the interconnected nature of modern life, that BS probably touches an important part of your life
156.
by 0xpgm 3y ago
Nice story! Curious, was the manager a technical person e.g. a former engineer?
157.
by 0xpgm 3y ago
The article says a police officer stopped arresting people and started handing out tickets to a drug rehab helpline once the measure went into effect. He stopped a few months later because it felt like a waste of time, as so few were follow
158.
by 0xpgm 3y ago
> This is completely false > The contrary is almost certainly true You seem to be contradicting yourself.
159.
by 0xpgm 3y ago
Most of these are optional, one can stay with a very simple stack similar the LAMP stack i.e. a web server, a database and a backend language on Linux for small to mid-sized apps. And pick something simple for CI/CD. Of course if you a
160.
by 0xpgm 3y ago
Thank you! This is great, sounds like what I'm looking for.
161.
by 0xpgm 3y ago
Is there a way to do lightweight incremental proof checking in a typical say Python or Javascript codebase? Maybe specifying some conditions/assertions in comments and have it verified using some static analysis tool? Though I recogniz
162.
by 0xpgm 3y ago
That is true, but it eventually catches up with them. On the whole, large organizations with this kind of internal environment stagnate and are unable to innovate any longer. They then resort to buying startups to acquire products or talent
163.
by 0xpgm 3y ago
I'd say an example of not showing concern for others is, for instance, using state power to bail out banks after the executives gambled with their customers savings and cashed out. Bad corporations are given a lifeline until the next s
164.
by 0xpgm 3y ago
I'd say that's quite an uncharitable interpretation. Free market doesn't mean breaking laws and violating social contracts.
165.
by 0xpgm 3y ago
When it becomes too big to fail, it feels to me something other than the market is intervening to keep it alive.
166.
by 0xpgm 3y ago
The USSR collapsed because of imbalances caused by decades of centralized planning and control. China survived communism because it implemented free-market reforms (while retaining centralized control in the political structure). I'd s
167.
by 0xpgm 3y ago
True. Sometimes we pursue technology to its own ends forgetting that technology is supposed to help humans.
168.
by 0xpgm 3y ago
And some of these companies pride themselves as AI technology pioneers. Yet it seems their automated systems in this case are simply doing keyword matching. Mind-boggling!
169.
by 0xpgm 3y ago
> At the very least, for the sake of optics, they shouldn't have fired the union reps. Not all of them anyway. We're all making assumptions here, but let's assume they had legitimate business reasons for the layoffs. What
170.
by 0xpgm 3y ago
If I understand the statement below right, 27 of the union members received offers > “Of those laid off, 40 were in the union bargaining unit out of a total 67 members. None of the eight (8) democratically elected bargaining team members
171.
by 0xpgm 3y ago
Especially if the 6 users are completely happy with it, then that is validation that it has a solid use-case. It means there are possibly many more who would use it, just that they've not heard about it yet.
172.
by 0xpgm 3y ago
If only they had continued on their trajectory of the early 2010s. When Brendan Eich was still there they seemed to have a clear purpose and identity. A lot of interesting stuff was happening: the birth of what would become Rust, PDF.js whi
173.
by 0xpgm 3y ago
Yet many software developers have personally benefited a lot from FOSS and are aware of the principles behind it. But when someone is willing to pay us a lot of money, many of us will willingly become deaf to the free software ideals and su
174.
by 0xpgm 3y ago
Of course, yet another way for the new generation of programmers to relearn the hard way the lessons of the older generation, like happens a lot in software. When I started out, it was pretty clear to me that to solve problems, first read t
175.
by 0xpgm 3y ago
> Nowadays (god-)fathers of AI are Geoff Hinton and Yann LeCun Schmidhuber part of the story should also considered more, I think
176.
Thespian: Distributed Actors Framework in Python(thespianpy.com)
2 points by 0xpgm 3y ago|0 comments
177.
Farmers Evicted for Carbon Credits in Uganda (2019)(oaklandinstitute.org)
1 points by 0xpgm 3y ago|0 comments
178.
by 0xpgm 3y ago
Could you elaborate? I'm finding it hard to connect this to the topic.
179.
by 0xpgm 3y ago
Can you give a concrete example where such a result was achieved by only switching libraries and modifying architecture?
180.
by 0xpgm 3y ago
Curious if you're using Lisp for the chip design at Intel? If you're allowed to talk about that..

More ›