sineptic

63 posts

sineptic

sineptic

@sineptic0

Katılım Haziran 2023
44 Takip Edilen0 Takipçiler
sineptic
sineptic@sineptic0·
@braelyn_ai just try difftastic. you would have incredibly less output.
English
0
0
0
30
Braelyn ⛓️
Braelyn ⛓️@braelyn_ai·
i cannot speak more highly of Lumen it is the best terminal diff viewer i've tried and it has become an irreplaceable part of my daily workflow
Braelyn ⛓️ tweet media
English
21
9
332
31.9K
sineptic
sineptic@sineptic0·
@nuskey8 unsafe means you must check all precoditions patiently
English
0
0
0
133
sineptic
sineptic@sineptic0·
@zack_overflow lol, how much do you earn? 10m$/year or what?? stop using phrase 100x recklessly.
English
0
0
0
42
zack
zack@zack_overflow·
Unfortunately, I don't use Zig now. Every 1.5-5x human DX productivity boost from Zig features is eclipsed by the 100x boost from coding agents writing Rust: Allocator interface: This is my favorite Zig feature, you feel so galaxy brain using a specialized allocator to optimize a code path (e.g. arena, stack fallback etc). The problem in Rust used to be that there was no Allocator interface equivalent and if you wanted a Vec that used a custom allocator you literally had to copy+paste the std version and modify it to use it (this is what Bumpalo did, look at the source). For a long while now there has been an Allocator trait in nightly, and it seems to be good now. Because it is a trait it is static dispatch, vs Zig's which is based on a vtable. Unlike Zig there isn't a community-wide convention of designing data structures to be parametric based on the allocator, but AI changes the game and makes it trivially to copy paste code and change that. I find it works well enough for my use-case. Arbitrary bit width integers + packed structs: Another beloved Zig feature of mine. It makes it so easy to do DOD-style CPU cache optimizations and stuff like tagged pointers, NaN boxing, etc. and even made bitflags really easy to make. You could always do this in Rust or any systems programming language but it was really ugly/unergonomic. The least worst option was using some crate like bitfield/bitflags which both rely on proc macro magic to work. Now, with coding agents I literally do not care how annoying it is to write the code by hand. Comptime: This is Zig's flashiest feature, no other programming language except maybe for obscure dependent-types langs have compile time evaluation as nice as Zig's. I thought I would miss it a lot, but I actually don't. For me, 95% of comptime usage is to create Zig's version of generic data structures with parametric types. Rust has a better designed type system IMO (see next section). In the remaining 5% of cases, not having comptime sucks. The only reliable way to reach an equivalent is through codegen. I'm making a game right now, and I have hardcoded hitbox geometry data generated from a tool that I want to bake into a data structure. Without comptime, I have to get Claude to write a script that generates the Rust file. However, I don't find myself needing compile time evaluation that much anyway. Rust's type system: I think I'd rather trade having comptime for Rust's better-designed type system, especially for bounded polymorphism (traits/typeclasses). Trying to do the equivalent in Zig is a nightmare. Also, I think that Rust's type system allows you to enforce more variants and prevent coding agents from making common mistakes. In my game I use the euclid crate which essentially allows you to not mix up coordinate spaces (very common problem in graphics programming) by creating specialized types for each coordinate space (e.g. Point or Point) Not having to deal with memory issues: With coding agents allowing 100x more code to be written, this also means you need to scrutinize 100x more Zig code for memory issues. Without formal verification, the surface area of the search space to enumerate to find bugs is just so much larger now. With the magnitude of code being generated now, Rust is even more attractive. Rust's tradeoff was always that it hinders developer productivity especially if you are unfamiliar with borrow checker, but this simply does not matter with coding agents anymore. And if you do use unsafe in Rust there's tools like miri which you can have the coding agent run the code against to make sure it doesn't cause UB or isn't violating Rust's aliasing rules when it comes to unsafe. I still miss writing Zig and find it to be a great language but I like Rust more and coding agents work with better with it.
zack@zack_overflow

It's not a question anymore, most of Zig's best features were designed for human ergonomics, which matters less now All of Rust's best features came at the cost of added verbosity, which applies less to agents because they have superhuman working memory and never get tired

