redsaber

4 ms·

1.
by redsaber 1mo ago
I wish Zed in Windows(W11) would have fix the problem with windows(like opening the settings window on Zed) where if your scale is more than 100%(Settings -> System -> Display -> Scale) the title bar doesn't show as it is way
2.
by redsaber 5mo ago
they're downsizing free github copilot pro for open source maintainers. At the very least, it looks like small open source projects got their free copilot pro cut off
3.
by redsaber 5mo ago
some of Github's open source maintainers have lost their free github copilot pro, guess this is really the next step for them to save cost in their infrastructure.
4.
by redsaber 5mo ago
not available for Github Copilot pro(only in pro+, business and enterprise), I am really now feeling the era of subsidized AI is over.
5.
by redsaber 3y ago
I don't have much experience and I see C as something I would never be able to touch as they seem quite high level for me with the manipulation of memory and stuff. And from what I see, Rust can sort of make it easier by making you thi
6.
by redsaber 3y ago
do you think it would be hard to transition to Rust and use Rocket? I mostly just python and kotlin as my languages
7.
by redsaber 3y ago
I guess Satya Nadella really like this guy
8.
by redsaber 3y ago
hello, if you got some issue. It would be best to go their discord to contest it for the benefit of everyone who is going to use it in the future. I've done it a few times too, and if ever the recent submission wasn't good they ca
9.
by redsaber 3y ago
hopefully, Japanese/Korean/Chinese support soon
10.
by redsaber 3y ago
I had to use ublock origin to start blocking those sites https://github.com/quenhus/uBlock-Origin-dev-filter
11.
by redsaber 3y ago
> SO has been around so long a lot of the answers are no longer relevant. I don't place much trust that an answer from 2010 will solve my problem. I did have problem like this before too and I just made my search better by appending
12.
by redsaber 3y ago
small nitpick but I thought it was just an icon but it turns out to be the button for switching light/dark mode. It would be great if you could replace it.
13.
by redsaber 3y ago
I thought for a second that I click bad link earlier when the X showed up and the twitter logo turn into X.
14.
by redsaber 3y ago
iirc, Your phone sends signal to all nearby towers and then pick the closest one to connect with, which means the signal towers can also triangulate your location based from your distance to the nearby towers
15.
by redsaber 3y ago
I used a greasemonkey script to automatically edit the URL for me
16.
by redsaber 3y ago
thank you!
17.
by redsaber 3y ago
thanks
18.
by redsaber 3y ago
> There are some tricks I learned on HN to use uBlock origin to filter these spam sites but Google really needs to fix this. Oh I did use ublacklist which mixes blocking in both of the google search and the google image search. But curio
19.
by redsaber 3y ago
will it be paid? or will it be freemium?
20.
by redsaber 3y ago
if they penalize users, how they're going to get more data from the said users to sell.
21.
by redsaber 3y ago
hate that my download manager keep popping off since it is detecting a playing video
22.
by redsaber 3y ago
Personally it is more tiring IRL than online, since in online you have time to construct what you gonna say and you can correct it before sending your thought. While IRL, I need to think hard on what to say or say nothing at all.
23.
by redsaber 3y ago
hopefully someone can create a script for phones since Firefox Nightly in Android got Tampermonkey add on
24.
by redsaber 3y ago
I wonder if they're going to give a free version of fleet in order to counter vscode. Although right now is free due to being public preview
25.
by redsaber 3y ago
thanks for the link!
26.
by redsaber 3y ago
I'm still hoping that Kotlin Multiplatform succeeds. Since kotlin is now the language recommended by Google so should be able to natively write for Android while also being able to deploy to other OS.
27.
by redsaber 3y ago
question: If RustPython did indeed reach maturity, are we going to need to choose which python interpreter to install on PC? or like on certain python version we will switch to the new interpreter?
28.
by redsaber 3y ago
wait, I'm not the mod of our community but the community on Reddit was already private.
29.
by redsaber 3y ago
our community in reddit before was like more or less 10k and we managed to migrate to self hosted website by the admin.
30.
by redsaber 3y ago
I did try to watch videos on the official app and it was bad, I tried changing to 3rd party apps and I was blown away that you could actually watch videos with it.

More ›