Readit News logoReadit News
beck5 commented on Voting age to be lowered to 16 by next general election   bbc.co.uk/news/articles/c... · Posted by u/johneth
beck5 · 5 months ago
So 16 year olds are wise enough to vote, but not fully leave education, buy alcohol, drive a car, join the army and get married without your parents consent, the lists goes on.
beck5 commented on Brave Leo now uses Mixtral 8x7B as default   brave.com/leo-mixtral/... · Posted by u/b_mc2
rhdunn · 2 years ago
If you want to run Mixtral 8x7B locally you can use llama.cpp (including with any of the supporting libraries/interfaces such as text-generation-webui) with https://huggingface.co/TheBloke/Nous-Hermes-2-Mixtral-8x7B-S....

The smallest quantized version (2bit) needs 20GB of RAM (which can be offloaded onto the VRAM of a decent 4090 GPU). The 4bit quantized versions are the largest models that can just about fit onto a 32GB system (29GB-31B). The 6bit (41GB) and 8bit (52GB) models need a 64GB system. You would need multiple GPUs with shared memory if you wanted to offload the higher precision models to VRAM.

I've experimented with the 7B and 13B models, but haven't experimented with these models yet, nor other larger models.

beck5 · 2 years ago
Dumb question, but how can a 32 bit number be converted to 2 bits and still be useful? It seems like magic.
beck5 commented on So, you want to deploy on the edge?   zknill.io/posts/edge-data... · Posted by u/zknill
beck5 · 2 years ago
At last, an examination of the true nature of 'edge' computing is presented. Despite the appealing promises made by posts from Fly.io and others that depict 'edge' computing as a simple success, the reality can be more complex.

I have recently spent a fair bit of time experimenting with this on Fly for my application (https://www.ssrfproxy.com). It's hard to beat the straightforwardness of deploying in a single region, with the database in close proximity. This approach probably to meets the needs of what 99% of developers require. Aka Heroku.

beck5 commented on Ask HN: What is new in algorithms and data structures these days?    · Posted by u/jvanderbot
samwillis · 3 years ago
Anything CRDT (conflict free replicated datatypes: https://en.wikipedia.org/wiki/Conflict-free_replicated_data_...) related is fun to read up on and play with.

Papers and references (page maintained by central academic in the world of CRDTs): https://crdt.tech

Group doing research into how they can be used to build interesting collaborative (and async) applications: https://www.inkandswitch.com

A few of the major open source implementations - mostly for rich text editing or JSON like data structures:

- Yjs: https://github.com/yjs/yjs

- Automerge: https://github.com/automerge/automerge

- Peritext: https://www.inkandswitch.com/peritext/

- Dimond types: https://github.com/josephg/diamond-types

People building eventually consistent database syncing with them:

- https://electric-sql.com (Postgres <-> SQLite)

- https://vlcn.io (SQLite <-> SQLite)

Open source colaborative servers (coordination, persistance, presence):

- https://github.com/ueberdosis/hocuspocus

- https://github.com/partykit/partykit

- https://github.com/firesync-org/firesync

beck5 · 3 years ago
Thanks for mentioning FireSync, we haven't even offically launched yet! After 10+ years of building real time collabrative apps based on Operational Transformation (ShareLaTeX -> Overleaf.com) we have become quietly very excited about CRDT's and Yjs. Now we are focused on building a scalable Yjs compliant backend ontop of PG with FireSync.

If anyone has thoughts about this space, feature requests, would like a preview of what we are building, or anything else, please do reach out direcly to me at henry@firesync.live, I'm talking to as many people as possible at the moment.

beck5 commented on Ask HN: Who wants to be hired? (February 2023)    · Posted by u/whoishiring
beck5 · 3 years ago
Location: London UK

Remote: Yes

Willing to relocate: no

Technologies: node.js, react, typescript, terraform, redis, k8, elixir, mongo, Postgres, docker. GCP/AWS, hashicorp stack, Linux, Nginx, haproxy, bash etc

Résumé/CV: Former founder of ShareLaTaX, successful exit from bootstrapping it. Now on First job hunt in 10+ years. Lots of experience in ops/dev ops, fast real time collaboration with big scale. Full stack developer at heart, with lots ops experience in recent years managing large scale cloud migrations and infrastructure. 12+ year’s experience.

Email: henry.oswald@gmail.com

beck5 commented on Ask HN: What was the best software that you used during 2022?    · Posted by u/vodou
beck5 · 3 years ago
Just - https://just.systems/man/en/

Simple, readable task runner. It has replaced make and rake in a lot of use cases.

beck5 commented on Elixir – HUGE Release Coming Soon   genserver.social/notice/A... · Posted by u/gregors
fud101 · 3 years ago
Any good guesses?
beck5 · 3 years ago
replacement for dialyzer?
beck5 commented on Tell HN: I've started to get email spam to my Comcast-only email address    · Posted by u/throw10920
beck5 · 3 years ago
It's also possible your email address is guessable

u/beck5

KarmaCake day624January 13, 2011View Original