johlo

7 ms·

31.
Dye-sensitized solar cell material will charge in any environment(machinedesign.com)
39 points by johlo 4y ago|5 comments
32.
DeepMind’s AI helps untangle the mathematics of knots(nature.com)
1 points by johlo 5y ago|0 comments
33.
Choosing a Time Series Database for High Cardinality Aggregations(abiosgaming.com)
4 points by johlo 5y ago|1 comments
34.
High Availability WireGuard on AWS(procustodibus.com)
1 points by johlo 5y ago|0 comments
35.
QuiCK: A Queuing System in CloudKit [pdf](foundationdb.org)
2 points by johlo 5y ago|0 comments
36.
The Latest API Security News, Vulnerabilities and Best Practices(apisecurity.io)
5 points by johlo 6y ago|0 comments
37.
Smithy – A language for defining services and SDKs(awslabs.github.io)
1 points by johlo 6y ago|0 comments
38.
by johlo 6y ago
A list of projects using the code generated by fiat-crypto: https://github.com/mit-plv/fiat-crypto/issues/902
39.
Synthesizing Correct-by-Construction Code for Cryptographic Primitives(github.com)
78 points by johlo 6y ago|2 comments
40.
Frama-C: Modular Analysis of C Programs(frama-c.com)
103 points by johlo 6y ago|39 comments
41.
Go 1.15 Is Released(blog.golang.org)
3 points by johlo 6y ago|0 comments
42.
Proteus – An International Space Station, Underwater(fabiencousteauolc.org)
2 points by johlo 6y ago|0 comments
43.
GitHub's REST API OpenAPI Description(github.com)
2 points by johlo 6y ago|0 comments
44.
Finite Fields in Cryptography: Why and How(youtube.com)
2 points by johlo 6y ago|0 comments
45.
Amazon Climate Pledge Fund(sustainability.aboutamazon.com)
1 points by johlo 6y ago|0 comments
46.
by johlo 6y ago
There are some examples in in the SuiteSparse implementation, https://github.com/DrTimothyAldenDavis/SuiteSparse/tree/mast...
47.
GraphBLAS – Graph algorithms in the language of linear algebra(graphblas.org)
289 points by johlo 6y ago|41 comments
48.
A year in review: NLP in 2019(peltarion.com)
2 points by johlo 7y ago|0 comments
49.
OpenAPI v3.1 and JSON Schema 2019-09(apisyouwonthate.com)
2 points by johlo 7y ago|0 comments
50.
Shamir's Secret Sharing Shortcomings(blog.keys.casa)
2 points by johlo 7y ago|0 comments
51.
We Learned to Stop Worrying and Read from Replicas(medium.com)
2 points by johlo 7y ago|0 comments
52.
The Enlightenment Is Dead, Long Live the Entanglement(medium.com)
4 points by johlo 7y ago|0 comments
53.
Wave Computing Closes Its MIPS Open Initiative with Immediate Effect(hackster.io)
32 points by johlo 7y ago|13 comments
54.
Schema Management CLI for MySQL(github.com)
2 points by johlo 7y ago|0 comments
55.
Chaos Engineering – Part 1(medium.com)
3 points by johlo 7y ago|0 comments
56.
With AgileX, Intel Gets a Coherent FPGA Strategy(nextplatform.com)
5 points by johlo 8y ago|0 comments
57.
Intel’s Exascale Dataflow Engine Drops X86 and Von Neumann(nextplatform.com)
4 points by johlo 8y ago|0 comments
58.
The Battle of AI Processors Begins in 2018(designnews.com)
1 points by johlo 9y ago|0 comments
59.
The OAI Announces the OpenAPI Specification 3.0.0(openapis.org)
1 points by johlo 9y ago|0 comments
60.
Chinese facial recognition firm raises mammoth $410m in funding(siliconrepublic.com)
2 points by johlo 9y ago|1 comments

More ›