amit-bansil

7 ms·

1.
by amit-bansil 8mo ago
IntusCare | Tech Lead | REMOTE (US) | Full-Time | $160K–$190K + Bonus + Equity | https://intuscare.com Intus is building the OS for PACE, the Program for all Inclusive Care for the Elderly [1]. We are seeking a lead to run a tea
2.
Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015)(ericpony.github.io)
155 points by amit-bansil 10mo ago|14 comments
3.
by amit-bansil 5y ago
SEEKING FREELANCER(S) - Boston - Remote OK I'm looking for javascript developers to join a small team building a product recommendation engine for a fortune 500. Stack: React / Typescript / Node / Postgres Intellectual c
4.
by amit-bansil 6y ago
SEEKING FREELANCER | Remote | Boston | Javascript Programmer I'm a web developer looking for some help with a CRUD project. Nice to Have: Typescript, Postgres, GraphQL, React Need to be available for 3-5 hrs of meetings/week some
5.
by amit-bansil 6y ago
I'm not a Tesla owner, so I have no idea what the context for this UI is, but toggles are hard. I think a good rule is always follow the platform convention and if there isn't one be consistent. NNGroup just did a post on toggles
6.
by amit-bansil 7y ago
SEEKING FREELANCER | Boston, MA | Remote or Local I'm looking for 1 or 2 people to do some quick subcontract work on a CRUD app. Tasks: - Creating a script to sync an Airtable.com base to a SQL database. Distributed systems experience
7.
by amit-bansil 7y ago
SEEKING FREELANCER. Boston. Local Only. I'm a software consultant looking for some help on some of my projects. One role is for a python data engineer to un-mangle megabyte to gigabyte sized tables. The other is for a JS/React dev
8.
by amit-bansil 8y ago
I taught myself to program. Badly. I spend my time doing grunt work. I used to think computer science research was the domain of theorists celebrating toy problems, but, if you look at the 8 queens solution at the bottom of the article, it
9.
Practical Examples of Logical Systems Solved by Z3PY(ericpony.github.io)
2 points by amit-bansil 8y ago|1 comments
10.
by amit-bansil 8y ago
Names are hard. Maybe "Google Bundle"?
11.
by amit-bansil 11y ago
Yeah, managing memory with malloc and free directly was a nightmare. Back when I worked with Java, however, GC still suffered from unpredictable performance as well as a requirement to have much larger heaps. Are these now mostly solved pro
12.
by amit-bansil 11y ago
Fantastic examples! I would also add möbius strips, toroidal spaces, and of course, the venerated circle. Sorry, my thoughts above are poorly worded. Perhaps what I am trying to say is that cycles should be created with intentionality, inst
13.
by amit-bansil 11y ago
I cannot imagine creating any sort of complex system that does not, at some conceptual level, contain cycles. What I am suggesting is that the author of a complex system should, whenever possible, untangle as many of these cycles as possibl
14.
by amit-bansil 11y ago
That is wonderfully clear. I haven't touched much Java post nio but could the app just use something like java.nio.ByteBuffer to model the raw memory at the bottom of the graph, then have EarlyStageFrames muck with those using static n
15.
by amit-bansil 11y ago
I've done a fair bit of work interfacing memory managed languages like Java & Python with "unsafe" native code and found that this problem actually crops up often. The first issue is that finalizers should NEVER be relied