smasher164

8 ms·

1.
by smasher164 11d ago
> you wouldn't normally use a database replication protocol to actually transmit live video Right, I'm more concerned about the areas where there's overlap between atproto and matrix, like with identity and authentication,
2.
by smasher164 12d ago
One thing I'm wondering is how ATproto can be integrated with voice/video chat. Would you combine it with Matrix, XMPP, or some custom protocol?
3.
by smasher164 12d ago
Yeah I think if Julia had a plain interpreted mode or a base template JIT that could tier up to LLVM's, they could drive that execution latency down a lot.
4.
Are we SIXEL yet?(arewesixelyet.com)
31 points by smasher164 17d ago|19 comments
5.
by smasher164 2mo ago
a) Thanks for putting this together! b) Please don't hijack my scrolling. c) I really wish Lean were more mature as an application programming language. Its standard library is really lacking.
6.
by smasher164 2mo ago
They might use this bug as a reason to be able to extend it for another week or something.
7.
by smasher164 2mo ago
It's still shocking to me that the approach taken wasn't to have Claude write a tool that translates Zig to Rust. I imagine it would've been cheaper, deterministic, and each iteration would produce a better tool.
8.
Flint: Fast Library for Number Theory(flintlib.org)
11 points by smasher164 3mo ago|0 comments
9.
Type Inference (Part 1)(blog.akhil.cc)
2 points by smasher164 3mo ago|0 comments
10.
by smasher164 3mo ago
If you have a goal of making your OS usable, you have to design it with this in mind. Build your kernel and driver subsystem in a way that legacy OS interfaces can be implemented on top of them. Find ways to repurpose existing infrastructur
11.
by smasher164 3mo ago
I guess I interpreted this part of their README as implying that the author found RC too fragile > Reference counting buys correctness and composability, but at a cost. > Disadvantage #1: you must balance every reference. Each value_c
12.
by smasher164 3mo ago
Is there a reason you didn't go with something like Boehm for a library gc, instead of writing your reference counting implementation?
13.
by smasher164 3mo ago
lol yeah I guess the best move right now is to fetch their /feed and iterate through <post>s
14.
by smasher164 3mo ago
I think what would matter from this kind of measure is whether a project's use of unsafe actually has undefined behavior. Like the number of unsafe blocks is not really my concern as much as what the unsafe blocks are doing. If you bui
15.
Portsh: A batch/shell polyglot that implements a Lisp(github.com)
31 points by smasher164 3mo ago|0 comments
16.
by smasher164 3mo ago
Honestly, given how trivial it is for mythos-class models to identify an exploit, I’m going to assume any sufficiently large project written in C, C++, or Zig is riddled with latent vulnerabilities and compromised.
17.
by smasher164 3mo ago
I think it's a good time to learn Lean. It positions itself as a proof assistant that's also good at practical programming. I'm not sure how mature the ecosystem is for the latter.
18.
by smasher164 4mo ago
I was having a conversation with someone recently if RSEQ would be a good primitive to build a load-link/store-conditional implementation in user-space. It gives you a critical window, though you still have to deal with spurious restar
19.
by smasher164 4mo ago
On other sites, like github and reddit. This exchange was funny though. He eventually gets called out by the other commenter to stop responding with an LLM: https://github.com/PerryTS/perry/issues/139#issueco
20.
by smasher164 4mo ago
I'm not against AI usage but the website, documentation, and even the comments the creator (proggeramlug) makes in response to questions are all very clearly AI-generated. Also, as someone else noticed, the pacing of the commits is eer
21.
by smasher164 4mo ago
You end up needing something like refinement types to control the way you statically enforce bounds. That being said, there's stuff like https://flux-rs.github.io/flux/ which uses macros to layer a refinement type
22.
by smasher164 4mo ago
> This is a category error. Okay, but surely you know what they actually mean right, or are you being willfully obtuse? They are comparing CPython (the main python implementation)'s implementation that runs on the CPU with a kerne
23.
by smasher164 4mo ago
What I don't understand is if they were going to translate Zig to unsafe Rust, why not just build a translation tool for it? You could do a one-to-one mapping of language constructs, hardcoding patterns in your codebase, and as one fri
24.
by smasher164 6mo ago
One of the reasons I left macos was that automation via Automator and Applescript was inconsistent and unsupported in many contexts. Well that and the locking down of app distribution and sandboxing. However, the positive reception to Hamme
25.
by smasher164 2y ago
This is very exciting! I've been longing for an acme-like editor that adapts better to mainstream OSes. Being vim-like is a major plus. I'm gonna try this out!
26.
by smasher164 2y ago
Does tvix support targeting windows? And I do not mean WSL. iirc, the nix attempted a windows port but there were some hardcoded assumptions made about unix in the implementation that made it intractable, for example the location of the s
27.
by smasher164 2y ago
Another approach is to use a Gc<T> smart pointer: https://docs.rs/gc/latest/gc/ I've used this in an interpreter and it's quite convenient.
28.
Moby: Block io_uring_* syscalls in default profile(github.com)
1 points by smasher164 3y ago|0 comments
29.
by smasher164 3y ago
> these groups don't seem to be interested in fixing kernel problems I mean, they built a whole kernel module that addresses page allocation/deallocation scalability issues. Whether that gets brought upstream, I'm not sure
30.
vmcache: Virtual-Memory Assisted Buffer Management [pdf](cs.cit.tum.de)
38 points by smasher164 3y ago|4 comments

More ›