jalcazar

6 ms·

1.
by jalcazar 11d ago
No, I want them to take time off from work to read the blog. Just as they do when going to the DMV, bank, doctor consultation,etc.
2.
Agents Thinking Fast and Slow: A Talker-Reasoner Architecture(arxiv.org)
3 points by jalcazar 4mo ago|0 comments
3.
by jalcazar 4mo ago
I tried it the very first day it was available to Google employees, and it was not usable. Then a few weeks back, I gave it another try and I was pleasantly surprised. It was insanely good! A colleague and I have been on-and-off trying to b
4.
Machine-Assisted Proof [pdf](ams.org)
199 points by jalcazar 2y ago|96 comments
5.
by jalcazar 2y ago
- Articles from highscalability.com - Videos and presentations from USENIX. Especially OSDI and NSDI - Meta's Production Engineering blog posts - Books in "The Architecture of Open Source Applications" series
6.
by jalcazar 2y ago
Looks like something I want to use. Would this help me preparing to [aspirationally] compete in the FMWC (Financial Modeling World Cup) ?
7.
by jalcazar 2y ago
> Low Latency Commit: Avoid the high write latency of direct log writes to S3 by using Raft replication. I'm wondering how does Raft replication avoids high write latency
8.
by jalcazar 2y ago
What are use cases for handling the authorization at the JVM level? As opposed to do it at the OS level or platform level e.g., SELinux, AWS security policy
9.
by jalcazar 2y ago
Gemini generating SQL queries from natural language could be an example of AI making DBs more usable. There is more people speaking natural language than SQL https://cloud.google.com/bigquery/docs/write-sql-gemini#
10.
Mastering Concurrent Computing Through Sequential Thinking(cacm.acm.org)
2 points by jalcazar 3y ago|0 comments
11.
by jalcazar 3y ago
These TinyML courses on edx look good https://www.edx.org/professional-certificate/harvardx-tiny-m...
12.
by jalcazar 3y ago
Which shows how bad are other comments, e.g., the one saying: "The solution is simple: keep the [cats] indoors"
13.
by jalcazar 4y ago
iotop ?
14.
by jalcazar 4y ago
Manuel Alvarez Bravo
15.
by jalcazar 4y ago
A Tour of Applied Program Analysis and Domain-Specific Automated Testing
16.
Fantastic bugs and how to find them(cmu-fantastic-bugs.github.io)
1 points by jalcazar 4y ago|1 comments
17.
by jalcazar 4y ago
It made me realize there are ways for capitalism to be “ethical”, that not all banks are trying to make a profit at all costs and that there are investors that track and optimize for other metrics besides monetary returns, e. g., community
18.
by jalcazar 4y ago
“Just Money: Banking as if Society Mattered” Available on edX and MIT OpenCourseWare Putting money to a good use, caring about society and the environment.
19.
by jalcazar 4y ago
not really hard just harder than Java
20.
by jalcazar 4y ago
With GraalVM it is possible to build native binaries, so no need for JVM to run programs written in Java
21.
by jalcazar 4y ago
Not broken according to the response to that paper: the conclusions drawn by this paper with regard to CryptDB's guarantees for medical applications are incorrect: had the guidelines been followed, none of the claimed attacks would ha
22.
by jalcazar 4y ago
Related video explaining encryption schemes to make encrypted data in a DB queryable: CryptDB: Processing Queries on an Encrypted Database https://youtu.be/xsaXMUelOEA?t=807
23.
Carlos Ghosn Calls Nissan ‘Thugs,’ Says They’ll 'Pay a High Price’(thedrive.com)
5 points by jalcazar 5y ago|1 comments
24.
by jalcazar 5y ago
I saw this a few days ago in Matt Levine's newsletter.
25.
Amazon partnered with China propaganda arm to win Beijing's favor(japantimes.co.jp)
6 points by jalcazar 5y ago|0 comments
26.
by jalcazar 5y ago
"A first course in differential equations" by Dennis G. Zill "Introduction to Algorithms" by Cormen "Distributed Computing Through Combinatorial Topology" by Kozlov, Herlihy & Rajsbaum "Practical UNIX
27.
George Doriot and the History of Venture Capital (2009)(ecorner.stanford.edu)
1 points by jalcazar 5y ago|0 comments
28.
How Istanbul became the Silicon Valley of the mobile gaming industry(restofworld.org)
1 points by jalcazar 5y ago|0 comments
29.
by jalcazar 5y ago
Yes, seems like I got it wrong. Thank you for checking
30.
by jalcazar 5y ago
I think they are specifically looking for the following ath pci[1], cardbus[1] bwfm pci, sdmmc[1], usb rtw pci, cardbus[1] run usb[1] wi pci, pcmcia[1] https://wiki.netbsd.org/Driver_state_matrix/

More ›