News for hackers. Stuff that matters.

dons

dons on Hacker News

Re:Glean – System for collecting, deriving and querying facts about so... on Tuesday August 31, 2021 @10:10AM (#28368298)
I think the point in the space Glean hits well is efficiency/latency (enough to power real time editing, like in IDE autocomplete or navigation), while having a schema and query language generic enough to do multiple languages and code-like things. You can accurately query JavaScript or Rust or PHP or Python or C++ with a common interface, which is a bit nuts :D
Re:Glean – System for collecting, deriving and querying facts about so... on Tuesday August 31, 2021 @07:39AM (#28366596)
Most clients hit the Glean server via the network (thrift/JSON) and then mostly via language bindings to the Glean query language, Angle. The shell is more for debugging/exploration.

Imagine an IDE plugin that queries Glean over the network for symbol information about the current file, then shows that on hover. That sort of thing.

Re:Glean – System for collecting, deriving and querying facts about so... on Tuesday August 31, 2021 @07:28AM (#28366500)
A bit of both I think.
Re:Glean – System for collecting, deriving and querying facts about so... on Tuesday August 31, 2021 @07:18AM (#28366415)
We use this to power things like find-references or jump-to-def, "symbol search" and autocomplete, or more complicated code queries and analysis (even across languages). Imagine rich LSPs without a local checkout, web-based code queries, or seeding fuzzers and static analyzers with entry points in code.

Our focus has been on very large scale, multi-language code indexing, and then low latency (e.g. hundreds of micros) query times, to drive highly interactive developer workflows.

Re:Programming the Z3 SMT solver on Wednesday February 06, 2019 @12:07AM (#19092858)
Solving NP hard problems efficiently.
Re:Pyre: Fast Type Checking for Python on Friday May 11, 2018 @01:26PM (#17049189)
And "eradicate" for Java... http://fbinfer.com/docs/eradicate.html

we love types. They help us ship stuff faster.

Re:Haskell Typeclasses vs. C++ Classes on Tuesday October 17, 2017 @11:08AM (#15491542)
Lumping state with some functions that implicitly have R/W access to that state is not possible in Haskell

s/not possible/possible, but highly discouraged/

Re:Ask HN: Who is hiring? (August 2017) on Tuesday August 01, 2017 @11:42AM (#14901909)
Facebook | C++/OCaml static analysis | | London, UK | Onsite | Full time

Work extending the open source Infer static analysis suite support for C++. We use Clang for the front-end and have an open role to work on this in general. The code is all OCaml. Expertise in C++ is highly desirable. The requirements are roughtly C++ AND (OCaml OR Haskell OR Static Analysis OR Formal Methods).

The work will be mostly open source.

https://www.facebook.com/careers/jobs/a0I1200000LT8aAEAT/

Re:Ask HN: Who is hiring? (August 2016) on Tuesday August 02, 2016 @04:56AM (#12208596)
Standard Chartered | London and Singapore | Full-time and Contracting

10+ open positions for Haskell developers in the Strats team at Standard Chartered. 1 open position in the developer efficiency team working on our build system and tooling.

https://donsbot.wordpress.com/2016/06/03/multiple-haskell-de...

Re:Ask HN: Who is hiring? (June 2016) on Friday June 03, 2016 @09:56AM (#11830309)
Standard Chartered | London and Singapore | Full-time and Contracting

10+ open positions for Haskell developers in the Strats team at Standard Chartered. 2 open positions in the developer efficiency team working on our build system and tooling.

https://donsbot.wordpress.com/2016/06/03/multiple-haskell-de...

Re:Related: Pure Ruby Relational Algebra Engine on Tuesday May 24, 2016 @02:37AM (#11759388)
We have a typed version now - it's awesome
Re:Ask HN: Who is hiring? (March 2016) on Tuesday March 01, 2016 @10:31AM (#11203206)
Standard Chartered | ONSITE | Software Engineers (full time)

https://donsbot.wordpress.com/2016/02/25/haskell-developer-r...

7+ roles for Haskell developers in London and Singapore working on a large Haskell code base for trading and risk management. Join a growing team.

Re:The category design pattern on Sunday November 08, 2015 @09:13AM (#10528513)
Yes, the tech is eating the rest of the business. You need less people after you've turned a lot of the business into an API.

I've got four open positions at the moment.

Re:Haskell for Mac on Tuesday August 25, 2015 @06:32AM (#10115490)
How much is your time worth?
Re:How it feels to join an all-Haskell startup on Friday June 12, 2015 @04:47AM (#9704696)
Habitually rewriting things in applicative and/or pointfree is a sure sign of a junior Haskell dev. One who has never had to maintain someone else's code.

There are cases where it helps (e.g. structured parsing), but all too often this is simply obfuscation. Even if motivation is good -- learning new structures -- you still have to focus on cost/benefit of each change in structure.

Keep it simple, folks.

Re:Frag: A Quake3 engine in Haskell on Thursday June 11, 2015 @03:40AM (#9698222)
git was first released in April 2005. We (Haskell community) were using dvcs through darcs for about 2 years prior to that. dvcs made a lot of sense to the Haskell open source world back then, as we didn't have servers, so central repos (like CVS or SVN) were out of the question. It had to be p2p to get off the ground.
Re:Cloud Haskell on Saturday June 06, 2015 @04:34AM (#9670156)
Yeah, it could well be that you just care about latency hiding on e.g. network services. For that raw compute and memory is much less important than having a reasonable thread scheduler and cheap threads.
Re:Cloud Haskell on Friday June 05, 2015 @05:53AM (#9664674)
It was fun creating 3M threads on my laptop back in the day. http://www.reddit.com/r/programming/comments/a4n7s/stackless... :) memories!
Re:Cloud Haskell on Friday June 05, 2015 @04:27AM (#9664460)
Faster and less memory intensive[1] and has a type system.

[1]: http://benchmarksgame.alioth.debian.org/u64q/compare.php?lan...

Re:Domain-Specific Languages vs. Notation on Tuesday May 19, 2015 @10:35AM (#9570321)
> It is very hard to construct a DSL and once established it is cast in stone

Not if you're using embedded DSLs, which are basically rich APIs supporting variables and control structures. They can be as fluid as simpler APIs, yet have strictly greater expressive power.

Re:In Mathematics, Mistakes Aren’t What They Used to Be on Saturday May 09, 2015 @11:07AM (#9516562)
Actually computers can solve many instances of the halting problem. http://en.wikipedia.org/wiki/Microsoft_Terminator
Re:CλaSH – From Haskell to Hardware on Saturday May 09, 2015 @11:04AM (#9516555)
Maybe look at cryptol or kansas-lava as more practically-focused alternatives?
Re:An Intuitive Use-Case for Monadic Bind and Kleisli Composition on Saturday May 02, 2015 @11:37AM (#9477428)
> First let us switch to Haskell for pseudocode as I don’t want to show you the C++ that is required for this.

Hehe, but that's actual code.

> we may go back to our C++14 code base and implement the ideas there. I’m not going to show you how this can be done here, as it requires some more boilerplate code to make the compiler happy – as usual.

People are going to want to see the code, otherwise, what's the point?

Re:Becoming Productive in Haskell on Friday April 24, 2015 @06:19AM (#9432319)
Actually wouldn't be a fork. It's just an alternative Prelude library. People do this occasionally. The result tends to be idiosyncratic.

Older »