wkornewald

6 ms·

1.
Pure Rust Implementation of Apple Code Signing(gregoryszorc.com)
1 points by wkornewald 5y ago|0 comments
2.
Simdram: A Framework for Bit-Serial SIMD Processing Using DRAM(arxiv.org)
1 points by wkornewald 6y ago|0 comments
3.
by wkornewald 7y ago
Location: Hamburg, Germany Remote: Yes Willing to relocate: No Technologies: * Mobile: Flutter | Android | Kotlin | Java | Dart * Back-end: Python | Django | Flask | some Golang * Front-end: React | TypeScript | JavaScript | HTML | CSS | Sa
4.
by wkornewald 7y ago
This doesn’t look like real end-to-end encryption. There is no mention of the encryption keys staying only on the client device. The description sounds very shady as if they’re intentionally trying to be misleading.
5.
by wkornewald 7y ago
SEEKING WORK | Remote or Hamburg, Germany Software engineer/architect with 20+ years of experience working for large and small companies and research projects (Volkswagen/Audi, SPIEGEL, Tchibo, Deutsche Bahn, Peek & Cloppenbur
6.
by wkornewald 7y ago
I’ve recently switched to startpage.com - they use Google for high quality search results, but anonymize all search requests and show non-personalized, non-tracking ads solely based on my current search term. Also, they’re based in Europe&#
7.
Announcing Dart 2.3: Optimized for building user interfaces(medium.com)
7 points by wkornewald 7y ago|0 comments
8.
Safe to the Last Instruction: Automated Verification of a Type-Safe OS(microsoft.com)
2 points by wkornewald 9y ago|0 comments
9.
Local Refinement Typing(arxiv.org)
2 points by wkornewald 9y ago|0 comments
10.
My Struggles with Rust(compileandrun.com)
353 points by wkornewald 9y ago|318 comments
11.
Flix: Combining functional programming with logic programming(flix.github.io)
2 points by wkornewald 10y ago|0 comments
12.
Sista: Speculative inlining, Smalltalk-style(web.stanford.edu)
2 points by wkornewald 10y ago|0 comments
13.
The Many Kinds of Code Reuse in Rust(cglab.ca)
3 points by wkornewald 11y ago|0 comments
14.
Why Rust's ownership/borrowing is hard(softwaremaniacs.org)
122 points by wkornewald 11y ago|64 comments
15.
Pi-Forall: How to use and implement a dependently-typed language [video](youtube.com)
1 points by wkornewald 11y ago|0 comments
16.
by wkornewald 11y ago
Also have a look at vex: https://github.com/sashahart/vex Unlike this pip solution, vex extends your PATH to include installed scripts. It also works well on Windows and is really easy to use.
17.
Some notes on Rust(lambda-the-ultimate.org)
204 points by wkornewald 12y ago|106 comments
18.
Programming without objects(falkoriemenschneider.de)
126 points by wkornewald 12y ago|131 comments
19.
I/O Stack Optimization for Smartphones (2013) [pdf](0b4af6cdc2f0c5998459-c0245c5c937c5dedcca3f1764ecc9b2f.r43.cf2.rackcdn.com)
33 points by wkornewald 12y ago|1 comments
20.
Tailspin: Reversible JavaScript Interpreter in JavaScript(github.com)
12 points by wkornewald 12y ago|0 comments
21.
Ivory Language: an eDSL for safe systems programming in Haskell(ivorylang.org)
68 points by wkornewald 12y ago|2 comments
22.
2Q buffer cache algorithm(tedunangst.com)
53 points by wkornewald 12y ago|8 comments
23.
WebCLGL – Browser GPGPU(github.com)
8 points by wkornewald 12y ago|0 comments
24.
by wkornewald 12y ago
It's not very easy to find from the provided link, but there is a repo on GitHub: https://github.com/samrushing/irken-compiler
25.
An Experiment in Improving PyPy.js/Emscripten Compressiblity(rfk.id.au)
1 points by wkornewald 12y ago|0 comments
26.
Quickly sketch interactive prototypes(wireframes.linowski.ca)
1 points by wkornewald 12y ago|0 comments
27.
by wkornewald 12y ago
In general, it's better to have the team work closely together in one office. If you want to bring in contract developers they should be reachable during the time when you work because you'll probably need to communicate very ofte
28.
The Purpose of memory_order_consume in C++11(preshing.com)
4 points by wkornewald 12y ago|0 comments
29.
by wkornewald 12y ago
Yeah, that was my first thought, too, but the article is still inspirational. Could code generation ever be fast enough for practical problems? I'm wondering how far we could get if the generated code for each problem is cached between
30.
PyPy 2.2 released with incremental GC(morepypy.blogspot.de)
1 points by wkornewald 13y ago|0 comments

More ›