jnxx

6 ms·

1.
by jnxx 11mo ago
Also: Eroding the checks and balances and state monopoly and legitimation on use of violence.
2.
by jnxx 11mo ago
https://xkcd.com/2030/ Here in Germany, the Pirate Party has discussed the topic at length, since they (1) love voting innovations, and (2) have generally good knowledge on CS stuff, and so far I think no real solution
3.
by jnxx 1y ago
Especially since all the above is designed as additive tech which uses a lot of brain hacks: Infinite scrolling, dopamine maximization, "check for new messages!" and so on. How do you reduce your consumption of addictive stuff, in
4.
by jnxx 1y ago
> The UK's proposal makes the "digital ID" a pointer to an entry in a centralized database. Very similar to the "EU settlement scheme" which would gave EU citizens which had work and settled in the UK pre-Brexit
5.
by jnxx 1y ago
There is another technical reason: A digital ID requires essentially a digital signature running on a secure device (for example, a smart card). Thus it implements public key cryptocraphy. Which makes confidentiality and integrity of comput
6.
by jnxx 1y ago
> I’m sure it’s not even deliberately dismantling privacy. They’re doing it blindly. That is often a variant of Hanlor's razor brought up on questions like this. How do certain actors turn reliably to a course of action that is so d
7.
by jnxx 1y ago
> would this scale? Consider how much space you do need ahead for safe travel as a pedestrian, on a bicycle, on an interstate highway in a car, or on a plane taking off at an airport, and you have the answer. Cars already require a ridic
8.
by jnxx 1y ago
The argument is like it is unethical to lock my front door because this also stops people which genuinely only want to enter to have a look at my living room. That's not how boundaries work.
9.
by jnxx 1y ago
What I think he is wrong with is that LLMs are, despite being named as "Artificial Intelligence", not intelligent . I guess that some people confound the source of information with its medium. A book might contain Newtons equation
10.
by jnxx 1y ago
The foundation of quantum physics being developed with plenty of hikes and walks outside is almost a science meme. These researchers took a lot of very productive breaks.
11.
by jnxx 1y ago
So what needs to happen to ban smartphone use while driving? I mean not "formally forbidden" but "thoroughly enforced". Personally, I avoid phone use even as a pedestrian in busy city spaces - I think the time it takes t
12.
by jnxx 1y ago
Too bad that the language we use is also a demonstration of social status. If I think about it, it could have a somewhat corrosive effect on that glue that keeps society in shape.
13.
by jnxx 1y ago
We already treat spam and unsolicited commercial email that way.
14.
by jnxx 1y ago
Trust is also essential for any form of symbolic information exchange. Humans communicate using symbols. That could be patterns of sound waves, gestures, or written characters. If we can't trust that the communicated symbols match thei
15.
by jnxx 2y ago
What are the main differences between OcamML and a statically typed Lisp?
16.
by jnxx 2y ago
what do you think about pre-scheme?
17.
by jnxx 2y ago
I am aware that reports on the topic have been submitted before. This is a fantastic, well-written article by world-class climate scientist Stefan Rahmstorf.
18.
by jnxx 2y ago
Being fully in the know of the consequences makes a very big difference - both ethically, and legally.
19.
by jnxx 2y ago
In the realm of electricity production, things are now changing very quickly, though not yet as fast as needed. Where a huge amount of works needs to be done is carbon-economic transport, housing and construction, and agriculture. And, yes,
20.
by jnxx 2y ago
> Politics is just a proxy for people’s desires and motivations and willingness to make trade offs. It is not people as in "a democratic majority" which want to destroy the habitable state of the Earths atmosphere, ecosystems a
21.
by jnxx 2y ago
I would love to learn more what can be done! (And especially for projects in Southern Germany where I am based). Apparently, a huge part of the opportunities are in embedded computing. One observation I have that there is an AI hype now, bu
22.
How can software engineers help to build climate solutions?(leventov.medium.com)
1 points by jnxx 2y ago|1 comments
23.
by jnxx 2y ago
In respect to Common Lisp, you could look into "Common Lisp Recipes" by Weitz[2], and "Practical Common Lisp" by Seibel[1]. These are industrial-strength systems which were used to built large airline reservation systems
24.
by jnxx 2y ago
>It has a great backwards-compatibility story -- a lot better than Python's, for example, which I use in my current dayjob. I think this is a really important point. I worked intensively with Python for years, but it was a deep disa
25.
by jnxx 2y ago
You might find Guile interesting, I think it is more immersed than Racket, especially when debugging, and more similar to Common Lisp (SBCL).
26.
by jnxx 2y ago
One feeling I have is that while Clojure is incredibly tasteful, well-designed and elegant, it is less focused on Correctness as Racket. And this gives me the feeling that if I make some mistake (say, erroneously swapping arguments of a com
27.
by jnxx 2y ago
I think Guile is a good example that one can have an SBCL-like workflow of live coding (with debugging and jumping right into a stack trace) in Scheme. I have heard that this is not possible because Racket needs to make a stricgter separati
28.
by jnxx 2y ago
I guess one can think of Clojure as a very Scheme-affine Lisp. Which is not surprising since Scheme was a kind of distilled iteration of Common Lisp as a common denominator. Are there any Schemes which are as "Batteries included"
29.
by jnxx 2y ago
I am using Racket once in a while, and I like it. Though I have also learned that some Lisps, and especially Common Lisps (and, I suspect, Guile), are a bit under-hyped. But a question to people who know it better: What are features of Rack
30.
by jnxx 2y ago
That critique adresses security aspects.

More ›