ssivark

29 ms·

391.
by ssivark 3y ago
Are there pre-configured Guix systems akin to a “batteries included” distribution, for newcomers to start with? I know the installer is already quite user-friendly, but it would be nice to start with a whole bunch of useful packages and con
392.
by ssivark 3y ago
> build everything yourself That’s not true; Guix allows you to easily fetch pre-built artifacts from “substitution servers”. This becomes even more foolproof now that the packaging system has mapped the whole derivation and the hashes o
393.
by ssivark 3y ago
This, btw, is at the heart of branding/advertising/etc where a company tries to add a “brand value” (or some other human value) to a commodity good, through associations and connotations. This is a substantial component of the eng
394.
by ssivark 3y ago
Way to get your daily steps in…
395.
by ssivark 3y ago
This smells like the right way to think about things. Whenever thinking of real life measurements represented as real numbers, equality is always fuzzy — up to some resolution, and it would be better to make that explicit.
396.
by ssivark 4y ago
If you want folks playing with integrating CozoDB and LLMs, it might be worth adding a CozoDB wrapper to Langchain :-)
397.
by ssivark 4y ago
The original “pre-training” Is what’s expensive. The “fine-tuning” (also training that it modifies network weights) for instruction following or other tasks costs the thousand dollar range.
398.
by ssivark 4y ago
Completely agree that every program (domain model) is in essence a little language. But I don’t follow your comment about bugs corresponding to when programmers don’t stay within the reduction. Do you mean simply that every “bug” is (litera
399.
by ssivark 4y ago
For starters, settlement becomes simpler. You’d be surprised at how archaic current settlement systems are. The Reserve Bank of India’s concept note on CBDCs is actually a nice starting point to understand the motivations (see Chapter 3):
400.
by ssivark 4y ago
It’s about the same as typing out code when programming :shrug: That said, if you have a concrete proposal for a slicker alternative, I’m sure lots of folks would be curious.
401.
by ssivark 4y ago
If/when a breach does happen, are you going to shrug and say “Gee… who would’ve thunk?!”, or are you going to be accountable for the consequences? Is this the kind of defense an LLM service can bet their company on? How do you think a
402.
by ssivark 4y ago
From what I understand of Jax, it feels somewhat similar in flavor to Julia, but trying to live with the language constraints (and ecosystem benefits) of Python. I wonder how Julia is placed for running reinforcement learning algorithms (ef
403.
by ssivark 4y ago
Making Python (near infinitely) faster by using it as a glue language, and running all the computation outside Python :-P
404.
by ssivark 4y ago
LLMs might be a bit of a special case, but branding these other things as "tech" is basically part of the hype game -- to vicariously exploit the aura of beneficence around "tech". That said, take a look at the Gartner h
405.
by ssivark 4y ago
What’s “common sense” is drastically different depending on whether you assume a complex system is static or adaptive.
406.
by ssivark 4y ago
Yes — relativistic effects are so fundamental that they affect every system/process (including atomic clocks ) and therefore any measurement scheme. That’s why we talk about “time slowing down”. The movie Interstellar has one popul
407.
by ssivark 4y ago
I’d like to plug the Nyxt browser which is wholly written in Common Lisp giving you full access to the lisp runtime. Amazing browsing experience in what it makes possible! https://nyxt.atlas.engineer/
408.
by ssivark 4y ago
And handicap all the sensible users who are willing to take responsibility for using those libraries? (in hobby projects, or otherwise) Sounds to me like a perversion of the intent of FOSS infrastructure.
409.
by ssivark 4y ago
Calling everything an algorithm rests on some implicit/vague assumption of computational universality (that subsumes human functioning!) which seems quite non-obvious. It's a useless (tautological) statement unless we start with a
410.
by ssivark 4y ago
> PS: Was reading some Thiel approved Girard today, he mentioned something about the nihilism in society in which the secret of success being all about signaling success. I'm curious to know the source/reference. Thanks!
411.
by ssivark 4y ago
"Staring into the abyss" is only half the challenge; the other half is knowing what (values) you can hold on to while the abyss stares back at you. The latter is what stops people from looking too closely, or asking hard questions
412.
by ssivark 4y ago
I know nothing about these companies, but it's worth keeping in mind that this is the period after China joined the WTO and integrated deeper into the global economy for manufacturing -- so it's possible that these NJ manufacturer
413.
The Boring Lobbyists Behind Sam Bankman-Fried(mattstoller.substack.com)
3 points by ssivark 4y ago|0 comments
414.
by ssivark 4y ago
Instead of just listing them, most of these ideas (tribal thinking, self interest, repeating history, self absorption) are ripe to turn inward and actually examine / reflect on the contents of this post. That would be an interesting an
415.
by ssivark 4y ago
> implement the join function by adding an extension on `Array<String>`. And the + function would just be, for example, `static func + (left: Vector2D, right: Vector2D) -> Vector2D`. 1. We are talking about a function that takes
416.
by ssivark 4y ago
> have a network dynamic that can dominate rational factors. Yes, but only if they are all equally expressive, or if you only care about the lowest common denominator. In a situation with an expressiveness gradient, the distinction will
417.
by ssivark 4y ago
> people ask instead: whom will I be able to communicate with. what kind of cultural repository (wealth) do I get access to. how will I benefit to justify spending the limited opportunities I have to reprogram my brain. Choosing the lowe
418.
by ssivark 4y ago
That’s a sad and vapid summary of the post. PSA: Please stop flooding every thread with ChatGPT nonsense.
419.
by ssivark 4y ago
> So poor, but well-off for paying for mobile phones/laptops and internet Yup — physical infrastructure is often mind-bogglingly expensive in both capex and opex (and implicitly subsidized in developed countries, so it appears che
420.
by ssivark 4y ago
Thanks for the link -- it is a nice discussion, and contains pointers to interesting content that I wasn't aware of. (likewise, for the sibling comment with links about mBridge) I appreciate the privacy concerns, but for anyone reading

More ›