microarchitect

6 ms·

1.
by microarchitect 11y ago
Something a lot of bitcoiners don't seem to realize: the security of a blockchain is entirely due to the fact that it is too expensive to attack it. If your blockchain is "secured" by a motley bunch of ragtag microcontrollers
2.
by microarchitect 11y ago
How good is the compiler? To paraphrase David Patterson, its easy to get really great IPC for code from a shitty compiler, but that doesn't mean your program will run faster.
3.
by microarchitect 11y ago
There's been a few different proposals to use functional languages to write hardware: Chisel ( https://chisel.eecs.berkeley.edu/ ) and Bluespec ( http://www.bluespec.com/ ) are two others. They haven'
4.
by microarchitect 11y ago
It's definitely colonialism and the effect of modern western media. I know this because I grew up seeing this change happen in India. Today in India everyone (obviously an unfair generalization but still) wants to conform to the white
5.
by microarchitect 11y ago
I'm not sure if I understand what you mean by accuracy. This is not a probabilistic analysis. The solver considers the space of all possible outcomes for each match and returns satisfiable if there is some set of outcomes that sati
6.
Using SMT Solvers to Analyze the Premier League Table(spramod.info)
56 points by microarchitect 11y ago|4 comments
7.
by microarchitect 11y ago
Honestly, 8/16b ints in C and C++ are just a minefield of problems. Here's a snippet from an open source 8051 simulator that I was debugging today: if( ((RAM[ACC] & 0xF0) >> 4) > 9 || GetBit(RAM
8.
by microarchitect 11y ago
I am not the OP, but I'm using Z3 in my research to help with the formal verification of hardware and firmware. My problem is as follows. I have a microcontroller which runs firmware. I want to verify various things about the hardware+
9.
by microarchitect 12y ago
This is the #1 reason why I won't stay in the US after my phd. I have no interest in being a random CEO whim away from either having to uproot my life and move back home or frantically try to land a new job all in the short period of 1
10.
by microarchitect 13y ago
You have way too much time on your hands if you are considering review requests from people you don't know.
11.
by microarchitect 13y ago
What makes a conference good isn't the IEEE label but rather the reputation of the conference itself and its corresponding ability to attract a high quality program committee. The important point here is that there isn't a shortcu
12.
by microarchitect 13y ago
The IEEE label isn't an indicator of quality and similar papers have been published in IEEE sponsored conferences. See http://diehimmelistschoen.blogspot.com/ and http://pdos.csail.mit.edu/scigen/
13.
by microarchitect 13y ago
I was in Bangalore some weeks ago and I tried the query "OK google, directions to vidyarthi bhavan." And it worked perfectly. I was amazed! The first thing that amazed me was that Google understood what I meant by vidyarthi bhavan
14.
by microarchitect 13y ago
What they are missing is that it's not performance per watt, but performance per watt per dollar. Intel may be able to build lower power/faster chips but their foundries aren't cheap, neither are the thousands of engineers In
15.
by microarchitect 13y ago
Although SAT is indeed NP-complete, modern solvers are ridiculously fast for the kinds of SAT queries that appear in scenarios like hardware model checking and verification. It's not uncommon for queries with millions of variables and
16.
by microarchitect 13y ago
In terms of applicability, SMT (satisfiability module theory) solvers basically allow you to do things which are slightly more complex than plain SAT solving. If you're looking to learn more, Leonardo has a nice introduction to SMT and
17.
by microarchitect 13y ago
Some thoughts on this issue. Some of these have been expressed by others like pg already. 1. Workers are not a commodity and not interchangeable. You can't a take a network-layer programmer who got laid-off from Cisco and ask that pers
18.
by microarchitect 13y ago
Thanks for that that those very interesting links. But I still don't think that is what is going on here. In designs which rename using the ROB, the register file holds values produced by instructions which are completed and retired, t
19.
by microarchitect 13y ago
Sorry, this explanation is almost surely incorrect. How long something is available on the bypass network is determined by how long the instruction that produces the value takes to "exit" the pipeline. I can't imagine any sce
20.
by microarchitect 13y ago
Deeper pipelines have higher clock frequencies but this comes at the cost of lower instructions per clock (IPC). Roughly speaking, asking for a shallower pipe essentially boils down to asking for a lower clock frequency. Deeper pipelines ar
21.
by microarchitect 13y ago
Overstaying on an F1 visa is quite hard because the school is required to report all changes in academic status through the SEVIS database. If you want to stay and work go through the proper legal process and get a resident visa. F1 stude
22.
by microarchitect 13y ago
This is not as easy you make it sound. First, when entering the US, the immigration officials verify whether student status is valid using the SEVIS database. Second, all changes to student status must be reported to the SEVIS database by
23.
by microarchitect 13y ago
What's this about a student visa? A student visa is a completely legal way of entering the US. PS. Post the Boston bombings the immigration officials at the port of entry are required to verify valid student status before letting stu
24.
by microarchitect 13y ago
I think your opinion is at least a decade old. Research-wise Indian institutions are moderately productive now and especially so if you count the research budgets they have to work with. There is a challenge in finding high-quality graduate
25.
by microarchitect 13y ago
transferred back to Indian universities by returnees who start academic careers? Of course, they are. I went to a top-tier school in India for my masters degree and I'm now a graduate student at a well-known private university in the US.
26.
by microarchitect 13y ago
One statistic I remember is from Brad Smith's talk at Brookings ( http://www.brookings.edu/events/2012/09/27-stem-education#re... ). He says (around the 6:30 mark) that Microsoft has over 3400 open jobs for engineers and software developers
27.
by microarchitect 13y ago
A general remark first. Your statements are full of hyperbole and it's hard to take you seriously. All I said was that your hypothesis of a slower rate of medical advancement in the short term might be acceptable if it ensures that (a) more
28.
by microarchitect 13y ago
If every country adopts that policy, which is the direction things are headed because it's the dominant strategy, the rate of medical advancement will be much lower. What's the use of medical advancement that can't help more than 10% of h
29.
by microarchitect 13y ago
That link is missing their evaluation of TRIPS, which they did in 2008 after they built the chips: http://www.cs.utexas.edu/~bmaher/pubs/asplos09.pdf My impression is that TRIPS is much too complicated to be clocked at comparable frequenc
30.
by microarchitect 13y ago
It's VERY EASY in India to make a difference in someone's life. Even if you're middle class, you can make a difference because people around you are way poorer than you. The problem is one of large scale apathy and complete indifference.

More ›