burakemir

9 ms·

61.
Faithful Logical Reasoning via Symbolic Chain-of-Thought(arxiv.org)
2 points by burakemir 2y ago|0 comments
62.
by burakemir 2y ago
I like this way of saying it. I don't think anything here is well studied at all. It is not like we are all fishing in the dark but the organizational structures that determine the conditions in which software development and operation
63.
by burakemir 2y ago
Curious what examples do you see there. I don't doubt the experience. When I draw analogies of my past experiences to present situations, that does not mean that my past experiences are the best way to convince people of what is the ri
64.
by burakemir 2y ago
The question is not whether emotions can cause people to be irrational. They can! Not every case of irrational behavior is caused by emotions though. And when we are making an argument that people are acting against their own interests, it
65.
by burakemir 2y ago
Maybe this is also about the desire to create, which of course is also common in engineering. It does not contradict my argument that the cost of maintenance and operations is being ignored eg when one creates things all the time and never
66.
by burakemir 2y ago
Sure, but if we argue that these values and principles should be applicable, then it should also be possible to make an argument why and not blame the irrationality on emotions. It seems more likely that bounded rationality is at play her
67.
by burakemir 2y ago
While the text touches on many points I would immediately sign, the paragraph starting with "Because engineers are human beings who often form an emotional attachment to their creations, ..." is really out of place. The cause of c
68.
by burakemir 2y ago
Thanks for the write-up. Neil Jones' (free) book about partial evaluation deserves a mention here, since it explains how/why it works in some detail. Query languages are a very cool application of this stuff. I was planning to use
69.
by burakemir 2y ago
I had done some "research" to find out the meanings of these terms in the past, so it is really nice to see explanations for all of them listed on one page. My superficial understanding of the space at large is that there are good
70.
by burakemir 3y ago
It is nice to see CBPV on HN. It is a calculus that deal with a fundamental choice in PL of how to approach evaluation. For a different take, here is the first part of a mini series of posts on CBPV that aims at working out the connection t
71.
by burakemir 3y ago
Great paper, thanks for sharing! The connection between programming language technology and formal logic, like here for sequent calculus, is one of the most fascinating things. For anyone who struggles with the references to \lambda-\mu-\ti
72.
by burakemir 3y ago
If you are interested, I wrote a thesis in 2007 on "object-oriented pattern matching" available at EPFL which "formalizes" pattern matching in Scala. It did not get into path-dependent types and does not have mechanized
73.
by burakemir 3y ago
This is a great article describing where web assembly came from, and what promise it holds. It builds up to the pithy quote by Docker founder Solomon Hykes: "If WASM+WASI existed in 2008, we wouldn't have needed to create Docker.
74.
Burak's Mangle Talk for RelationalAI(burakemir.ch)
2 points by burakemir 3y ago|0 comments
75.
by burakemir 3y ago
You mean datalog or Mangle? Mangle adds a bunch of things that make various things easy to model in the sense that you have entities and connections and data and query that. Maybe one could call this a "knowledge hypergraph". Data
76.
by burakemir 3y ago
Mangle uses seminaive evaluation which is a standard, not very fancy but incremental way of computing fixpoint. I believe Datafun uses the same but there it requires more thinking since it interacts with other language features. I need to r
77.
by burakemir 3y ago
I think it is helpful to see datalog as a formal, conceptual kernel (or "toy programming language" in the famous Alice Book "Foundations of Databases"). When we look at the functional programming languages, we do not usu
78.
by burakemir 3y ago
Logic programming offers a good foundation for anything that people call "rule engines." Within logic programming, there is some variation on the degree of declarativeness. Datalog is arguably the minimal core logic programming, s
79.
by burakemir 3y ago
I like the part that describes a high level angle of "various ways to achieve security given software development practices." It makes sense to me that PLs have a role to play and it would be nice if the type system were able to t
80.
Current architectural best practices for LLM applications(mattboegner.com)
141 points by burakemir 3y ago|24 comments
81.
by burakemir 3y ago
Maybe the view that APIs are little languages can be seen as the view of the postmodern PL community. Since object orientation brought the possibility of adding little languages to the masses and a few decades later value objects and lambda
82.
by burakemir 3y ago
In the end, SQL is what people are familiar with (for better or worse) and what is entrenched in some form in most database, and new versions of the standard are unlikely to change anything fundamental. I don't believe that adding prop
83.
by burakemir 4y ago
"... as a joke."
84.
Rust Security Advisory Database(rustsec.org)
1 points by burakemir 4y ago|0 comments
85.
Open-source high-performance RISC-V processor(github.com)
262 points by burakemir 4y ago|109 comments
86.
by burakemir 4y ago
There are two different ways to go about this question: - asking about the scope of a programming language is asking about the intended programming situations one wants to cover. - what is a good balance between convenience (sytactic sugar,
87.
by burakemir 4y ago
I also think that the talk can be seen as suggesting that open core is the preferable way to make a living from OSS - as long as openness is preserved (service implementations can be exchanged, client can pull out their data etc). My interp
88.
by burakemir 4y ago
Attempt at a summary (a very good talk!): 1. Open source produces immense value and ironically locks itself out of capturing the value. In the last 20 years, open source has become the oxygen of software development. Cloud providers do what
89.
by burakemir 4y ago
This covers a lot of ground! The author is interested in concurrency, in particular coroutines. They follow a standard approach of PL research to extend a lambda calculus, discussing typing and compilation. This will seem academic but there
90.
by burakemir 4y ago
Agree but also want to point out that people usually have a narrow view on "logic programming". Datalog can also be understood with out the top-down evaluation / resolution that is typically associated with prolog, which is w

More ›