HackerTrans
TopNewTrendsCommentsPastAskShowJobs

remexre

1,587 karmajoined 10 tahun yang lalu
PhD student at https://melt.cs.umn.edu/

Researcher at https://www.sift.net/

Email is concat ["me@", username, ".com"]

Submissions

CHERIoT Rust: Status update #0

rust.cheriot.org
3 points·by remexre·5 bulan yang lalu·0 comments

Anthropic: Who's in Charge? Disempowerment Patterns in Real-World LLM Usage

arxiv.org
2 points·by remexre·5 bulan yang lalu·1 comments

Clicks Power Keyboard

clicks.tech
1 points·by remexre·6 bulan yang lalu·1 comments

Scaling Latent Reasoning via Looped Language Models

arxiv.org
84 points·by remexre·6 bulan yang lalu·15 comments

Fzz Buzz Without I, I,;, or:?

remexre.com
3 points·by remexre·8 bulan yang lalu·0 comments

comments

remexre
·3 hari yang lalu·discuss
the point of c++ when you need max perf is to be able to maintain the compile-time abstractions you need w/ templates instead of macros and undocumented optimizer behavior, not oop or raii
remexre
·6 hari yang lalu·discuss
https://dispatchesfromtheautismwars.substack.com/p/are-autis...
remexre
·10 hari yang lalu·discuss
User Wanted: Minimum 5y agentic development experience with Fable?
remexre
·17 hari yang lalu·discuss
hasn't pcbway been doing this for years?
remexre
·bulan lalu·discuss
I take (prescribed) amphetamines and use LLMs, and I think "I wrote this while on amphetamines" will leave you with way better understanding of the code than "I vibecoded this?" Like, to an absurd degree?

Vibecoding $x gives you pretty much the understanding of "someone else did $x," which seems unsurprising to me. There's a lot of usecases for code where "someone else did $x" is a perfectly fine way to accomplish $x! There are also many cases where "someone else did $x" is not a substitute for "I did $x."

"I want a tmux theme that fits with my existing zsh and neovim themes." Is it useful to me to learn how tmux themes work? Eh, marginally maybe? I'm personally kinda hoping I'm not using tmux in 10 years, so probably not.

"I'm writing code for work, where a bad correctness bug would be very expensive." If I'm pulling in someone else's code, I /better/ be auditing that code.

Like, this seems like the obvious framing and a useful heuristic? Maybe the problem is the subject of "vibecoded" is usually "I vibecoded this with Claude," not "Claude vibecoded this with me?" IDK
remexre
·bulan lalu·discuss
not sure that works as well when they don't own their API though; how much software is openrouter-only in a way that's not 5min of deepseek to patch the source for, or 15min of opus to patch the binary instead
remexre
·2 bulan yang lalu·discuss
the compiler can still interleave anything it shows is side-effect free; it’s hard to show that something would benefit from being reordered without analyzing it well enough to determine what side effects it has
remexre
·2 bulan yang lalu·discuss
Have a reproducer?
remexre
·2 bulan yang lalu·discuss
I can't tell if you're hyperbolizing the idea of community, or describing schooling.
remexre
·2 bulan yang lalu·discuss
If I interpret "a machine superintelligence" as "a classroom of 300IQ humans," I'm not really sure how this is true? You still have material and energy constraints, you can't think your way out of those.
remexre
·2 bulan yang lalu·discuss
the one where i think of a particular piece of work, and i know who did it, then tell a student "oh, see if $author's group published anything else about this."

i'm not using software for this if this is off the top of my head, and it's the sort of thing that, at scale, hurts the forgotten author and their students
remexre
·3 bulan yang lalu·discuss
pidfd, eventfd, AF_NETLINK, epoll, memfd, timerfd?
remexre
·4 bulan yang lalu·discuss
you're thinking of the programs in low-level langs that survived their higher-level-lang competitors; if you plot the programs on your machine by age, how does the low quartile compare on reliability between programs written in each group
remexre
·5 bulan yang lalu·discuss
my impression is that most CL these days is existing large closed-source codebases, hence the price tag for those compilers (you're not trying it out for a bit, you're funding the compiler devs to work full-time on the issues you're actually having) and relatively little open-source activity for "finished" things -- if you're developing against internal libraries, it's hard to open-source just the part you intend to

(work at a CL shop; mostly SBCL users, but maybe 1/3 of people are die-hard ACL fans)
remexre
·5 bulan yang lalu·discuss
https://0pointer.net/blog/file-descriptor-limits.html
remexre
·5 bulan yang lalu·discuss
how does this compare to MoSA (arXiv:2505.00315)? do you require that there's a single contiguous window? and do you literally predict on position, or with a computed feature?
remexre
·5 bulan yang lalu·discuss
c++ certainly also has and needs a similarly sufficiently smart compiler to be compiled at all…
remexre
·6 bulan yang lalu·discuss
https://en.wikipedia.org/wiki/Lexer_hack

Make your parser call back into your lexer, so it can pass state to it; make the set of type names available to it.
remexre
·6 bulan yang lalu·discuss
The point of an IRB is to act as an outside reviewer of _ethics_. IRBs aren't some checklist thing admin put in to protect the University's reputation, they exist as a direct reaction to huge amounts of unethical human experimentation occurring last century.
remexre
·6 bulan yang lalu·discuss
There's usually an if(temp == 0) to change sampling methods to "highest probability" -- if you remove that conditional but otherwise keep the same math, that's not deterministic either.