15:[[45869146,{"by":"david927","descendants":1370,"id":45869146,"kids":[45870446,45870122,45870292,45869625,45874084,45873586,45869911,45870938,45871841,45869403,45871289,45873149,45870635,45870791,45869327,45876310,45886256,45876266,45870313,45869393,45873226,45870349,45870772,45877505,45871864,45873099,45872713,45875877,45871591,45884580,45870817,45872528,45872513,45879351,45872656,45872582,45869958,45870010,45871238,45870004,45879544,45875790,45875237,45870014,45872481,45873479,45874825,45876497,45869703,45873815,45885018,45874179,45873795,45870460,45872049,45875498,45870148,45872744,45870593,45869452,45875111,45871275,45874466,45869934,45871436,45875667,45882033,45869803,45876893,45869528,45877005,45876565,45873652,45870201,45870654,45872600,45870969,45872157,45870575,45873241,45875317,45869424,45873556,45869992,45874368,45870620,45873366,45877783,45872132,45870214,45872791,45871579,45876291,45876228,45946068,45870378,45869577,45872091,45873377,45869310,45871935,45872660,45890179,45869338,45878489,45870106,45872977,45869492,45915103,45876603,45869388,45874042,45884924,45873821,45870392,45877320,45872491,45869957,45869386,45874227,45873542,45870155,45869866,45870617,45873705,45875986,45872704,45875608,45876000,45872226,45870561,45869946,45886464,45869628,45885570,45886146,45874396,45870110,45874779,45869385,45870832,45869631,45871703,45871671,45869617,45873088,45876705,45874409,45874609,45869505,45870305,45875885,45871349,45900311,45870627,45869841,45871402,45875356,45879400,45869778,45877976,45876840,45873288,45869870,45871828,45873091,45899530,45873009,45940307,45869495,45874234,45869814,45874916,45870147,45870553,45873568,45870143,45876501,45885955,45887590,45876639,45870601,45871124,45871004,45875091,45870113,45876889,45877986,45870973,45873001,45873416,45874173,45877453,45873951,45873192,45873164,45874328,45878287,45870135,45878195,45873903,45871518,45886239,45872679,45869450,45873318,45871197,45870002,45869787,45873184,45870170,45876160,45869516,45874678,45873075,45869583,45873304,45872282,45873107,45873211,45872878,45869960,45874147,45873276,45870047,45871629,45869905,45871486,45870421,45869390,45886113,45870996,45875144,45884586,45871040,45875646,45869353,45887480,45870387,45875731,45871981,45869399,45881917,45875557,45875809,45924463,45869701,45876170,45870590,45875799,45872284,45869690,45901704,45871439,45878089,45871317,45871368,45870896,45869490,45880511,45869381,45871771,45869437,45876043,45902172,45919813,45874061,45870597,45869453,45925893,45879813,45876682,45875109,45874131,45876838,45870120,45875310,45869398,45874501,45870036,45876784,45870565,45869982,45895590,45872601,45875307,45873454,45887970,45885037,45875795,45871085,45870151,45889855,45876657,45872980,45872446,45874608,45877246,45875734,45870630,45875434,45869392,45874906,45871127,45871738,45872310,45871164,45875097,45873322,45873663,45871852,45875733,45895170,45879806,45897462,45886226,45869373,45939104,45877667,45869709,45869527,45875332,45870880,45872478,45874407,45872838,45870563,45872828,45885168,45872425,45872352,45873004,45870437,45930010,45873161,45875048,45885122,45876518,45880877,45875751,45899151,45871825,45871824,45915456,45871298,45879423,45915084,45880102,45870707,45873610,45873963,45869507,45876796,45871075,45873546,45877128,45869931,45872022,45878205,45877795,45869553,45876257,45872341,45872296,45878634,45869932,45869750,45872627,45869518,45876747,45869524,45898521,45878810,45874198,45894456,45869890,45877216,45877878,45870666,45873717,45874846,45925145,45873583,45884575,45869560,45878239,45869551,45887575,45872512,45900447,45870024,45885820,45875443,45870206,45872313,45869380,45876599,45872705,45872564,45872488,45897766,45874947,45870449,45870481,45870257,45869717,45869791,45871014,45876578,45874003,45875364,45880394,45877001,45876215,45884711,45869377,45870972,45932355,45871008,45872340,45876330,45876632,45873497,45872176,45870828,45878857,45869869,45876556,45870117,45876322,45873381,45875767,45874267,45905396,45870689,45873253,45886096,45869768,45874154,45869949,45886815,45874256,45869847,45869582,45873783,45884683,45883846,45869572,45870537,45888425,45871582,45871491,45873097,45872097,45872908,45952652,45871704,45869700,45872204,45874031,45869831,45870608,45870317,45875980,45886058,45875012,45872739,45872953,45927089,45886809,45869339,45884629,45874214,45873382,45935386,45869724,45884841,45869596,45869407,45871831,45874913,45869626,45871908,45872449,45870754,45870665,45870164,45870332,45870868,45873064,45870092,45870489,45874039,45870463,45870447,45870053,45869708,45873864,45870161,45874282,45886398,45886556,45893126,45873436,45875653,45880479,45873307,45873177,45872064,45873101,45869837,45969852,45877091,45917401,45878137,45870065,45874494,45874979,45884787,45869365,45874301,45878845,45869997,45873112,45875699,45877370,45870226,45892875,45944052,45901667,45875177,45875117,45877862,45880175,45873410,45871343,45873619,45871447,45874601,45872911,45869917,45900763,45870784,45873614,45869335,45870898,45873607,45870029,45885205,45876755,45876216,45884619,45874950,45922297,45870423,45876522,45870386,45871650,45873535,45876017,45872277,45875975,45870535,45872136,45872023,45875884,45883740,45870340,45871101,45924905,45871918,45869591,45872556,45869910,45889639,45871264,45873594,45871015,45886494,45872967,45873674,45871765,45870041,45875849,45870646,45873213,45873266,45880460,45873575,45873033,45872058,45884812,45870069,45873264,45873335,45870997,45874248,45871523,45874028,45875277,45871611,45873248,45870934,45870621,45870395,45887753,45869502,45877954,45874666,45870955,45896106,45873362,45870655,45874516,45879099,45869811,45876662,45872305,45872542,45872003,45875179,45870142,45887276,45879911,45887875,45870600,45870709,45869639,45869644,45876967,45876057,45888054,45870396,45873572,45869838,45892333,45871767,45871967,45869504,45897442,45873954,45874560,45876856,45871963,45870857,45873495,45890708,45879839,45876474,45870904,45887188,45898671,45879517,45872944,45874512,45884382,45873391,45869743,45869298,45894010,45870882,45873557,45869356,45869951,45870203,45870045,45869520,45873547,45876968,45871213,45873973,45872965,45885866,45895347,45894565,45880126,45871013,45879726,45900416,45870583,45872800,45869663,45873452,45873117,45869845,45873115,45876509,45874362,45874268,45874264,45871786,45876437,45876468,45870114,45873338,45869421,45873558,45871907,45869968,45869926,45873222,45871802,45886040,45872141,45873039,45872067,45870806,45870648,45871186,45876198,45875594,45873967,45876039,45876287,45872799,45874525,45885860,45869755,45876255,45870096,45883635,45870986,45872345,45880363,45876901,45872272,45873114,45869590,45869867,45872616,45874230,45869832,45928836,45874508,45872199,45874182,45873529,45872237,45876663,45880641,45877859,45875276,45870355,45872332,45870574,45875866,45873030,45869744,45884562,45870903,45869727,45952645,45870284,45873018,45885803,45873310,45871951,45873401,45869621,45875669,45870702,45876804,45872979,45876989,45869696,45875711,45875483,45871863,45870577,45872629,45876338,45943949,45870701,45870050,45876281,45874174,45872839,45872626,45876592,45874865,45875538,45939757,45877828,45871568,45916257,45877727,45872189,45880149,45869692,45872195,45875853,45872514,45887342,45870438,45871804,45870736,45887319,45880802,45872576,45871668,45876247,45872635,45931389,45869482,45873053,45885982,45887079,45871302,45869477,45893002,45880839,45887180,45876168,45870063,45876586,45869579,45925419,45880214,45870127,45870924,45878104,45939734,45869829,45874886,45884806,45875673,45869345,45921261,45894281,45880473,45875013,45885185,45932319,45870800,45873593,45936704,45871063,45869774,45879572,45884634,45939362,45874329,45963033,45871785,45883953,45873996,45873388,45882325,45874345,45885880,45873451,45936233,45870587,45869876,45885156,45885179,45871636,45869289,45886777,45870900,45869860,45879181,45869640,45870417],"score":464,"text":"What are you working on? Any new ideas that you're thinking about?","time":1762722153,"title":"Ask HN: What Are You Working On? (Nov 2025)","type":"story"}],[42399397,{"by":"verbify","descendants":210,"id":42399397,"kids":[42400606,42400994,42399759,42399920,42400149,42400481,42400910,42408077,42400611,42402198,42400303,42400061,42400638,42401304,42404067,42400403,42403117,42404268,42404303,42408639,42419183,42419150,42399764,42405410,42416951,42401830,42399667],"score":443,"time":1734013837,"title":"Fermat's Last Theorem – how it’s going","type":"story","url":"https://xenaproject.wordpress.com/2024/12/11/fermats-last-theorem-how-its-going/"}],[40524152,{"by":"zmz88","descendants":50,"id":40524152,"kids":[40526487,40526230,40524571,40525887,40525068,40524492,40526353,40527256,40526943,40524227,40527574,40527210,40526454,40527250,40526155,40526792,40527357,40525879,40525429,40524198,40540909,40527436,40527621,40527505,40529634,40527359,40524315,40552707,40524195,40525776,40527499,40524517,40526590,40524489],"score":20,"text":"Not an additional $1M. If your account(s) had a $1M balance right now, what would you do with it?

Invest it? Stocks? Index funds? Startups?

Start a business? Buy a business? What kind?

Splurge on something? Pay off debt?","time":1717079236,"title":"Ask HN: What would you do with $1M?","type":"story"}],[40499443,{"by":"logicallee","descendants":16,"id":40499443,"kids":[40499683,40506461,40499652,40504699,40499772],"score":2,"text":"Do you think an AI will ever be able to correctly answer a prompt like: "Prove Fermat's last theorem in a rigorous way. Produce a proof that can be checked by Coq, Isabelle, Mizar, or HOL in a format supported directly by any of them" and have its output really work and prove it? If so when?","time":1716894097,"title":"Ask HN: Will an AI be able to prove Fermat's last theorem? When?","type":"story"}],[40214453,{"by":"happa","descendants":41,"id":40214453,"kids":[40219593,40219500,40219943,40220848,40221832,40237282,40216620],"score":75,"time":1714501883,"title":"The Fermat's Last Theorem Project","type":"story","url":"https://leanprover-community.github.io/blog/posts/FLT-announcement/"}],[39762862,{"by":"fortran77","descendants":1,"id":39762862,"kids":[39785341],"score":4,"time":1710908895,"title":"Mathematicians plan computer proof of Fermat's last theorem","type":"story","url":"https://www.newscientist.com/article/2422601-mathematicians-plan-computer-proof-of-fermats-last-theorem/"}],[39543254,{"by":"levn11","descendants":1,"id":39543254,"kids":[39543255],"score":1,"time":1709153421,"title":"An Interesting Proof","type":"story","url":"https://www.techrxiv.org/users/717330/articles/702287-on-fermat-s-last-theorem"}],[39056780,{"by":"hashim","descendants":2,"id":39056780,"kids":[39056790,39074601],"score":1,"time":1705679039,"title":"\"I loved every minute\" - Andrew Wiles on solving Fermat's Last Theorem [video]","type":"story","url":"https://www.youtube.com/watch?v=GS7CxAtV5Ks"}],[38636225,{"by":"wrycoder","descendants":215,"id":38636225,"kids":[38637105,38636938,38637086,38642538,38636610,38642778,38637361,38636543,38636410,38638731,38638706,38642864,38645801,38637365,38639239,38636269],"score":139,"time":1702513585,"title":"Do black holes have singularities?","type":"story","url":"https://arxiv.org/abs/2312.00841"}],[38619703,{"by":"wglb","descendants":2,"id":38619703,"kids":[38636078,38634509],"score":14,"time":1702420641,"title":"What katydids do when picking up bat sounds","type":"story","url":"https://phys.org/news/2020-08-katydids.html"}],[38490809,{"by":"whoishiring","descendants":395,"id":38490809,"kids":[38491259,38492661,38491378,38491040,38495252,38498672,38496778,38491100,38510473,38655850,38493921,38494668,38495312,38492477,38494344,38494552,38492989,38492444,38494744,38498620,38496603,38520659,38496578,38492170,38496592,38520229,38536370,38630921,38493473,38492624,38518165,38507354,38497587,38541483,38492580,38491623,38493746,38491527,38537827,38508123,38495603,38496948,38491401,38493269,38496830,38503779,38491965,38491256,38491767,38606591,38666225,38497876,38493384,38495773,38507012,38513733,38492700,38520984,38492772,38491898,38491784,38520079,38492942,38515479,38491369,38495027,38511914,38492571,38491002,38492416,38491585,38496739,38513811,38494950,38494468,38512854,38493439,38491449,38495304,38493329,38511333,38575268,38496501,38495616,38493697,38504670,38496256,38497903,38511883,38492237,38625425,38494215,38519209,38525791,38496452,38491798,38526469,38494469,38508925,38501938,38495477,38494183,38491506,38502357,38492113,38593944,38605897,38511281,38493486,38547477,38496747,38616429,38492973,38492689,38529160,38491782,38527357,38496707,38493467,38492265,38492092,38595512,38599785,38542610,38491070,38607685,38494556,38492795,38512439,38598077,38558559,38528498,38497074,38492012,38491552,38540798,38519984,38503183,38509024,38526289,38494039,38494155,38493662,38492232,38497176,38497418,38491645,38492678,38517962,38495656,38493234,38604626,38537771,38521670,38538752,38493192,38507864,38506230,38524213,38491328,38506061,38495971,38491184,38548863,38491304,38500142,38492602,38498552,38492185,38530101,38514315,38616052,38492459,38498613,38492978,38492690,38525407,38516014,38600008,38492615,38492310,38494707,38526465,38491590,38490977,38498678,38494966,38616030,38491842,38501069,38492757,38522662,38542924,38491315,38493152,38492204,38499217,38534200,38495922,38491890,38491603,38491855,38498390,38491018,38496329,38495888,38494294,38493023,38491833,38491037,38516070,38495399,38501957,38491631,38518694,38492443,38521049,38513653,38492106,38495015,38593410,38494407,38510205,38506005,38536083,38535492,38502894,38520495,38526918,38492985,38542692,38491725,38490884,38496543,38502994,38519279,38491953,38539145,38492703,38491089,38490828,38493314,38592064,38575337,38492727,38491687,38520590,38497702,38550687,38492425,38646093,38514652,38560126,38493208,38506704,38492515,38495052,38502040,38502262,38516315,38499424,38519286,38518046,38539959,38494054,38637759,38494399,38494396,38494388,38605305,38497974,38491547,38500451,38494297,38501306,38493962,38498261,38493335,38549355,38496678,38493483,38495484,38522542,38498064,38495207,38493917,38570474,38503119,38491417,38492850,38530121,38502756,38505970,38492354,38565030,38492262,38492342,38492044,38491001,38494188,38492577,38499760,38494846,38491456,38502944,38639124,38503971,38492158,38596542,38495809,38645070,38492945,38634248,38491885,38496917,38498702,38501292,38497180,38497552,38495538,38521718,38493149,38497271,38495265,38490988,38582160,38495725,38651464,38493381,38504118,38508188,38520089,38492164,38491445,38495199,38521052,38492539,38493304,38496774,38498088,38496181,38534893,38504652,38497759,38494823,38522825,38513149,38495480,38493349,38505477,38498065,38500646,38656456,38497512,38500634,38550029,38495450,38537096,38502260,38543148,38540700,38499608,38497514,38500786,38498989,38498706,38498181,38528551,38494820,38550116,38491458,38495734,38493093,38492211,38493030,38492253,38491832,38543468,38520113,38501903,38491288,38492333,38497224,38496089,38495503,38496240,38491128,38495125,38495377,38501089,38496182,38502069,38618340,38543716,38498725,38497672,38495335,38494811,38497064,38491126,38523719,38496552,38521090,38541093,38539846,38500660,38491027,38491513,38495705,38493057,38610226,38496545,38496127,38501518,38493608,38491291,38590141,38492957,38490867,38509671,38500280,38497950,38497608,38534312,38504767,38498639,38493351,38571460,38507347,38629596,38494167,38491926,38495564,38569971,38494378,38494481,38497005,38650424,38632362,38506518,38497559,38495977,38497458,38521744,38491271,38496912,38494281,38498683,38492934,38493655,38493812,38493723,38496374,38493787,38495625,38492712,38495823,38495810,38516270,38506688,38494956,38497870,38497615,38498161,38496070,38539313,38501223,38507638,38495683,38501222,38495061,38491927,38505327,38492496,38493037,38491308,38495171,38498752,38522065,38521978,38529908,38495947,38499877,38638266,38536898,38526417,38502167,38495681,38522328,38494199,38494249,38495148,38591812,38495325,38491402,38513278,38529182,38496006,38492775,38493197,38495059,38494484],"score":180,"text":"Share your information if you are looking for work. Please use this format:

  Location:\n  Remote:\n  Willing to relocate:\n  Technologies:\n  Résumé/CV:\n  Email:\n

\nReaders: please only email these addresses to discuss work opportunities.","time":1701457621,"title":"Ask HN: Who wants to be hired? (December 2023)","type":"story"}],[38161369,{"by":"kurtdev","descendants":842,"id":38161369,"kids":[38172220,38162368,38171577,38163018,38163096,38172148,38170745,38162662,38171183,38169718,38176015,38171768,38162928,38169937,38162844,38170933,38176044,38171103,38173020,38162593,38172044,38163420,38174313,38171350,38164593,38171415,38162000,38170344,38174946,38171000,38172356,38172185,38162634,38162670,38172457,38162868,38165628,38172519,38170298,38162732,38172364,38170436,38172098,38172589,38163074,38167405,38172400,38162921,38162986,38162863,38173112,38172538,38169833,38188562,38175658,38162567,38171236,38170062,38164118,38162941,38163090,38165966,38170109,38163591,38162977,38166820,38178457,38178130,38172294,38162956,38170251,38161396,38170970,38170497,38170906,38169844,38163892,38172912,38177502,38171001,38163059,38162942,38162044,38172672,38173377,38171979,38173003,38170614,38170733,38172717,38162938,38171005,38163312,38171048,38170690,38184415,38174560,38162572,38173248,38171949,38174109,38177857,38184365,38171369,38162702,38172961,38170482,38175773,38162989,38172231,38170030,38172372,38171147,38172486,38173538,38174555,38172645,38170820,38167317,38171605,38162885,38189651,38170924,38173986,38172744,38173197,38163506,38162720,38179311,38172144,38171387,38162959,38180207,38178544,38172440,38162954,38162681,38170104,38164458,38177945,38170598,38162427,38162131,38188736,38171786,38175322,38173271,38176272,38178020,38175237,38171293,38174044,38180424,38170382,38172138,38191927,38193535,38163125,38170982,38176506,38162628,38174511,38179012,38170905,38163180,38163301,38171139,38162875,38172531,38170846,38163734,38217126,38172279,38162878,38164533,38174630,38171791,38172634,38162940,38179957,38171368,38171874,38180518,38163036,38164663,38170988,38171672,38162821,38170257,38171565,38163002,38178064,38172204,38171606,38175795,38169760,38171056,38171858,38178421,38177547,38171097,38174644,38173794,38170670,38170997,38205087,38177852,38172770,38162832,38169874,38172816,38172620,38183536,38176157,38170894,38171193,38162742,38169877,38170027,38188349,38177105,38203686,38181397,38172056,38175257,38171852,38162795,38169847,38162812,38239765,38173847,38172186,38169775,38169951,38162047,38171797,38173676,38168681,38170526],"score":370,"text":"I thought this post[1] from exactly a year ago was a nice type of post and so to celebrate it I thought I would start another to show the diverse interest of the HN community. Cheers!

[1] https://news.ycombinator.com/item?id=33488891 (thanks mckirk!)","time":1699271679,"title":"Ask HN: What are you passionate about at the moment?","type":"story"}],[38098404,{"by":"vlad_angelov","descendants":5,"id":38098404,"kids":[38105038,38125929,38149386],"score":12,"text":"I recently had to update my resume and got inspired to create something targeted at technical people and not based on wrestling with UI menus. The idea is to minimize choices by relying on the best practices for the tech industry.

Live: https://devresume.app/\nGithub: https://github.com/vangelov/devresume","time":1698847839,"title":"Show HN: DevResume - Open-source web-app for creating resumes using YAML","type":"story","url":"https://devresume.app/"}],[38099084,{"by":"whoishiring","descendants":370,"id":38099084,"kids":[38106827,38108150,38101730,38106980,38114209,38109250,38107184,38112681,38121224,38107452,38118084,38107988,38101479,38110077,38107263,38178851,38102446,38178429,38200186,38101450,38101021,38102472,38106807,38107233,38160716,38243184,38203980,38182315,38108579,38158945,38119300,38099836,38099150,38108376,38272933,38099406,38269801,38233702,38159141,38099475,38265929,38132119,38106696,38108548,38274883,38105927,38104278,38103249,38100067,38108175,38104069,38265890,38100336,38103441,38115473,38137798,38258305,38099728,38117349,38133745,38106968,38107472,38100638,38102539,38127805,38108867,38102521,38108592,38108115,38105792,38099174,38107022,38110229,38109259,38120392,38102337,38099585,38210689,38119178,38110146,38120096,38099887,38106469,38100850,38099156,38107365,38103625,38100280,38148916,38100277,38101371,38101141,38182233,38131702,38109699,38110800,38115924,38104146,38198549,38099409,38102101,38110156,38100924,38114349,38217282,38123762,38107631,38153441,38103424,38102617,38136013,38237186,38237183,38099103,38100174,38103426,38107482,38103209,38106974,38192934,38121079,38100656,38269301,38105858,38101869,38100313,38105920,38130743,38103854,38126396,38132991,38102588,38100945,38114128,38104228,38154939,38099101,38135286,38116314,38118842,38167436,38102562,38107107,38161397,38114089,38133289,38101662,38159756,38176277,38106368,38101876,38106286,38185056,38117856,38133303,38107100,38106805,38111469,38121349,38107424,38217153,38107819,38108517,38103271,38213583,38106341,38275924,38106049,38133634,38110042,38103409,38123810,38209302,38256465,38191929,38255732,38099685,38108134,38173550,38119416,38103282,38206248,38206272,38102269,38241910,38100584,38114626,38137366,38102865,38103319,38177928,38251445,38152067,38108830,38109569,38107435,38166693,38108359,38164944,38104635,38100461,38185527,38101471,38113937,38155001,38101783,38099698,38100380,38144527,38099941,38208744,38102591,38133074,38106876,38107200,38102850,38130775,38129804,38206286,38106993,38100815,38130093,38103853,38237782,38103956,38121141,38099245,38099629,38139467,38118803,38109507,38109054,38119305,38099280,38106864,38125716,38099437,38106345,38108176,38101518,38238593,38105845,38112942,38164885,38206546,38108533,38112483,38215091,38106234,38109221,38140088,38102245,38121175,38099689,38100798,38104868,38244266,38123319,38116685,38107320,38101346,38118199,38171813,38165741,38106845,38101039,38101680,38106842,38170198,38101938,38099573,38107839,38107004,38099471,38186261,38105481,38101478,38149288,38140470,38122513,38109642,38117214,38212281,38134449,38104880,38113747,38269722,38267080,38187159,38104167,38118979,38108011,38129269,38107672,38100629,38106418,38125369,38107244,38099590,38108373,38164045,38102937,38099164,38106895,38116376,38102339,38103921,38112388,38106531,38114480,38111412,38115577,38107814,38109630,38114405,38164277,38113993,38125767,38141271,38126473,38107071,38118660,38099429,38167136,38101400,38101138,38099359,38103348,38175531,38104511,38116799,38103115,38111261,38103819,38106772,38174223,38103002,38221651,38136744,38111973,38130993,38101594,38116899,38178761,38100826,38199215,38101565,38103950,38107825,38173980,38202239,38111224,38108744,38099699,38111136,38101036,38101474,38252703,38102164,38109299,38125811,38144167,38104778,38100603,38109850,38108326,38101106,38165352,38110307,38115545,38107038,38116136,38101374,38110263,38188313,38144191,38112056,38103016,38111198,38100623,38218655,38101637,38178624,38196918,38109053,38152972,38107856,38099636,38112846,38195374,38117339,38119522,38105564,38102335,38109636,38158670,38166698,38106940,38160844,38108544,38111782,38108934,38115480,38116121,38108407,38180218,38109923,38110067,38151721,38102135,38111605,38101311,38102081,38100197,38155489,38220538,38117550,38121436,38103212,38108051,38121976,38166512,38163494,38100379,38099684,38213409,38108697,38144295,38102120,38099467,38117314,38100243,38107995,38167641,38102821,38138253,38103356,38102576,38117325,38132093,38145336,38107337,38125544,38107202,38104646,38111501,38106745,38142977,38139336,38107222,38107801,38108537,38153890,38107240,38145202,38121321,38111021,38125671,38106678,38112086,38216313,38108467,38164114,38179708,38109903,38100275],"score":103,"text":"Share your information if you are looking for work. Please use this format:

  Location:\n  Remote:\n  Willing to relocate:\n  Technologies:\n  Résumé/CV:\n  Email:\n

\nReaders: please only email these addresses to discuss work opportunities.","time":1698850842,"title":"Ask HN: Who wants to be hired? (November 2023)","type":"story"}],[38109327,{"by":"bindidwodtj","descendants":52,"id":38109327,"kids":[38126555,38128832,38127431,38126514,38138848],"score":66,"time":1698902867,"title":"Formalizing 100 Theorems","type":"story","url":"https://www.cs.ru.nl/~freek/100/"}]]

1.	An Interesting Proof(techrxiv.org) 1 points by levn11 2 years ago \| 1 comment
2.	Ask HN: I would like an honest discussion about this math proof?(archive.org) 1 points by levn11 2 years ago \| 2 comments
3.	1 points by levn11 2 years ago \| discuss

user:	levn11
created:	November 4, 2023
karma:	-6