foxes

5 ms·

31.
by foxes 6mo ago
It seems it scans your extensions not your system - reading the details. The intro made it a bit unclear.
32.
by foxes 6mo ago
What? So you dont value freedom at all? Theres other alternatives too.. graphene, lineage
33.
by foxes 6mo ago
>the honest trade off Is this like a subtle joke or did they ask claude to make a readme that makes claude better and say >be critical and just dump it on github
34.
by foxes 6mo ago
Wonder if you can just avoid hiding it to make it more believable Why not have a library of babel esq labrinth visible to normal users on your website, Like anti surveillance clothing or something they have to sift through
35.
by foxes 7mo ago
Stop propagating the term sideloading like its some kinda dirty thing. Its just installing an app.
36.
by foxes 7mo ago
You know if your internet drops out you could just use your phone or idk not have internet for a bit. You dont NEED a starlink like you need food or being able to commute etc. Tesla, starlink are more a luxury for an average hn user.
37.
by foxes 7mo ago
So if we pretend a list is a function from an index to an entry for the moment ``` Enum.take(list , 2) ``` Is more like ``` Enum.take(list, [1,2]) ``` So if you apply that to a list of length 1 or zero, you just get either list[1], or []
38.
by foxes 7mo ago
But thats the point, an llm is a vastly different object to a calculator. Its a new type of tool for better or worse based on probabilities, distributions. If you can internalise that fact and look at it like having a probable answer rather
39.
by foxes 7mo ago
Back to everyone picking a unique typing quirk so you can tell its not an llm
40.
by foxes 7mo ago
> Oh no my favourite ai company did / didn't collaborate How could the regime do such a thing, doesn't law mean anything?!! /s First they came for my neighbour now they came for my llm!!
41.
by foxes 7mo ago
It's googles fault that cards can't work in graphene. Google needs to whitelist graphene basically to work in the wallet app. On that note, given that graphene is focused around security and privacy, perhaps not givng your payment
42.
by foxes 7mo ago
Everyone deserves private and secure defaults without having to manually install another os. I have plenty of non technical friends that care about security but don't come from technical backgrounds, but generally understand the proble
43.
by foxes 8mo ago
Notation is invented to be useful. A lot of mathematicians and physicists write stuff like f = g + O(h) and then proceed to do a bunch of manipulations without getting bogged down in set theory syntax. Also equality isnt just defined on set
44.
by foxes 8mo ago
I feel its not that bad an abuse of notation as kinda consistent with other areas of mathematics - A coset, quotients r + I, affine subspaces v + W, etc. Not literal sets but comparing some representative with a class label, and the `=, +`
45.
by foxes 8mo ago
What do you really mean exists - maybe you mean has something to do with a calculation in physics, or like we can possibly map it into some physical experience? Doesn't that formal string of symbols exist? Seems like allowing formal st
46.
by foxes 8mo ago
Maybe society shouldnt be optimising for that.
47.
by foxes 8mo ago
The current state must satisfy all constraints? Eg some table Users -> you start with `add user_id` , `add org_id`, `remove org_id` for example, so then the current state is `Users{ user_id }`. But you trust the compiler to derive that,
48.
by foxes 8mo ago
I use a lot of elixir and rust. `mix compile` does not necessarily reason across migrations for the app with what limited type checking it does in 1.19. You define an ecto schema and write your own migrations, but like the state of the app
49.
by foxes 8mo ago
Are there any other libaries / research / etc that sorta take a more functional approach to solving these sort of problems? For db stuff - what if we flipped the way we write schemas around. A schema is its something that you deri
50.
by foxes 8mo ago
Isn't ceding all power to AIs run by tech companies kinda the opposite - if we have to have AI everywhere? Now no one knows how anything works (instead of everyone knowing a tiny bit and all working together), and also everyone is just
51.
by foxes 8mo ago
What was Mandelbrots fursona?
52.
by foxes 8mo ago
I think I miss my thinking..
53.
by foxes 8mo ago
So basically - "ai" - actually llms - are decent at what they are trained at - producing plausible text with a bunch of structure and constraints - and a lot of programming, boring work emails, reddit/hn comments, etc can fal
54.
by foxes 9mo ago
Don't pixels have a security chip that is supposed to make that infeasible? It has some increasing timer for auth, and if you try and factory reset it - it destroys all the data? As I said its less important that the thief can boot a
55.
by foxes 9mo ago
How is graphene considered the most secure phone os but you can still flash on new firmware? I don't care if they can downgrade the device, just that I boot into a secure verified environment, and my data is protected. I also think thi
56.
by foxes 9mo ago
Well the internet has definitely changed things; but also it wasnt initially controlled by a bunch of megacorps with the same level of power and centralisation today.
57.
by foxes 9mo ago
Im really not motivated by this argument; it seems a false equivalence. Its not merely a spell checker or removing some tedium. As a professional mathematician I used wikipedia all the time to lookup quick facts before verifying it myself o
58.
by foxes 9mo ago
Is this a copilot ad?
59.
by foxes 9mo ago
The analog of a dot product of vectors is an integral over the product of functions. The matrix multiplication of vectors - or a row and a column vector - which is then just taking the dot product is called an inner product. So for function
60.
by foxes 9mo ago
Are em dashes in language models particularly close to a start token or something? Somehow letting the model continue to keep outputting.

More ›