English
32
72
1.1K
184.4K
sineptic
sineptic@sineptic0·
@seatedro comparison with zed would be awesome
English
0
0
0
41
sineptic
sineptic@sineptic0·
@TechHighest are you happy? are you satisfied? how you feel about near future? etc.
English
1
0
1
19
Highest
Highest@TechHighest·
👀
Highest tweet media
QME
5
0
14
333
Mathias
Mathias@CodeWithMathias·
@amariokoro @zeddotdev I think we too often turn to American models and very little to Chinese models... for me, the best closed-source models are American and the best open-weight models are Chinese.
English
1
0
3
382
Zed
Zed@zeddotdev·
A multibuffer a day keeps the goblins at bay
English
13
2
274
14.1K
sineptic
sineptic@sineptic0·
@duanebester @saltyAom why it is not using builder pattern like in gpui? your chat app example source code look a bit weird for me because of that probably.
English
1
0
0
37
SaltyAom
SaltyAom@saltyAom·
Mythos, migrate GPUI to Zig, make no mistake
Français
12
5
304
23.6K
sineptic
sineptic@sineptic0·
@uwukko @samlambert how to disable all suggestions in search bar completely? I disabled them, but doesn't help.
sineptic tweet mediasineptic tweet media
English
0
0
0
60
wukko
wukko@uwukko·
@samlambert lmk if you run into any issues
English
2
0
119
4.3K
Sam Lambert
Sam Lambert@samlambert·
Just started using Helium. Feels light and snappy.
English
24
4
489
108.2K
sineptic
sineptic@sineptic0·
@zeddotdev what is code lens and why it is new feature?
English
0
0
0
306
Zed
Zed@zeddotdev·
Features landing in the next few weeks: - Bookmarks - Helix Jump - Code lens - Markdown Renderer - Gif support, GFM callouts ([!IMPORTANT], [!WARNING], etc) - `git: view commit` action to look up commits via ref
English
66
37
1.1K
52.1K
sineptic
sineptic@sineptic0·
@valigo @syshukus maybe not them should look through ALL resumes. My idea: job posting specifies format of application and HR goes through them and filter those, who can't event spend some time for recruiter.
English
0
0
0
19
Valentin Ignatev
Valentin Ignatev@valigo·
@syshukus People who run the hiring process should be the ones that an employee will be directly working with. And these people need to intimately know the job. This fixes most of the issues with hiring.
English
2
0
6
338
Valentin Ignatev
Valentin Ignatev@valigo·
If you still don't hate recruiters enough, or if you are still not convinced that hr is the most incompetent, harmful, and entitled industry in tech, just watch this video. But TLDR is "I have 20 seconds to find 5 keywords in your CV, but nobody taught me how to use Ctrl+F"
Valentin Ignatev tweet media
English
57
98
2.4K
115.8K
sineptic
sineptic@sineptic0·
@valigo He literally said "what is EDA? you don't tell me" on data analytics resume. 😂 Is it his first time working with that job?
English
0
0
3
184
Valentin Ignatev
Valentin Ignatev@valigo·
Tech is extremely starved for talent, but yet good programmers I know can't find a job. Hiring processes in tech is utterly broken, and essentially gatekept by reddit mods. Even though it's been solved a long time ago. Anyway, go watch the video: m.youtube.com/watch?v=nbxjb1…
English
11
5
284
24.9K
Highest
Highest@TechHighest·
@theonecid D) dont care as long as they don't go 6GB or less
English
1
0
1
86
CID
CID@theonecid·
If you upgrade phones next year, does it need to have A) 12GB RAM B) 16GB+ RAM C) Don't care as long as they don't go 8GB
English
38
2
88
5.5K
sineptic
sineptic@sineptic0·
@immatthamlin @zeddotdev maybe you tried to open zed wit sudo. i had his issue, because sqlite file was owned by root
English
0
0
0
7
Matt Hamlin
Matt Hamlin@immatthamlin·
a couple of minor annoyances with @zeddotdev recently: - "Failed to load the database file" popup on every window open - Changing the side of the file tree to the right????
Matt Hamlin tweet media
English
3
0
10
3.9K
sineptic
sineptic@sineptic0·
@TechHighest @CringePoop isnt the problem that windows has so much surfaces for the same thing. probably created because different teams never communicared and than noone stepped to fix it.
English
1
0
1
182
Highest
Highest@TechHighest·
@CringePoop why are yall lying Date & Time -> Format and change that
Highest tweet media
English
1
0
48
2.5K
sineptic
sineptic@sineptic0·
@TechHighest Im thinking about getting my first mac. whats up with keyboard nd trackpad?
English
1
0
0
19
Highest
Highest@TechHighest·
Software: - I had less things break under Ubuntu than macos, and god knows how broken Ubuntu is. - everything requires a third party app to fix. most of them are open source tho Hardware: - Keyboard & trackpad worse than I expected - rubber feet are non existent - Chrages fast
English
1
0
6
286
Highest
Highest@TechHighest·
Week 1 of using macos 1/2 I have a lot of things to say, but I'll keep it in two tweets for this time. I'll share my full thoughts at the end of the month. (anything I didn't mention is just because I felt like they weren't important enough to mention)
Highest tweet media
English
4
0
7
3.3K
sineptic
sineptic@sineptic0·
@Abhinavstwt in rust you can write `() = ();` because its both value, type and pattern to match(empty tuple)
English
0
0
1
5
Abhinav
Abhinav@Abhinavstwt·
It’s wild, how does any of this even make sense?
Abhinav tweet media
English
474
287
6.8K
524.3K