dataking

13 ms·

151.
by dataking 6y ago
I agree with the concerns over complexity. That said, I see nothing in the article that indicates that a firewall appliance is the correct countermeasure. Defense in depth is likely what you need (and may ultimately get) here.
152.
by dataking 6y ago
Immunant | Senior Software Engineer | REMOTE | Full-time | https://www.immunant.com Do you want to get paid to use Rust? Do you know a thing or two about systems programming, compilers, and operating systems? Do you like researc
153.
by dataking 6y ago
Immunant | Senior Software Engineer | REMOTE | Full-time | https://www.immunant.com Immunant's mission is to make it easier to deploy Rust code alongside or in place of C/C++ at all levels of the stack. We are looking
154.
by dataking 6y ago
I wondered the same. I think they are. You can see how the pool is very cramped and follows the curvature of the submarine hull.
155.
by dataking 6y ago
Rust's type system is complicated for a reason. It makes explicit the reasoning that is necessary to allocate and access memory correctly without reference counting or garbage collection. Sure it is easier to start writing C but I beli
156.
by dataking 6y ago
Compilers such as clang/LLVM and GCC do support a memory-safe mode (e.g. AddressSanitizer) which is not what you want because they add large overheads and thus are not intended for production use. There's an ongoing effort to desi
157.
by dataking 6y ago
Immunant | Senior Staff Engineer | REMOTE | Full-time | https://www.immunant.com Immunant's mission is to make it easier to deploy Rust code alongside or in place of C/C++ at all levels of the stack. We are looking for
158.
by dataking 6y ago
Interesting idea but likely in violation of the GitHub Actions ToS [0]. > Actions should not be used for: [...] > any other activity unrelated to the production, testing, deployment, or publication of the software project associated w
159.
by dataking 6y ago
Immunant | Senior Staff Engineer | REMOTE | Full-time | https://www.immunant.com The team at Immunant is working tirelessly to make the lower levels of the modern software stack more secure. We are looking for a fellow systems p
160.
by dataking 6y ago
I think this comment is spot on. I've used cellular services in both Germany and Denmark extensively and they are nothing alike. Germany has spotty coverage; in Denmark, you have coverage pretty much everywhere even in rural areas. Thi
161.
by dataking 6y ago
I was also surprised they picked "Programming Rust" over "The Rust Programming Language" book.
162.
by dataking 6y ago
While some patterns that call for unsafe today might be eliminated in whole or part, code that violates the ownership and borrowing rules will have to remain unsafe. I think fuzzing is not guaranteed to reach all unsafe code paths, nor prov
163.
Tivoization(en.wikipedia.org)
3 points by dataking 6y ago|0 comments
164.
Ubuntu 20.04: Welcome to the future, Linux LTS disciples(arstechnica.com)
6 points by dataking 6y ago|0 comments
165.
New Intel Instructions for Alder Lake, Also BF16 for Sapphire Rapids(anandtech.com)
58 points by dataking 7y ago|52 comments
166.
by dataking 7y ago
Except that scientists working on DARPA programs have also produced some technologies that have proven phenomenally useful to civilians such as the internet, computer mice, GPS, Siri, etc.
167.
by dataking 7y ago
Good question. I agree that this is a problem but I wonder whether it is mitigated somewhat by search engine customization. I think the set of people that are simultaneously interested in Sumerian (the product) and Sumerian (all things rela
168.
C2Rust: Merging C Headers into Rust Modules(immunant.com)
2 points by dataking 7y ago|0 comments
169.
by dataking 7y ago
C2Rust contributor here. You are right that the transpiler preserves all the weaknesses of C in its output. (Thanks for taking a look :) C2Rust includes a refactoring tool that (in some, currently very limited circumstances) let us lift raw
170.
by dataking 7y ago
C2Rust contributor here. Yes, the conversion to unsafe is indeed only intended as a stepping stone for a rewrite into idiomatic Rust. In fact, we're hard at work on a refactoring tool that will (hopefully, one day) take some of the ted
171.
Improved C Variadics in Rust(immunant.com)
4 points by dataking 7y ago|0 comments
172.
C2Rust now on crates.io and supports C variadic functions(immunant.com)
4 points by dataking 7y ago|0 comments
173.
by dataking 7y ago
Scope guards seem like a really good idea. Has there been any effort to write a C to -betterC transpiler just like there has for Rust (e.g. C2Rust [0], Corrode [1])? [0] https://www.github.com/immunant/c2rust [1] http
174.
by dataking 7y ago
I don't think that is necessarily true. Rust has only one compiler (and I think adding a second one would be a huge effort with no clear win) yet it is developed by a community that is very welcoming to newcomers. At least, that's
175.
by dataking 7y ago
> Finally, I have to say, I loved using Rust. It’s the least mental overhead I’ve had to maintain with a systems language, and it was a blast to use. This mirrors my experience learning Rust while working on the C2Rust translator (HN dis
176.
by dataking 8y ago
Expected to see Rust's approach mentioned since it occupies an interesting point in the design space, i.e., automatic memory management where lifetimes are (mostly) determined at compile-time vs. at run-time (RC and/or GC).
177.
by dataking 8y ago
Not really. It controls continuous integration builds (or Pipelines in Microsoft parlance) on Azure DevOps. You can test on Linux, macOS, and Windows hosts.
178.
by dataking 8y ago
> We've got to get more code out of C and into something with subscript checking. None of the kludges for fixing C work. shameless plug: https://www.c2rust.com
179.
by dataking 8y ago
> I wonder if one could do things like compile with rustc and clang and somehow compare the LLVM IR for equivalence The approach we've taken so far with C2Rust is to build compiler plugins that instrument C and Rust code so we can
180.
by dataking 8y ago
https://github.com/immunant/c2rust#acknowledgements-and-lice...

More ›