HN user
Every problem hides opportunities! I can see a future where documentation will be replaced by a plugin to an AI code service. Instead of providing users with documentation on how to use the package, devs will be training an LLM on how to assist the user in generating the interface code. An elaborate Chat GPT prompt for instance.
I am very curious about what kind of industry domains lets you have this kind of fun? Unless of course, you are in academia.
Maybe. Even when a PM is very technical in their field, they are not expected to know the nitty gritty of the broad area they tackle in a program. To come up with realistic programs and execute them successfully, a PM needs to know where are the boundaries of current knowledge, how much $$ is required to push research to transition to real tech... and sniff out bullshit being sold by research labs. Bullshitters or not, they need to be really good at sniffing bullshit!
Assuming that you mean working on cool research. You can interview and come in as a DARPA Program manager where you need to bring in a grand vision and would be in charge of revolutionizing a field(s). But what is it that you would do day to day? A DARPA PM doesn't do actual research but instead has access to the network of the best minds in research and uses them to shape a multi-million 5 yr 'program' and arrange for funding and transition paths to DoD and private industry. A PM's tenure is 5 yrs, so most PMs come in with a vision, start 2-5 programs, inherit other programs and then transition out.
You can always look at the latest programs - https://www.darpa.mil/work-with-us/opportunities
The people doing the actual research are independent research labs, universities, and small business. These are a combination of scientists and engineers publishing papers and taking the technology from papers to the field.
Would love to see the GP video, but [2] is points to an unrelated video.
This is false, even more so for most Tesla models. Cars have a distributed E/E architecture where embedded software runs on several computers (called ECUs that range from anywhere between 10 and 100+). Most newer Tesla models are ahead of the curve and have a more centralized (zonal) E/E architecture with very few number of ECUs.
In summary, the infotainment system and the drivetrain definitely speak to each other and unless a secure architecture comes along, I would not discount the possibility of unintended interactions due to bugs. In fact, most famous car hacks start from the infotainment system and make their way into the drivetrain.
Maybe I got it wrong, but the eSIM seems to be enabling a corporate VPN of sorts here.
How is this even Zero Trust. Admittedly, there is no precise definition for ZT, but Cloudflare's solution seems to run counter to the idea of perimeter-less ZT philosophy. Instead of assuming that phones can be insecure and developing appropriate crypto based mechanisms, Cloudflare is proposing to bring the phone inside a 'trusted' network. Remember, ZT does not rely on trusted network.
Solutions like this will increase confusion and fragment the already 'interpretation led' as opposed to definition led ZT landscape.
The takeaways are very true. I would go further to say that not only is the story telling and the scientific vision a very important part of the sell, the language and terminology needs to be in sync with the reviewers. Often times researchers write very technical details in the proposal that is hard to parse and backfires.
In non-blind proposals, pre-communication is the key.
This also exists in control theory as the tradeoff between performance and robustness!
A bit of air in your lungs will make you more buoyant.
Portfolio of a slow but precise fuzzer + fast imprecise fuzzer is the easiest integration. Start both together and return the one which fails first. SMT solvers are often complementary with samplers.
However, it would be very interesting to see if a closer integration of symbolic and sampling methodologies is possible.
This is what model checkers are for. They internally (might) use SAT solvers to reason over transition graphs. The general problem for model checkers is of this form:
System description: Transition system like automata or a guarded command language which induces a graph.
System Property: Stated in some logic, CTL/LTL
Output: Satisfied, or Unsatisfied with a counter example (usually a path in the graph which is false).
If your problem can fit into such a framework, have a look at model checkers: https://en.wikipedia.org/wiki/List_of_model_checking_tools
I don't think that's quite right. Have a look at Indian EB-2 . The August 2014 bulletin [2] lists the current year as 22JAN09 which has moved to 02MAY09 in the August 2019 bulletin [1]. This means that in the last 5 years, they have moved from Jan09 -> May09. Very stable!
[1]https://travel.state.gov/content/travel/en/legal/visa-law0/v...
[2]https://travel.state.gov/content/travel/en/legal/visa-law0/v...
Where did you see that? USCIS in its bulletins never releases the number of years only the year it is processing. If you extrapolate the EB-1 wait for Indians, it is closer to 9 years, but most people are in EB-2/3 which is 50yrs out.
This is definitely cool, but If every tree were to glow, there is a possibility of interfering with nocturnal habits of birds and other animals.
Ordinarily, you should not try to suppress fevers. Fevers are beneficial and in fact, body's defense mechanism [1].
[1]https://www.health.harvard.edu/diseases-and-conditions/fever...
If I may add, it goes for any procedure and medication. Unless, it is an emergency, or a clear case of immediate attention, avoiding is better. Unfortunately, most surgery (including dental) is crude and rudimentary, good for saving lives, but leaves the patient with chronic problems.
Unfortunately, the burden is on the patient to make informed decisions at the time of suffering.
As an anecdote, my friend was given a handful of painkillers just before a procedure. I repeatedly told that he were not used to painkillers and perhaps decrease the amount. They did not even consider the smaller size of the patient. Within 20 mins he suffered seizures with just painkillers. Of course, later they apologized. Just got lucky that no permanent damage was done.
3 options to drain your sinuses.
1) Eat a chili pepper. As hot as you can handle. The point is to get you perspiring and salivating. Will completely drain your sinuses in the next 5 mins.
2) Aerobic exercise or a run for 10 mins.
3) Inhaling steam.
Maybe not have carpeted rooms? They are just dust collectors.
40% of India is vegetarian. Approx. half a billion people. It is very hard to believe that they suffer from deficiencies. However, the 'vegetarian' food in the west is mostly salad and potatoes, a far cry from the variety of veggies found in tropical countries.
[1] http://www.thehindu.com/opinion/blogs/blog-datadelve/article...
Sweat itself doesn't have much of a stink. But if you let it ferment, it is unbearable. As long as you take a bath daily, change to a fresh pair of clothes daily and are not sweating all the time, BO is never really a problem.
This is not true in theory. A model checker (NOT a bounded model checker) either produces a counter-example, a proof of correctness or times-out/gives up if the theory is not decidable.
A bounded model checker on the other hand, checks the property for a given depth 'k', and hence the result is not applicable to a complete run.
In practice, it is all engineering, so anything can happen unless the model checker has been model checked.
Medically speaking, not the same. But NPR (Invisibillia) had a pretty amazing story about recovering from a coma.
https://www.npr.org/sections/health-shots/2015/01/09/3760841...
I understand what you are saying and I agree with it too. What you are worried about, is what happens in the short term. But, in the long term, as the technology matures, this is what should be happening. It will become an easy to use black-box which works for almost 99.99% of the cases and gracefully handles the remaining cases. You will no longer need PhDs to use the black-box, only to develop them. For e.g., look at numerical analyses toolboxes, like automatic integrator. Even if you do not understand the underlying system of differential equations, the libraries just work or throw a nice legible error. They encapsulate a ton of ugliness inside, but that is all right as long as the solutions are predictable.
This is very surprising, as I often end up constantly rewinding and re-listening. Most of the time my mind wanders off to contemplate the repercussions of what I am listening to and sometimes I just want to take time to process. Is this normal or am I too slow? Are people binge listening to really lightweight podcasts or is it something else!
>3. PhD programs are often used an immigration tool rather than as preparation for academia. Many PhD students I worked with were getting PhDs so that they could emigrate from India/Pakistan/China to the US and get a well-paying job. I'm sure a similar phenomenon occurs in the UK.
I don't think this is true at all. Why do PhD (4-6yrs+), when a MS is enough to find a job and get an H1-B/GC ??
Anecdata, but I always ask if I really need them, and 100% of the cases the doc says: we can probably wait a few days. In my life of 30years, never had to take antibiotics...not even once! My case might be special, but at least shows that most of the time (in our times at least) we can easily do without them.
Are you serious? https://en.wikipedia.org/wiki/Mathematical_optimization
Just using gradient based descent can not achieve much with non-convex functions.
Looks good, but it is just another NLP solver in a sea of mature and tested solver implementations. It will be interesting to get the answers for the below questions:
- What is the algorithm being used?
- How does it compare with other mature optimization engines: e.g. IPOPT, Knitro SNOPT, NPSOL, etc,...
- Has the results been published somewhere? Or does there exist a compilation of results on standard benchmarks?