dataking

5 ms·

31.
by dataking 1y ago
Indeed. We had experimental support for preserving (some) constants but it fell by the wayside. We're bringing it back in the coming months.
32.
by dataking 1y ago
https://www.memorysafety.org/initiative/ this page mentions TLS and DNS which goes some way towards your suggestion.
33.
by dataking 1y ago
They indeed used c2rust for the initial transpile according to https://trifectatech.org/blog/translating-bzip2-with-c2rust/
34.
by dataking 1y ago
Thanks! Is this the same hardware used here http://paste.debian.net/1374884 ? Can you share what system was used (ARM CPU, OS, etc.)?
35.
by dataking 2y ago
I didn’t see any mention of EU’s last attempt to build a sovereign cloud: Gaia-X. I think that didn’t really go anywhere due to disagreements over technical direction. Much like Quaero. Don’t get me wrong, I hope it goes better this time an
36.
by dataking 2y ago
It is a portmanteau of SWE and freelancer. Upwork is a marketplace for the latter.
37.
by dataking 2y ago
well put! making sure that the new, memory safe code interoperates with the old code and is equally well supported by tooling takes an incredible amount of work.
38.
by dataking 2y ago
Interested observer here, not an expert: My understanding is that they are using another model called FermiNet for chemistry research https://deepmind.google/discover/blog/ferminet-quantum-physi...
39.
by dataking 2y ago
Immunant | Software Engineer | REMOTE | Full-time | https://www.immunant.com We're a small team dedicated to elimination of memory safety errors. We're maintaining the C2Rust tools and use it to move C code to Rust. Se
40.
by dataking 2y ago
Immunant | Software Engineer | REMOTE (US only) | Full-time | $110k - $150k + retirement benefits If you're interested in low-level, resource-constrained and/or privileged execution environments, consider joining our small team. A
41.
by dataking 2y ago
Highly recommend Alex Gaynor's intro to memory unsafety https://alexgaynor.net/2019/aug/12/introduction-to-memory-un...
42.
by dataking 2y ago
Immunant | Software Engineer | REMOTE (US only) | Full-time | $110k - $150k + retirement benefits If you're interested in low-level, resource-constrained and/or privileged execution environments, consider joining our small team. A
43.
by dataking 2y ago
> says Gary Marcus, a cognitive scientist who sold an AI startup to Uber in 2016 for context, Marcus has a quite bearish view on AI and lots of others, most prominently Yann LeCun, disagree with Marcus.
44.
Daron Acemoglu is not having all this AI hype(ft.com)
1 points by dataking 2y ago|1 comments
45.
by dataking 2y ago
I agree with both of these takes but want to add that the tool might not have been tested on all the languages spoken outside of the US. Can't be too careful with kids in the target audience.
46.
Top startup hubs reinvent the model for European tech sector needs(ft.com)
2 points by dataking 2y ago|0 comments
47.
by dataking 2y ago
https://archive.is/Z0EOB
48.
by dataking 2y ago
> the MS ecosystem makes making all documents cloud documents and sharable and collaborative within your enterprise a total snap. Same for Google Sheets, they're fairly interoperable with the MS formats too.
49.
EU Probes Apple's Decision to Shut Down Epic's Developer Account(macrumors.com)
106 points by dataking 3y ago|141 comments
50.
by dataking 3y ago
> The only that I think is given that will expand its global market share is China. That doesn't make sense given that all the other big blocks are cooperating across borders while China is subject to stiff export controls in an are
51.
by dataking 3y ago
Apple vision pro integration ;-)
52.
by dataking 3y ago
> I really believe the primary reason is that Europe is not one culturally homogeneous area that speaks one language There are likely several reasons at play, culture being a big one. However, there are other reasons at play such as diff
53.
by dataking 3y ago
While I agree that there is lots of innovation and talent in the EU, I think there is also an "innovation gap" with other developed economies. Here's a take from the Economist [0] but you can find similar articles from the Fi
54.
by dataking 3y ago
> maybe we should start with the Supreme Court... sounds like that's going to be more of a textualist than living document LLM ;-)
55.
EU says music streaming platforms must pay artists more(engadget.com)
25 points by dataking 3y ago|17 comments
56.
by dataking 3y ago
https://archive.is/Umfvr
57.
by dataking 3y ago
Related https://news.ycombinator.com/item?id=38947654
58.
Google lays off hundreds in hardware, voice assistant teams(bloomberg.com)
186 points by dataking 3y ago|97 comments
59.
by dataking 3y ago
no training on the data; more requests per hour.
60.
by dataking 3y ago
> Blast them for forbidding competing browsers on iOS. They allow competing browsers but they have to use the OS-provided JavaScript engine. I guess one could make an argument that allowing third-party engines would encourage innovation

More ›