brzozowski

6 ms·

1.
by brzozowski 2y ago
> What I would like is a CPU with a highly parallel array of "worker cores" all addressing the same memory... I too am very interested in this model. The Linux kernel supports up to 4,096 cores [1] on a single machine. In pract
2.
by brzozowski 2y ago
Wouldn't every Turing complete cellular automaton have this property? What would be an example of a nontrivial (i.e., sufficiently expressive) CA that is "predictable"?
3.
by brzozowski 5y ago
I also experienced an irregular heartbeat for several months after receiving the Moderna vaccine (June, 2021) up to this month (December, 2021). It seems to be getting better, but is accompanied by a mild pain, tightness in the chest and sh
4.
Continuation passing style, defunctionalization and associativity [video](youtube.com)
1 points by brzozowski 5y ago|0 comments
5.
Picard algorithm achieves State-of-the-Art performance for Text-to-SQL(elementai.com)
7 points by brzozowski 5y ago|2 comments
6.
by brzozowski 5y ago
There are many bizarre visualizations that are solely cosmetic and serve no purpose other than to attract the eyes. I've noticed the same pattern with many other videos churned out by popular science channels. The visual editing is del
7.
A Candidate Geometrical Formalism for the Foundations of Mathematics and Physics(wolframphysics.org)
2 points by brzozowski 5y ago|0 comments
8.
KotlinDL 0.2: Idiomatic Kotlin DSL for Deep Learning(blog.jetbrains.com)
33 points by brzozowski 5y ago|6 comments
9.
by brzozowski 6y ago
The author frames this as a contest between two architectures: either spend a lot of effort building custom developer tools, or repurpose the compiler as a server for multiple clients. Both approaches have their tradeoffs: the first, as the
10.
A Dishonest, Indifferent, and Toxic Culture(huixiangvoice.medium.com)
459 points by brzozowski 6y ago|187 comments
11.
by brzozowski 6y ago
And when your surpassing creations find the answers you asked for, you can’t understand their analysis and you can’t verify their answers. You have to take their word on faith—Or you use information theory to flatten it for you, to squash t
12.
An Introduction to Session Types(wen.works)
1 points by brzozowski 6y ago|0 comments
13.
Egg: E-Graphs Good(egraphs-good.github.io)
2 points by brzozowski 6y ago|0 comments
14.
JetBrains Compose(jetbrains.com)
174 points by brzozowski 6y ago|52 comments
15.
by brzozowski 6y ago
Space filling curves have some super important applications for indexing and information retrieval. I recently stumbled on an fascinating library called Uzaygezen for multidimensional Hilbert space filling curves. Extremely high quality cod
16.
Implicit Gradient Regularization(arxiv.org)
2 points by brzozowski 6y ago|0 comments
17.
Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Model(arxiv.org)
5 points by brzozowski 6y ago|0 comments
18.
Announcing Tribuo, a Java Machine Learning Library(blogs.oracle.com)
4 points by brzozowski 6y ago|0 comments
19.
by brzozowski 6y ago
Anyone with a software engineering background interested probabilistic model checking and learning automata should check out the work from ICSAS led by Prof. Lijun Zhang, Yong Li and Andrea Turrini. In particular their work on ePMC and ROLL
20.
by brzozowski 6y ago
> The fact that there is no actual methodology published for how this index of popularity is actually generated makes me highly sceptical of the whole idea. As soon as a metric becomes a target...
21.
by brzozowski 6y ago
I recently learned there are a few groups at ETZH working on traffic simulation and fleet planning in transportation networks. Are you affiliated with the Autonomous Mobility on Demand / IDSC folks? https://www.amodeus.scien
22.
Graph Representations for Higher-Order Logic and Theorem Proving (2019)(arxiv.org)
104 points by brzozowski 6y ago|15 comments
23.
Effective testing for machine learning systems(jeremyjordan.me)
95 points by brzozowski 6y ago|2 comments
24.
Noam Chomsky: 'There's never been a moment in human history' like this one(thehill.com)
33 points by brzozowski 6y ago|30 comments
25.
by brzozowski 6y ago
The paper has some nice illustrations in case anyone is interested in reading about it in more detail: https://sci-hub.tw/https://doi.org/10.1093/zoolinnean/zlaa06...
26.
by brzozowski 6y ago
> Computers will never fully automate mathematical reasoning, because mathematical reasoning cannot be fully automated. One possible reason why mathematics cannot be automated is because some important piece of contemporary mathematics i
27.
Compositional Generalization via Neural-Symbolic Stack Machines(arxiv.org)
2 points by brzozowski 6y ago|0 comments
28.
by brzozowski 6y ago
As a grad student who has been using Kotlin in research for the last few years, it can also be a great language for data science. Kotlin is one of the few statically typed languages with scripting and Jupyter notebook support, and offers so
29.
by brzozowski 6y ago
Reminds me of the watching-eye effect: https://en.wikipedia.org/wiki/Watching-eye_effect
30.
Future of Earth(en.wikipedia.org)
3 points by brzozowski 6y ago|0 comments

More ›