varbhat

16 ms·

121.
Lion: A formally verified, 5-stage pipeline RISC-V core(github.com)
241 points by varbhat 6y ago|81 comments
122.
Nano-5.6 Is Released(lists.gnu.org)
3 points by varbhat 6y ago|0 comments
123.
Rust Language Cheat Sheet(cheats.rs)
2 points by varbhat 6y ago|0 comments
124.
Unix Portability Notes(cr.yp.to)
2 points by varbhat 6y ago|0 comments
125.
Ungoogled-Chromium-Android: Android Version of Ungoogle-Chromium(uc.droidware.info)
4 points by varbhat 6y ago|0 comments
126.
Spiral: Take notes in a format similar to a spiral notebook(mitchellaugustin.com)
2 points by varbhat 6y ago|0 comments
127.
LibreOffice 7.1 Community Edition(blog.documentfoundation.org)
186 points by varbhat 6y ago|139 comments
128.
by varbhat 6y ago
Ok. Thanks for the Information. But,last time i tried Wayland (sway to be specific) , it didn't ask me to allow/deny ,ie, no audit was present.
129.
by varbhat 6y ago
I am neither fond of Xorg nor Wayland. I have used both and I see shortcomings of both. Xorg is Overly Bloated/Done without giving much importance to security. On the other hand, Wayland is technically superior , might be more secure t
130.
The Unix Tree: Browse Source code and manuals of various old versions of Unix(minnie.tuhs.org)
2 points by varbhat 6y ago|0 comments
131.
Android 10 ported to RISC-V(github.com)
2 points by varbhat 6y ago|0 comments
132.
by varbhat 6y ago
Before trying these courses , Please try vimtutor that comes bundled with vim . After practicing with vimtutor , you can try these additional courses.
133.
GCC Rust: GCC Front-End for Rust(github.com)
312 points by varbhat 6y ago|173 comments
134.
Eltanin: A free, simple, and complete general-purpose operating system(eltan.in.net)
10 points by varbhat 6y ago|0 comments
135.
by varbhat 6y ago
Kannada is my L1. What do you want? Thanks for asking.
136.
An Open-Source FPGA-Optimized Out-of-Order RISC-V Soft Processor (2019) [pdf](rsg.ci.i.u-tokyo.ac.jp)
239 points by varbhat 6y ago|74 comments
137.
80-characters-per-line limits should be terminal, says Linus Torvalds(theregister.com)
3 points by varbhat 6y ago|5 comments
138.
by varbhat 6y ago
How is this different from https://news.ycombinator.com/front ?
139.
by varbhat 6y ago
I am perfectly fine with main UI of HN , that is news.ycombinator.com . Although,i agree that some improvements can be made. One Pro of main UI is that it is simple and very fast without fancy moving parts. I like it a lot.
140.
Ask HN: What are your Goals for 2021?
3 points by varbhat 6y ago|4 comments
141.
Zstandard v1.4.7(github.com)
211 points by varbhat 6y ago|73 comments
142.
by varbhat 6y ago
"Thinking back to early CentOS days... My cofounder was Rocky McGaugh. He is no longer with us, so as a H/T to him, who never got to see the success that CentOS came to be, I introduce to you...Rocky Linux" — Gregory Kurtze
143.
Redirecting Godoc.org Requests to Pkg.go.dev(blog.golang.org)
1 points by varbhat 6y ago|0 comments
144.
Git 2.30-Rc0 Released with More Work on “Main” Branch Renaming, Fixes(lkml.org)
2 points by varbhat 6y ago|0 comments
145.
by varbhat 6y ago
Nice Project. But, I think that Linux kernel is more Battle Tested than this. Also, Compiled Linux kernel can weigh 6.7MB or even less. What i am thinking is that we can compile linux kernel , drivers needed for the particular device, compi
146.
Rocky Linux: Community enterprise OS compatible with RHEL(github.com)
86 points by varbhat 6y ago|16 comments
147.
by varbhat 6y ago
Rocky Linux is a community enterprise Operating System designed to be 100% bug-for-bug compatible with Red Hat Enterprise Linux now that CentOS has shifted direction - CentOS founder Gregory Kurtzer to start new rebuild of RHEL.
148.
by varbhat 6y ago
Also see https://www.gopass.pw/
149.
Webboot Is Becoming Quite Useful for Quickly Booting ISOs from the Web(phoronix.com)
2 points by varbhat 6y ago|0 comments
150.
by varbhat 6y ago
That's problem of GitHub.

More ›