Lot quotes

Hans_Hüttel

Program Synthesis

“The problem of generating correct program code from a specification is well known in computer science and in fact it is a central one. It is the problem of program synthesis... A lot is already known about the synthesis problem in its various guises and in particular we know it is hard, where ‘hard’ means computationally hard.”

• Source: Written by Hans Hüttel in the journal article entitled “On Program Synthesis and Large Language Models”, in Communications of the ACM, volume 68, number 1, 2025-01. DOI:10.1145/3680410.

• See Also:
  • Hans_Hüttel_quotes
  • Hans_Hüttel_quotes/Program_Synthesis

---

Keywords: Problem_quotes Generate_quotes Correct_quotes Program_quotes Code_quotes Specification_quotes Know_quotes Computer_quotes Science_quotes Fact_quotes Central_quotes Synthesis_quotes Lot_quotes Already_quotes Various_quotes Guise_quotes Hard_quotes Computation_quotes

Steve_Jobs

Show_Them

“We have a lot of customers, and we have a lot of research into our installed base. We also watch industry trends pretty carefully. But in the end, for something this complicated, it's really hard to design products by focus groups. A lot of times, people don't know what they want until you show it to them. That's why a lot of people at Apple get paid a lot of money, because they're supposed to be on top of these things.”

• Source: Steve Jobs as quoted in an interview entitled “Steve Jobs: There's Sanity Returning” published in BusinessWeek, 1998-05-25. Interviewed by Ira Sager, Peter Burrows, and Andy Reinhardt. Online at https://web.archive.org/web/19991110003323/http://www.businessweek.com/1998/21/b3579165.htm retrieved 2024-05-28.

• See Also:
  • Steve_Jobs_quotes
  • Steve_Jobs_quotes/Show_Them

---

Keywords: Customer_quotes Research_quotes Base_quotes Watch_quotes Industry_quotes Trend_quotes Complicated_quotes Hard_quotes Design_quotes Product_quotes Focus_quotes Group_quotes People_quotes Known_quotes Want_quotes Show_quotes Paid_quotes Lot_quotes Money_quotes Supposed_quotes Top_quotes

Baruch_Spinoza

Good and Evil

“Experience day by day protested and showed by infinite examples, that good and evil fortunes fall to the lot of pious and impious alike; still they would not abandon their inveterate prejudice, for it was more easy for them to class such contradictions among other unknown things of whose use they were ignorant, and thus to retain their actual and innate condition of ignorance, than to destroy the whole fabric of their reasoning and start afresh. They therefore laid down as an axiom, that God's judgments far transcend human understanding. Such a doctrine might well have sufficed to conceal the truth from the human race for all eternity, if mathematics had not furnished another standard of verity in considering solely the essence and properties of figures without regard to their final causes.”

• Source: A book. Entitled Ethics. Also entitled Ethica. Written by Baruch Spinoza. Originally published 1677. Translated from Latin by R. H. M. Elwes. Part I, Appendix.

• See Also:
  • Baruch_Spinoza_quotes
  • Baruch_Spinoza_quotes/Good_and_Evil

---

Keywords: Ethics_quotes Deity_quotes Religion_quotes Prejudice_quotes Ignorance_quotes Reason_quotes Epistemology_quotes Mathematics_quotes Justice_quotes Causality_quotes Experience_quotes Day_quotes Protest_quotes Show_quotes Infinite_quotes Good_quotes Evil_quotes Fortune_quotes Fall_quotes Lot_quotes Pious_quotes Impious_quotes Abandon_quotes Inveterate_quotes Easy_quotes Contradiction_quotes Unknown_quotes Retain_quotes Actual_quotes Innate_quotes Condition_quotes Destroy_quotes Fabric_quotes Start_quotes Afresh_quotes Laid_quotes Axiom_quotes God_quotes Judgment_quotes Transcend_quotes Human_quotes Understand_quotes Doctrine_quotes Suffice_quotes Conceal_quotes Truth_quotes Race_quotes Eternity_quotes Furnish_quotes Standard_quotes Verity_quotes Consider_quotes Essence_quotes Property_quotes Figure_quotes Regard_quotes Final_quotes