Sukera

7 ms·

1.
by Sukera 11mo ago
Could you expand on how these wraparound bugs happen in Rust? As far as I know, integer overflow panics (i.e. aborts) your code when compiled in debug mode, which I think is often used for testing.
2.
by Sukera 1y ago
No, you can write the kernels directly in Julia using KernelAbstractions.jl [1]. [1] https://juliagpu.github.io/KernelAbstractions.jl/stable/
3.
by Sukera 1y ago
Because adding the top limbs of two encoded numbers would overflow too soon. If you set both to 2^63 for example, they overflow immediately. Might be fine for wraparound arithmetic, but not in general.
4.
by Sukera 1y ago
For aggregation-like things, the interesting properties are often about the properties of the accumulation function, and not the entire aggregation, which should then be correct by extension. So for your `sum` example, you'd use PBT to
5.
by Sukera 2y ago
> Throughout the rest of the paper, we assume an adversary who at some point managed to obtain the private identity key IK, the phone number pn, the API username unA, and the password pwA. This is basically fully owned access already, ri
6.
by Sukera 2y ago
Location: EU, Austria Remote: Possible Willing to relocate: Yes, for some offers Technologies: C, C++, Julia, Python, SQL, Linux, Git/Github, Docker, TrueNAS, Wireguard, CoreDNS, AVR, ARM, RISC-V Résumé/CV: ~3 years
7.
by Sukera 2y ago
It doesn't only cover pure hobby projects: > (10c) the mere fact that an open-source software product receives financial support by manufacturers or that manufacturers contribute to the development of such a product should not in it
8.
Antithesis Is Not Enough(seelengrab.github.io)
8 points by Sukera 2y ago|1 comments
9.
Why viral licensing is a ghost(joinup.ec.europa.eu)
2 points by Sukera 3y ago|0 comments
10.
by Sukera 3y ago
50% of the top 100 most starred, i.e. used, packages are not representative of the entire community. Not to mention that the vast majority of those SciML packages is developed by a relatively small group of people, compared to the rest of t
11.
by Sukera 3y ago
> with the interface checking, implicit interface support was turned mostly into explicit interface support where packages and types opt-in via defining traits (this is still continuing to evolve but is mostly there) What interface check
12.
by Sukera 3y ago
> But often the packages also talk through simple accesses of values like `X.someproperty`. I've seen situations where maintainers would add and remove these properties and break their own other libraries. Better "enforcement&q
13.
by Sukera 3y ago
There is no rebuttal because nothing much has really changed culture wise. Sure, the various @inbounds issues and concrete bugs that are mentioned in Yuris post have mostly been addressed, but the larger point (that is, "what can I act
14.
by Sukera 3y ago
Lots of languages can mmap, it's not exclusive to C++ or C. The JSON package the Julia code is using seems to mmap too, for example.
15.
by Sukera 3y ago
(2020)
16.
by Sukera 3y ago
It would be great if you could share such an example work load - such big examples are often few and far between, even though they are VERY good for debugging compilation performance.
17.
by Sukera 3y ago
Can you be more specific? As is, it's hard to follow what the issue was that you encountered.
18.
by Sukera 3y ago
Doesn't look like it https://developers.cloudflare.com/cache/how-to/enable-crawle...
19.
by Sukera 3y ago
There's a lot more than release notes going into a release - we've had 3 release candidates for a reason, and those regressions/bugs need to be fixed first.
20.
by Sukera 3y ago
For me personally, I just think it's really fun to write julia code. Granted, I'm neither machine learning nor physical science, but the fact that I can go through the whole stack and choose an abstraction that's right for th
21.
by Sukera 3y ago
The authors have previously also shown off that this can do 3D visualization in real time: https://twitter.com/gabrielweymouth/status/16486827416201953...
22.
by Sukera 3y ago
There will also be a release blogpost, highlighting the new stuff. The release will likely come with that.
23.
by Sukera 3y ago
I think Chris was referring to the leaky abstractions python grew on https://www.youtube.com/watch?v=qCGofLIzX6g
24.
by Sukera 3y ago
Are you afraid that you're going to "inherit" the issues the python ecosystem has through your goal of full compatibility? Or is Mojo more like Numba, in that only parts of python will actually be supported for full accelerat
25.
So you want to play with Wi-Fi? It’s dangerous to make frames alone. Take this(cybersecurity.blog.aisec.fraunhofer.de)
63 points by Sukera 3y ago|7 comments
26.
by Sukera 4y ago
Also, previously discussed: https://news.ycombinator.com/item?id=16084575
27.
by Sukera 4y ago
That definitely sounds like cause for concern! You seem to have spent some time on this, can you share an example?
28.
by Sukera 4y ago
Ah, I see, you're referring to linting capabilities. Yes, that's unfortunately a current limitation of LanguageServer.jl right now. I don't think it interfaces extensively with the compiler for type inference in a way that it
29.
by Sukera 4y ago
That's surprising to me, as @inbounds should at worst be a noop - it shouldn't ever result in slower code. I sadly can't benchmark right now (no suitable device for the next few days), but I'll see if I can get back to t
30.
by Sukera 4y ago
> I have to annotate all structs and function input types. Can you elaborate on that? Argument types in function definitions do not help the compiler infer types - you can leave them completely untyped. It's really only required in

More ›